research
∙
07/03/2022
A Formal Framework for Distributed Cyber-Physical Systems
Composition is an important feature of a specification language, as it e...
share
research
∙
06/08/2022
A Rewriting Framework for Interacting Cyber-Physical Agents
The analysis of cyber-physical systems (CPS) is challenging due to the l...
research
∙
05/25/2022
Runtime Composition Of Systems of Interacting Cyber-Physical Components
We introduce a transition system based specification of cyber-physical s...
research
∙
10/02/2021