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

Volume

58

Issue

11

fYear

2013

fDate

Nov. 2013

Firstpage

2974

Lastpage

2979

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;

fLanguage

English

Journal_Title

Automatic Control, IEEE Transactions on

Publisher

ieee

ISSN

0018-9286

Type

jour

DOI

10.1109/TAC.2013.2259957

Filename

6507639