Runtime Composition Of Systems of Interacting Cyber-Physical Components
Logic in Computer Science
2022-05-27 v1 Formal Languages and Automata Theory
Abstract
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 conditions for execution of a product to be correctly implemented by a lazy expansion of the product construction. The transition system algebra is implemented in the Maude rewriting logic system, and we report a simple case study illustrating compositional specification.
Keywords
Cite
@article{arxiv.2205.13008,
title = {Runtime Composition Of Systems of Interacting Cyber-Physical Components},
author = {Benjamin Lion and Farhad Arbab and Carolyn Talcott},
journal= {arXiv preprint arXiv:2205.13008},
year = {2022}
}