Matrix approach to detectability of discrete event systems

被引：13

作者：

Wang, Biao ^{[1
]}

Feng, Jun-e ^{[1
]}

Meng, Min ^{[2
]}

机构：

[1] Shandong Univ, Sch Math, Jinan 250100, Shandong, Peoples R China

[2] Nanyang Technol Univ, Sch Elect & Elect Engn, Singapore 639798, Singapore

来源：

JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS | 2019年 / 356卷 / 12期

关键词：

OBSERVABILITY; STABILIZABILITY; CONTROLLERS; STABILITY; NETWORKS; ISSUE;

D O I：

10.1016/j.jfranklin.2019.05.028

中图分类号：

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

学科分类号：

0812 ;

摘要：

This paper studies the detectability problem of discrete event systems (DESs), and devotes to providing a synthetical method to cope with multiple cases, including (partial) event observation and/or partial state observation. By using the semi-tensor product method, two equivalent types of algebraic expressions are presented for DESs, based on which reachability of DESs is investigated in detail and a new tool called detection matrix is defined. Then, four matrix-based necessary and sufficient conditions are derived for checking different kinds of detectability. Finally, for better presentation, two examples are shown to demonstrate that the theoretical results are efficient. (C) 2019 The Franklin Institute. Published by Elsevier Ltd. All rights reserved.

引用

页码：6460 / 6477

页数：18

共 39 条

[1] DETECTABILITY AND STABILIZABILITY OF TIME-VARYING DISCRETE-TIME LINEAR-SYSTEMS [J].

ANDERSON, BDO ;

MOORE, JB .

SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 1981, 19 (01) :20-32

[2] Why event observation: Observability revisited [J].

Cao, CW ;

Lin, F ;

Lin, ZH .

DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1997, 7 (02) :127-149

[3]

Cassandras C. G., 2008, Introduction to Discrete Event Systems, V2

[4] Monostability and Bistability of Boolean Networks Using Semitensor Products [J].

Chen, Shuqi ;

Wu, Yuhu ;

Macauley, Matthew ;

Sun, Xi-Ming .

IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, 2019, 6 (04) :1379-1390

[5]

Cheng D., 2012, WORLD SCI

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

Cheng, Daizhan ;

Qi, Hongsheng .

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

[7]

Cheng DH, 2011, COMMUN CONTROL ENG, P1, DOI 10.1007/978-0-85729-097-7

[8] Set stability and synchronization of logical networks with probabilistic time delays [J].

Ding, Xueying ;

Li, Haitao ;

Wang, Shuling .

JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 2018, 355 (15) :7735-7748

[9] Observability, Reconstructibility and State Observers of Boolean Control Networks [J].

Fornasini, Ettore ;

Valcher, Maria Elena .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2013, 58 (06) :1390-1401

[10] A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata [J].

Han, Xiao-Guang ;

Chen, Zeng-Qiang .

JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 2018, 355 (17) :8642-8663

← 1 2 3 4 →