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, to expose a uniform semantic model of their externally observable behaviors expressed as sets of sequences of observations. We introduce algebraic operations on such sequences to model different kinds of component composition. These composition operators yield the externally observable behavior of their resulting composite components through specifications of interactions of the behaviors of their constituent components, as they, e.g., synchronize with or mutually exclude each other's alternative behaviors. Our framework is expressive enough to allow articulation of properties that coordinate desired interactions among composed components within the framework, also as component behavior. We demonstrate the usefulness of our formalism through examples of coordination properties in a CPS consisting of two robots interacting through shared physical resources.

In Julien Lange, Anastasia Mavridou, Larisa Safina and Alceste Scalas: Proceedings 14th Interaction and Concurrency Experience (ICE 2021), Online, 18th June 2021, Electronic Proceedings in Theoretical Computer Science 347, pp. 77–95.
A technical report belonging to this paper, containing all proofs, appears at https://arxiv.org/abs/2106.15661.
Published: 2nd October 2021.

ArXived at: http://dx.doi.org/10.4204/EPTCS.347.5 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org