A
Menu
May 25, 2022 preprint Open access Aachen paper

Runtime Composition Of Systems of Interacting Cyber-Physical Components

arXiv (Cornell University)

DOI: 10.48550/arxiv.2205.13008 Full text (OA) OpenAlex

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.

Authors 3

  1. Benjamin Lion

    Centrum Wiskunde & Informatica

    Affiliation as printed

    CWI , Amsterdam , The Netherlands

  2. Farhad Arbab Aachen

    Leiden University · Centrum Wiskunde & Informatica

    Affiliation as printed

    CWI , Amsterdam , The Netherlands

    Leiden University , Leiden , The Netherlands

  3. Carolyn Talcott

    SRI International

    Affiliation as printed

    SRI International , CA , USA

Cited by 0 stored of 0

No patents citing this paper on Lens.org (checked 2026-10-11).

References 0