A hybrid model of connectors in cyber-physical systems

A hybrid model of connectors in cyber-physical systems

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

Full description

Saved in:
Bibliographic Details
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
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

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

Similar Items