16 citations · 23 across the 6 of their papers we have counts for
6 papers
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…
A Formal Framework for Distributed Cyber-Physical Systems
Benjamin Lion, Farhad Arbab, Carolyn Talcott
Composition is an important feature of a specification language, as it enables the design of a complex system in terms of a product of its parts. Decomposition is equally important…
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…
A Semantic Model for Interacting Cyber-Physical Systems
Benjamin Lion, Farhad Arbab, Carolyn Talcott
We propose a component-based semantic model for Cyber-Physical Systems (CPSs) wherein the notion of a component abstracts the internal details of both cyber and physical processes,…
A Semantic Model for Interacting Cyber-Physical Systems
Benjamin Lion, Farhad Arbab, Carolyn Talcott
We propose a component-based semantic model for Cyber-Physical Systems (CPSs) wherein the notion of a component abstracts the internal details of both cyber and physical processes,…
Central loops in random planar graphs
Benjamin Lion, Marc Barthelemy
Random planar graphs appear in a variety of context and it is important for many different applications to be able to characterize their structure. Local quantities fail to give in…