Controllability, Reachability, and Stabilizability of Finite Automata: A Controllability Matrix Method

This paper investigates the controllability, reachability, and stabilizability of finite automata by using the semitensor product of matrices. Firstly, by expressing the states, inputs, and outputs as vector forms, an algebraic form is obtained for finite automata. Secondly, based on the algebraic form, a controllability matrix is constructed for finite automata. Thirdly, some necessary and sufficient conditions are presented for the controllability, reachability, and stabilizability of finite automata by using the controllability matrix. Finally, an illustrative example is given to support the obtained new results.

[1]  Yuzhen Wang,et al.  A matrix approach to graph maximum stable set and coloring problems with application to multi-agent systems , 2012, Autom..

[2]  Ettore Fornasini,et al.  On the periodic trajectories of Boolean control networks , 2013, Autom..

[3]  J. G. Thistle,et al.  Control of Infinite Behavior of Finite Automata , 1994 .

[4]  Lihua Xie,et al.  On robust control invariance of Boolean control networks , 2016, at - Automatisierungstechnik.

[5]  Guodong Zhao,et al.  A survey on applications of semi-tensor product method in engineering , 2017, Science China Information Sciences.

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

[7]  John Lygeros,et al.  Controllers for reachability specifications for hybrid systems , 1999, Autom..

[8]  Umit Ozguner,et al.  Controllability, reachability, stabilizability and state reduction in automata , 1992, Proceedings of the 1992 IEEE International Symposium on Intelligent Control.

[9]  Yang Liu,et al.  Survey on semi-tensor product method with its applications in logical networks and other finite-valued systems , 2017 .

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

[11]  Pan Wang,et al.  Set stability and set stabilization of Boolean control networks based on invariant subsets , 2015, Autom..

[12]  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.

[13]  Daizhan Cheng,et al.  Analysis and Control of Boolean Networks , 2011 .

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

[15]  Yang Liu,et al.  Controllability of probabilistic Boolean control networks based on transition probability matrices , 2015, Autom..

[16]  Daizhan Cheng,et al.  STABILITY OF SWITCHED POLYNOMIAL SYSTEMS , 2008, J. Syst. Sci. Complex..

[17]  Xiaoming Hu,et al.  Non-regular feedback linearization of nonlinear systems via a normal form algorithm , 2004, Autom..

[18]  Fangfei Li,et al.  Controllability and optimal control of a temporal Boolean network , 2012, Neural Networks.

[19]  T. Villa,et al.  Improving reachability analysis of hybrid automata for engine control , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[20]  Lihua Xie,et al.  Output tracking control of Boolean control networks via state feedback: Constant reference signal case , 2015, Autom..

[21]  Jun-ichi Imura,et al.  Stabilization of Finite Automata with Application to Hybrid Systems Control , 2011, Discret. Event Dyn. Syst..

[22]  F. Alsaadi,et al.  Semi-tensor product method to a class of event-triggered control for finite evolutionary networked games , 2017 .

[23]  Sherif Abdelwahed,et al.  Blocking detection in discrete event systems , 2003, Proceedings of the 2003 American Control Conference, 2003..

[24]  Tielong Shen,et al.  An algebraic expression of finite horizon optimal control algorithm for stochastic logical dynamical systems , 2015, Syst. Control. Lett..

[25]  Yuzhen Wang,et al.  Controllability Analysis and Control Design for Switched Boolean Networks with State and Input Constraints , 2015, SIAM J. Control. Optim..

[26]  Fangfei Li,et al.  Pinning Control Design for the Synchronization of Two Coupled Boolean Networks , 2016, IEEE Transactions on Circuits and Systems II: Express Briefs.

[27]  Lijun Zhang,et al.  Invertibility and nonsingularity of Boolean control networks , 2015, Autom..

[28]  Gang Feng,et al.  Stability and $l_1$ Gain Analysis of Boolean Networks With Markovian Jump Parameters , 2017, IEEE Transactions on Automatic Control.

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

[30]  Jiandong Zhu,et al.  System decomposition with respect to inputs for Boolean control networks , 2014, Autom..

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

[32]  Gang Yao.  Decomposing a kind of weakly invertible finite automata with delay 2 , 2008, Journal of Computer Science and Technology.

[33]  Michael Margaliot,et al.  Minimum-Time Control of Boolean Networks , 2013, SIAM J. Control. Optim..

[34]  Zengqiang Chen,et al.  Solving type-2 fuzzy relation equations via semi-tensor product of matrices , 2014, Control Theory and Technology.

[35]  Lihua Xie,et al.  Output Regulation of Boolean Control Networks , 2017, IEEE Transactions on Automatic Control.