TY - GEN
T1 - Approximate simulation for metric hybrid input/output automata
AU - Pan, Haiyu
AU - Chen, Yixiang
AU - Zhang, Min
PY - 2011
Y1 - 2011
N2 - Hybrid input/output automata provide a language for the description and analysis of hybrid systems. In this paper, we develop a notion of approximate simulation relation for metric hybrid input/output automata, which is an extension classic simulation relation in hybrid input/output automata, and investigate some interesting results. In addition, we discuss a particular kind of approximation simulation relation, i.e. approximate refinement. Moreover, we show how to adopt approximate synchronization methods to guarantee substitutive under the condition of approximate simulation.
AB - Hybrid input/output automata provide a language for the description and analysis of hybrid systems. In this paper, we develop a notion of approximate simulation relation for metric hybrid input/output automata, which is an extension classic simulation relation in hybrid input/output automata, and investigate some interesting results. In addition, we discuss a particular kind of approximation simulation relation, i.e. approximate refinement. Moreover, we show how to adopt approximate synchronization methods to guarantee substitutive under the condition of approximate simulation.
KW - Approximate bisimulation
KW - Approximate refinement
KW - Hybrid input/output automata
KW - Hybrid system
UR - https://www.scopus.com/pages/publications/80053018117
U2 - 10.1109/SSIRI-C.2011.19
DO - 10.1109/SSIRI-C.2011.19
M3 - 会议稿件
AN - SCOPUS:80053018117
SN - 9780769544540
T3 - 2011 5th International Conference on Secure Software Integration and Reliability Improvement - Companion, SSIRI-C 2011
SP - 53
EP - 59
BT - 2011 5th International Conference on Secure Software Integration and Reliability Improvement - Companion, SSIRI-C 2011
T2 - 2011 5th International Conference on Secure Software Integration and Reliability Improvement - Companion, SSIRI-C 2011
Y2 - 27 June 2011 through 29 June 2011
ER -