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...

Full description

Saved in:
Bibliographic Details
Published in:Proceedings of ACM on programming languages Vol. Object-Oriented Programming, Systems, Languages and Applications (SPLASH/OOPSLA)
Main Authors: Xu, Xiong, Talpin, Jean-Pierre, Wang, Shuling, Wu, Hao, Zhan, Bohua, Liu, Xinxin, Zhan, Naijun
Format: Journal Article
Language:English
Published: ACM 15.10.2025
Subjects:
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
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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