Approximate Simulation for Metric Hybrid Input/Output Automata

Author

Pan, Haiyu ; Zhang, Min ; Chen, Yixiang

Author_Institution

Shanghai Key Lab. of Trustworthy Comput., East China Normal Univ., Shanghai, China

fYear

2011

fDate

27-29 June 2011

Firstpage

53

Lastpage

59

Abstract

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.

Keywords

approximation theory; automata theory; synchronisation; approximate refinement; approximate simulation relation; approximate synchronization method; extension classic simulation relation; metric hybrid input output automata; Approximation methods; Automata; Computational modeling; Extraterrestrial measurements; Laboratories; Trajectory; approximate bisimulation; approximate refinement; hybrid input/output automata; hybrid system;

fLanguage

English

Publisher

ieee

Conference_Titel

Secure Software Integration & Reliability Improvement Companion (SSIRI-C), 2011 5th International Conference on

Conference_Location

Jeju Island

Print_ISBN

978-1-4577-0781-0

Electronic_ISBN

978-0-7695-4454-0

Type

conf

DOI

10.1109/SSIRI-C.2011.19

Filename

6004503