A Matrix Approach for the Static Correction Problem of Asynchronous Sequential Machines

This paper investigates the static correction problem of asynchronous sequential machines (ASMs) via semi-tensor product (STP) of matrices. For an input/state ASM, the static correction problem is to find a static state feedback controller to solve model matching. This controller contains no memory units and consists of only some logic gates. First, by STP method, two algebraic forms are derived to describe the dynamics of an input/state ASM and the function of a static state feedback controller, respectively. Then, as two special cases, the static state feedback controllers for no mismatch and only one mismatch are given. Based on these two cases and analyzing reachability of an ASM, a static state feedback controller design for model matching is presented. Moreover, the number of working points this controller contains is the least. Finally, the proposed method is applied to a simple home security system.

[1]  Jessy W. Grizzle,et al.  Asymptotic model matching for nonlinear systems , 1994, IEEE Trans. Autom. Control..

[2]  Yurong Liu,et al.  State-feedback controller design for disturbance decoupling of Boolean control networks , 2017 .

[3]  Biao Wang,et al.  Matrix approach to model matching of composite asynchronous sequential machines , 2017 .

[4]  Guodong Zhao,et al.  A matrix approach to modeling and optimization for dynamic games with random entrance , 2016, Appl. Math. Comput..

[5]  Jiqiang Wang,et al.  Static feedback stabilization of nonlinear systems with single sensor and single actuator. , 2014, ISA transactions.

[6]  Haitao Li,et al.  Synchronization of switched logical control networks via event-triggered control , 2018, J. Frankl. Inst..

[7]  Jinde Cao,et al.  On Pinning Controllability of Boolean Control Networks , 2016, IEEE Transactions on Automatic Control.

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

[9]  Daizhan Cheng,et al.  Block Decoupling of Boolean Control Networks , 2019, IEEE Transactions on Automatic Control.

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

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

[12]  Biao Wang,et al.  Model matching of switched asynchronous sequential machines via matrix approach , 2019, Int. J. Control.

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

[14]  Jung-Min Yang,et al.  Static corrective control for asynchronous sequential machines and its application to on-board computers , 2016 .

[15]  Jun‐e Feng,et al.  Optimal control problem of singular Boolean control networks , 2015 .

[16]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[17]  Xinyun Liu,et al.  On potential equations of finite games , 2015, Autom..

[18]  D. Cheng,et al.  Analysis and control of Boolean networks: A semi-tensor product approach , 2010, 2009 7th Asian Control Conference.

[19]  Haitao Li,et al.  A Control Lyapunov Function Approach to Feedback Stabilization of Logical Control Networks , 2019, SIAM J. Control. Optim..

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

[21]  Jung-Min Yang,et al.  Model matching for asynchronous sequential machines with adversarial inputs using state bursts , 2010 .

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

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

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

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

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

[27]  Biao Wang,et al.  Sampled-data controllability and stabilizability of Boolean control networks: Nonuniform sampling , 2018, J. Frankl. Inst..

[28]  Qing Zhang,et al.  Model matching of input/output asynchronous sequential machines based on the semi-tensor product of matrices , 2017, Future Gener. Comput. Syst..

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

[30]  Jung-Min Yang,et al.  Static state feedback control of asynchronous sequential machines , 2016, Int. J. Gen. Syst..

[31]  Jianli Zhao,et al.  Design of Large-scale Boolean Networks Based on Prescribed Attractors , 2018 .