A hybrid model of connectors in cyber-physical systems

• Main Authors: CHEN, Xiaohong, SUN, Jun, SUN, Meng Sun
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2014
• Subjects: Data Item; Sink Node; Data Assignment; Hybrid Automaton; Outgoing Transition; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/4984; https://ink.library.smu.edu.sg/context/sis_research/article/5987/viewcontent/a_hydbrid_model.pdf
• Institution: Singapore Management University

Compositional coordination models and languages play an important role in cyber-physical systems (CPSs). In this paper, we introduce a formal model for describing hybrid behaviors of connectors in CPSs. We extend the constraint automata model, which is used as the semantic model for the exogenous channel-based coordination language Reo, to capture the dynamic behavior of connectors in CPSs where the discrete and continuous dynamics co-exist and interact with each other. In addition to the formalism, we also provide a theoretical compositional approach for constructing the product automata for a Reo circuit, which is typically obtained by composing several primitive connectors in Reo.