Matrix Approach to Model Matching of Asynchronous Sequential Machines

被引：123

作者：

Xu, Xiangru ^{[1
]}

Hong, Yiguang ^{[1
]}

机构：

[1] Chinese Acad Sci, Key Lab Syst & Control, Inst Syst Sci, Acad Math & Syst Sci, Beijing 100190, Peoples R China

来源：

IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 2013年 / 58卷 / 11期

关键词：

Asynchronous machines; cycle; model matching; FINITE-STATE MACHINES; REACHABILITY; AUTOMATA; NETWORKS; SYSTEMS;

D O I：

10.1109/TAC.2013.2259957

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：2974 / 2979

页数：6

共 18 条

[1]

[Anonymous], 2010, ANAL CONTROL BOOLEAN

[2] Bisimulation, the supervisory control problem and strong model matching for finite state machines [J].

Barrett, G ;

Lafortune, S .

DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1998, 8 (04) :377-429

[3]

Cheng D., 2012, An Introduction to Semi-Tensor Product of Matrices and Its Applications

[4] A Linear Representation of Dynamics of Boolean Networks [J].

Cheng, Daizhan ;

Qi, Hongsheng .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2010, 55 (10) :2251-2258

[5] Model matching for finite-state machines [J].

Di Benedetto, MD ;

Sangiovanni-Vincentelli, A ;

Villa, T .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2001, 46 (11) :1726-1743

[6] ASYMPTOTIC MODEL-MATCHING FOR NONLINEAR-SYSTEMS [J].

DIBENEDETTO, MD ;

GRIZZLE, JW .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1994, 39 (08) :1539-1550

[7]

Eilenberg S., 1976, AUTOMATA LANGUAGES M, VB

[8] Input/output control of asynchronous sequential machines [J].

Geng, XJ ;

Hammer, J .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2005, 50 (12) :1956-1970

[9]

Grosu R, 2009, LECT NOTES COMPUT SC, V5469, P194, DOI 10.1007/978-3-642-00602-9_14

[10]

KOHAVI Z, 1970, SWITCHING FINITE AUT

← 1 2 →