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

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 ch...