Abstract
Cyber-Physical Systems refer to the tight integration and coordination between computational and physical resources. Modeling their behavior requires handling continuous and discrete behaviors. The definition of the associated models refers to continuous and discrete systems theories. In this talk, we address the problem of designing correct software to control cyber-physical systems. We recall the necessary basic concepts allowing a designer to model such systems. We also give an overview of the different formal approaches supporting the formal verification of these hybrid systems and we highlight the results obtained using these techniques. In particular, we focus on the use of proof and refinement based methods.
You have full access to this open access chapter, Download conference paper PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Ait Ameur, Y. (2019). Formal Modeling of Cyber-Physical Systems: Lessons Learn from Refinement and Proof Based Methods. In: Demigha, O., Djamaa, B., Amamra, A. (eds) Advances in Computing Systems and Applications. CSA 2018. Lecture Notes in Networks and Systems, vol 50. Springer, Cham. https://doi.org/10.1007/978-3-319-98352-3_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-98352-3_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-98351-6
Online ISBN: 978-3-319-98352-3
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)