Translating and verifying Cyber–Physical systems with shared-variable concurrency in SpaceEx
R Li, H Zhu, R Banach - Internet of Things, 2023 - Elsevier
Abstract Cyber–Physical systems (CPS), combining continuous physical behavior and
discrete control behavior, have been widely utilized in recent years. However, the traditional …
discrete control behavior, have been widely utilized in recent years. However, the traditional …
HpC: A Calculus for Hybrid and Mobile Systems
X Xu, JP Talpin, S Wang, H Wu, B Zhan, X Liu… - Proceedings of the …, 2025 - hal.science
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 …
and industrial infrastructures into an interconnected and dynamic web of hybrid and mobile …
Knowledge dynamics and behavioural equivalences in multi-agent systems
We define a process calculus to describe multi-agent systems with timeouts for
communication and mobility able to handle knowledge. The knowledge of an agent is …
communication and mobility able to handle knowledge. The knowledge of an agent is …
A UTP approach for rTiMo
W ** language for describing real-time systems including
specific features as timeouts, explicit locations, timed migration and timed communication …
specific features as timeouts, explicit locations, timed migration and timed communication …
From TiMo to Event-B: Event-driven timed mobility
Mobile distributed systems involve specific aspects such as migration, communication and
concurrency, usually under temporal constraints. In this paper, we deal with formal …
concurrency, usually under temporal constraints. In this paper, we deal with formal …