We propose a hybrid process calculus for modelling and reasoning on cyber-physical systems (CPSs). The dynamics of the calculus is expressed in terms of a labelled transition system in the SOS style of Plotkin. This is used to define a bisimulation-based behavioural semantics which support compositional reasonings. Finally, we prove run-time properties and system equalities for a non-trivial case study.
CITATION STYLE
Lanotte, R., & Merro, M. (2017). A calculus of cyber-physical systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10168 LNCS, pp. 115–127). Springer Verlag. https://doi.org/10.1007/978-3-319-53733-7_8
Mendeley helps you to discover research relevant for your work.