Matrix approach to model matching of composite asynchronous sequential machines

Composite asynchronous sequential machines (ASMs) are studied by a matrix-based approach in this study. A composite ASM consists of several input/state asynchronous machines in a cascading fashion. By using the semi-tensor product method, the algebraic expression of composite ASMs is presented, based on which reachability of composite ASMs is investigated. Then, a necessary and sufficient condition for the existence of a controller for model matching is obtained and an algorithm to design the corresponding controller is established. Finally, an example is proposed to illustrate the effectiveness of the obtained results.

[1]  Daizhan Cheng,et al.  Input-state incidence matrix of Boolean control networks and its applications , 2010, Syst. Control. Lett..

[2]  Jacob Hammer,et al.  On the control of asynchronous sequential machines with infinite cycles , 2006 .

[3]  C. R. Rao,et al.  SOLUTIONS TO SOME FUNCTIONAL EQUATIONS AND THEIR APPLICATIONS TO CHARACTERIZATION OF PROBABILITY DISTRIBUTIONS , 2016 .

[4]  Zhenbin Liu,et al.  New approach to derivative calculation of multi-valued logical functions with application to fault detection of digital circuits , 2014 .

[5]  Jung-Min Yang,et al.  Corrective control of asynchronous machines with uncontrollable inputs: application to single-event-upset error counters , 2010 .

[6]  Tiziano Villa,et al.  Model matching for finite-state machines , 2001, IEEE Trans. Autom. Control..

[7]  Yiorgos Makris,et al.  Concurrent Error Detection Methods for Asynchronous Burst-Mode Machines , 2007, IEEE Transactions on Computers.

[8]  Jung-Min Yang,et al.  Fault diagnosis and fault-tolerant control of input/output asynchronous sequential machines , 2012 .

[9]  Goran Andersson,et al.  Robust Corrective Control Measures in Power Systems With Dynamic Line Rating , 2016, IEEE Transactions on Power Systems.

[10]  Yuzhen Wang,et al.  Formulation and optimization control of a class of networked evolutionary games with switched topologies , 2016 .

[11]  Yuzhen Wang,et al.  On reachability and controllability of switched Boolean control networks , 2012, Autom..

[12]  Cheng Daizhan.  Semi-tensor product of matrices and its application to Morgen’s problem , 2001 .

[13]  Yuzhen Wang,et al.  Boolean derivative calculation with application to fault detection of combinational circuits via the semi-tensor product method , 2012, Autom..

[14]  Jacob Hammer,et al.  Input/output control of asynchronous sequential machines , 2005, IEEE Transactions on Automatic Control.

[15]  Yiguang Hong,et al.  Matrix expression and reachability analysis of finite automata , 2012 .

[16]  Daizhan Cheng,et al.  Modeling, Analysis and Control of Networked Evolutionary Games , 2015, IEEE Transactions on Automatic Control.

[17]  Jacob Hammer,et al.  On the control of asynchronous machines with races , 2003, IEEE Trans. Autom. Control..

[18]  Jinde Cao,et al.  Synchronization in an Array of Output-Coupled Boolean Networks With Time Delay , 2014, IEEE Transactions on Neural Networks and Learning Systems.

[19]  Jung-Min Yang.  Corrective Control of Composite Asynchronous Sequential Machines Under Partial Observation , 2016, IEEE Transactions on Automatic Control.

[20]  David A. Huffman.  The Design and Use of Hazard-Free Switching Networks , 1957, JACM.

[21]  Nicoletta Sabadini,et al.  On the Existence of Minimum Asynchronous Automata and on the Equivalence Problem for Unambiguous Regular Trace Languages , 1994, Inf. Comput..

[22]  Yiguang Hong,et al.  Matrix Approach to Model Matching of Asynchronous Sequential Machines , 2013, IEEE Transactions on Automatic Control.

[23]  Jung-Min Yang,et al.  Corrective control for transient faults with application to configuration controllers , 2015 .

[24]  J. D. Key,et al.  Codes from incidence matrices of graphs , 2013, Des. Codes Cryptogr..

[25]  Min Meng,et al.  Topological structure and the disturbance decoupling problem of singular Boolean networks , 2014 .

[26]  Hong Yiguang,et al.  Observability analysis and observer design for finite automata via matrix approach , 2013 .

[27]  Wei Wang,et al.  Observability of Boolean multiplex control networks , 2017, Scientific Reports.

[28]  Daizhan Cheng,et al.  A Linear Representation of Dynamics of Boolean Networks , 2010, IEEE Transactions on Automatic Control.

[29]  David A. Huffman,et al.  The synthesis of sequential switching circuits , 1954 .

[30]  Zhongxin Liu,et al.  Semi-tensor product approach to controllability and stabilizability of finite automata , 2015 .

[31]  Jung-Min Yang.  Model matching inclusion for input/state asynchronous sequential machines , 2011, Autom..