Title :
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
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;
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
DOI :
10.1109/SSIRI-C.2011.19
