Publication Type
Conference Proceeding Article
Version
publishedVersion
Publication Date
5-2014
Abstract
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.
Keywords
Data Item, Sink Node, Data Assignment, Hybrid Automaton, Outgoing Transition
Discipline
Software Engineering
Research Areas
Software and Cyber-Physical Systems
Publication
Proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, November 3–5
First Page
59
Last Page
74
ISBN
9783319117362
Identifier
10.1007/978-3-319-11737-9_5
Publisher
Springer Link
City or Country
Luxembourg
Citation
CHEN, Xiaohong; SUN, Jun; and SUN, Meng Sun.
A hybrid model of connectors in cyber-physical systems. (2014). Proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, November 3–5. 59-74.
Available at: https://ink.library.smu.edu.sg/sis_research/4984
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License.
Additional URL
https://doi.org/10.1007/978-3-319-11737-9_5