Title :
Matrix Approach to Model Matching of Asynchronous Sequential Machines
Author :
Xiangru Xu ; Yiguang Hong
Author_Institution :
Key Lab. of Syst. & Control, Acad. of Math. & Syst. Sci., Beijing, China
Abstract :
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.
Keywords :
bilinear systems; control system synthesis; discrete time systems; finite state machines; matrix multiplication; reachability analysis; sequential machines; tensors; asynchronous sequential machines; control design method; cycle detection; discrete-time bilinear system; dynamics; matrices semitensor product; matrix-based approach; model matching; reachability analysis; structure matrices; two input-state machines; Algorithm design and analysis; Control design; Equations; Interconnected systems; Matrix converters; Reachability analysis; Vectors; Asynchronous machines; cycle; model matching;
Journal_Title :
Automatic Control, IEEE Transactions on
DOI :
10.1109/TAC.2013.2259957
