Matrix approach to reachability of parallel interconnected asynchronous sequential machines*

This paper investigates fault tolerant control of parallel interconnected asynchronous sequential machines (ASMs) via matrix approach. This problem is challenging since each submachine can fall into an unauthorized transition caused by adversarial inputs. By using the semi-tensor product method, the dynamics of parallel interconnected ASMs are depicted as a discrete-time algebraic form. Under this framework, reachability and fault detectabillity of parallel interconnected ASMs are discussed. Then, several necessary and sufficient conditions for checking reachability and fault detectabillity are obtained. Finally, for better presentation, a system composed by three asynchronous error accumulators in parallel connection is provided to illustrate the feasibility of the proposed method.

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

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

[3]  Jung-Min Yang.  Fault-Tolerant Corrective Control With Bounded Delays , 2017, IEEE Transactions on Automatic Control.

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

[5]  Yuzhen Wang,et al.  Output tracking of switched Boolean networks under open-loop/closed-loop switching signals☆ , 2016 .

[6]  Jung-Min Yang,et al.  Realizing Fault-Tolerant Asynchronous Sequential Machines Using Corrective Control , 2010, IEEE Transactions on Control Systems Technology.

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

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

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

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

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

[12]  Yang Liu,et al.  Nonsingularity of Grain-like cascade FSRs via semi-tensor product , 2017, Science China Information Sciences.

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

[14]  Yuqian Guo.  Controllability of Boolean control networks with state-dependent constraints , 2015, Science China Information Sciences.

[15]  Jung-Min Yang.  A simple fault tolerant control for input/output asynchronous sequential machines , 2015, Autom..

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

[17]  Jung-Min Yang.  Fault tolerant control for a class of interconnected asynchronous sequential machines , 2018, Autom..

[18]  Yuzhen Wang,et al.  State feedback based output tracking control of probabilistic Boolean networks , 2016, Inf. Sci..

[19]  Guodong Zhao,et al.  Matrix approach to trajectory control of higher-order k-valued logical control networks , 2017 .

[20]  Jinde Cao,et al.  Function perturbations on singular Boolean networks , 2017, Autom..

[21]  Biao Wang,et al.  On detectability of probabilistic Boolean networks , 2019, Inf. Sci..

[22]  Yuhu Wu,et al.  A stochastic logical model-based approximate solution for energy management problem of HEVs , 2018, Science China Information Sciences.

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

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

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