19 citations · 92 across the 16 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022
A Rewriting Framework for Interacting Cyber-Physical Agents
Benjamin Lion, Farhad Arbab, Carolyn Talcott
The analysis of cyber-physical systems (CPS) is challenging due to the large state space and the continuous changes occurring in their constituent parts. Design practices favor mod…
cs.LO2022
Runtime Composition Of Systems of Interacting Cyber-Physical Components
Benjamin Lion, Farhad Arbab, Carolyn Talcott
We introduce a transition system based specification of cyber-physical systems whose semantics is compositional with respect to a family of algebraic products. We give sufficient c…