HpC: A Calculus for Hybrid and Mobile Systems Full Version

Networked cybernetic and physical systems of the Internet of Things (IoT) immerse civilian and industrial infrastructures into an interconnected and dynamic web of hybrid and mobile devices. The key feature of such systems is the hybrid and tight coupling of mobile and pervasive discrete communicati...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Proceedings of ACM on programming languages Ročník Object-Oriented Programming, Systems, Languages and Applications (SPLASH/OOPSLA)
Hlavní autori: Xu, Xiong, Talpin, Jean-Pierre, Wang, Shuling, Wu, Hao, Zhan, Bohua, Liu, Xinxin, Zhan, Naijun
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: ACM 15.10.2025
Predmet:
Computer Science
Programming Languages
Theory of computation
Hybrid Systems
Operational semantics
Bisimulation
Timed and hybrid models
Internet of Things
Algebraic language theory
Process calculi
ISSN:2475-1421, 2475-1421
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:Networked cybernetic and physical systems of the Internet of Things (IoT) immerse civilian and industrial infrastructures into an interconnected and dynamic web of hybrid and mobile devices. The key feature of such systems is the hybrid and tight coupling of mobile and pervasive discrete communications in a continuously evolving environment (discrete computations with predominant continuous dynamics). In the aim of ensuring the correctness and reliability of such heterogeneous infrastructures, we introduce the hybrid c-calculus (HpC), to formally capture both mobility, pervasiveness and hybridisation in infrastructures where the network topology and its communicating entities evolve continuously in the physical world. The pi-calculus proposed by Robin Milner et al. is a process calculus that can model mobile communications and computations in a very elegant manner. The HpC we propose is a conservative extension of the classical pi-calculus, i.e., the extension is "minimal", and yet describes mobility, time and physics of systems, while allowing to lift all theoretical results (e.g. bisimulation) to the context of that extension. We showcase the HpC by considering a realistic handover protocol among mobile devices.
ISSN:2475-1421
2475-1421
DOI:10.48550/arXiv.2501.09430