HpC: A Calculus for Hybrid and Mobile Systems -- Full Version
Fuente:
arXiv
Guardado en:
| Autores principales: | , , , , , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866915105608826880 |
|---|---|
| author | Xu, Xiong Talpin, Jean-Pierre Wang, Shuling Wu, Hao Zhan, Bohua Liu, Xinxin Zhan, Naijun |
| author_facet | Xu, Xiong Talpin, Jean-Pierre Wang, Shuling Wu, Hao Zhan, Bohua Liu, Xinxin Zhan, Naijun |
| contents | 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 π-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 π-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 π-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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2501_09430 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | HpC: A Calculus for Hybrid and Mobile Systems -- Full Version Xu, Xiong Talpin, Jean-Pierre Wang, Shuling Wu, Hao Zhan, Bohua Liu, Xinxin Zhan, Naijun Programming Languages Logic in Computer Science Networking and Internet Architecture Systems and Control D.3.1; F.3.1; F.3.2; F.1.1 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 π-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 π-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 π-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. |
| title | HpC: A Calculus for Hybrid and Mobile Systems -- Full Version |
| topic | Programming Languages Logic in Computer Science Networking and Internet Architecture Systems and Control D.3.1; F.3.1; F.3.2; F.1.1 |
| url | https://arxiv.org/abs/2501.09430 |