A Hybrid Model of Connectors in Cyber-Physical Systems

@inproceedings{Chen2014AHM,
  title={A Hybrid Model of Connectors in Cyber-Physical Systems},
  author={Xiaohong Chen and Jun Sun and Meng Sun},
  booktitle={ICFEM},
  year={2014}
}
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 channelbased 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… CONTINUE READING
3 Citations
12 References
Similar Papers

Similar Papers

Loading similar papers…