2016/12/01 by Ruggero Lanotte, Lanotte, Ruggero, Massimo Merro +1
Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling #cs.LO
paper · pdf · doi:10.48550/arxiv.1612.00484
11th International Conference on Language and Automata Theory and Applications. arXiv admin note: text overlap with arXiv:1611.01377
openalex publication_date 2016/12/01 · arxiv created 2018/07/07 · arxiv updated 2018/07/10 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.