STP Approach to Controlliability of Finite State Machines
Yongyi Yan, Chen Zengqiang, Jumei Yue · IFAC-PapersOnLine · 2015
This work investigates the controllability of finite state machines with the help of the semi-tensor product of matrices (STP), which is a new matrix analysis tool proposed in recent years. Using the STP, the states and inputs of the machines are first converted to vector forms, and the transition function is then expressed in the form of matrices, Based on this algebraic description, a necessary and sufficient condition of controlliablility is established for checking whether a state is controllable to another one. Finally, the study of illustrative examples verifies the correctness of the results presented in this paper.