Title :
Matrix approach to simulation and bisimulation analysis of finite automata
Author :
Xu, Xiangru ; Hong, Yiguang ; Lin, Hai
Author_Institution :
Key Lab. of Syst. & Control, Inst. of Syst. Sci., Beijing, China
Abstract :
In this paper, a matrix-based method to investigate the simulation and bisimulation relations of (two) finite automata is proposed. To solve the problem, composition operations of automata are studied first, and then the algorithms and criteria are provided to check their simulation and bisimulation relations. An illustrative example is also provided.
Keywords :
bisimulation equivalence; finite automata; matrix algebra; bisimulation analysis; bisimulation relations; composition operation; finite automata; matrix approach; matrix-based method; Analytical models; Automata; Control systems; Discrete event systems; Equations; Mathematical model; Vectors; automata; matrix approach; semi-tensor product; simulation and bisimulation;
Conference_Titel :
Intelligent Control and Automation (WCICA), 2012 10th World Congress on
Conference_Location :
Beijing
Print_ISBN :
978-1-4673-1397-1
DOI :
10.1109/WCICA.2012.6358333
