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
A Semantic Model for Interacting Cyber-Physical Systems
We propose a component-based semantic model for Cyber-Physical Systems (...
research
∙
06/26/2018
Treo: Textual Syntax for Reo Connectors
Reo is an interaction-centric model of concurrency for compositional spe...
research
∙
04/24/2018