A Calculus of Cyber-Physical Systems
From MaRDI portal
Publication:5738991
DOI10.1007/978-3-319-53733-7_8zbMath1485.68163arXiv1612.00484OpenAlexW2560421581MaRDI QIDQ5738991
Ruggero Lanotte, Massimo Merro
Publication date: 1 June 2017
Published in: Language and Automata Theory and Applications (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1612.00484
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces ⋮ A semantic theory of the Internet of things ⋮ A process calculus approach to detection and mitigation of PLC malware ⋮ A Calculus of Cyber-Physical Systems ⋮ A probabilistic calculus of cyber-physical systems
Cites Work
- Unnamed Item
- HYPE: hybrid modelling by composition of flows
- A timed calculus for wireless systems
- Semantics and pragmatics of real-time maude
- A semantic theory of the Internet of things
- Hybrid process algebra
- Process algebra for hybrid systems
- A process algebra for timed systems
- Modelling MAC-Layer Communications in Wireless Systems
- A Calculus of Cyber-Physical Systems
