Autor:	Lanotte, Ruggero, Merro, Massimo
Rok vydání:	2016
Předmět:	Computer Science - Logic in Computer Science
Druh dokumentu:	Working Paper
Popis:	We propose a hybrid process calculus for modelling and reasoning on cyber-physical systems (CPS{s}). 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. Comment: 11th International Conference on Language and Automata Theory and Applications. arXiv admin note: text overlap with arXiv:1611.01377
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1612.00484 Zobrazit plný text záznamu View this record from Arxiv