The description of concurrent systems as a network of interacting processes helps to reduce the complexity of the specification. The same principle applies for the description of cyber-physical systems as a network of interacting components. We introduce a transition system based specification of cyber-physical components whose semantics is compositional with respect to a family of algebraic products. We give sufficient conditions for execution of a product of cyber-physical components to be correctly implemented by a lazy runtime expansion of the product construction. Our transition system algebra is implemented in the Maude rewriting logic system. As an example, we show that, under a coordination protocol, a set of autonomous energy-aware robots can self-sort themselves on a shared physical grid.
Lecture Notes in Computer Science
26th International Workshop on Algebraic Development Techniques, WADT 2022
Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands

Lion, B., Arbab, F., & Talcott, C. (2023). Runtime Composition of Systems of Interacting Cyber-Physical Components. In Recent Trends in Algebraic Development Techniques - Proceedings of the 26th IFIP WG 1.3 International Workshop, WADT 2022 (pp. 141–162). doi:10.1007/978-3-031-43345-0_7