A hybrid model of connectors in cyber-physical systems

• المؤلفون الرئيسيون: CHEN, Xiaohong, SUN, Jun, SUN, Meng Sun
• التنسيق: text
• اللغة: English
• منشور في: Institutional Knowledge at Singapore Management University 2014
• الموضوعات: Data Item; Sink Node; Data Assignment; Hybrid Automaton; Outgoing Transition; Software Engineering
• الوصول للمادة أونلاين: 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
• المؤسسة: 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.