Matrix Approach to Model Matching of Asynchronous Sequential Machines
Xiangru Xu, Yiguang Hong · IEEE Transactions on Automatic Control · 2013
In this note, we propose a matrix-based approach for asynchronous sequential machines. Using semi-tensor product of matrices, we convert an asynchronous machine into a discrete-time bilinear system, and study its dynamics by investigating its structure matrices. We give simple algorithms for cycle detection and reachability analysis, and moreover, provide a control design method for the model matching of two input/state machines.