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 条

[21] Detectability of discrete event systems [J].

Shu, Shaolong ;

Lin, Feng ;

Ying, Hao .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2007, 52 (12) :2356-2359

[22] Generalized detectability for discrete event systems [J].

Shu, Shaolong ;

Lin, Feng .

SYSTEMS & CONTROL LETTERS, 2011, 60 (05) :310-317

[23]

Timms C, 2018, IEEE ENER CONV, P383, DOI 10.1109/ECCE.2018.8557492

[24] On detectability of probabilistic Boolean networks [J].

Wang, Biao ;

Feng, Jun-e .

INFORMATION SCIENCES, 2019, 483 :383-395

[25] Optimal control of Boolean control networks with average cost: A policy iteration approach [J].

Wu, Yuhu ;

Sun, Xi-Ming ;

Zhao, Xudong ;

Shen, Tielong .

AUTOMATICA, 2019, 100 :378-387

[26] A stochastic logical system approach to model and optimal control of cyclic variation of residual gas fraction in combustion engines [J].

Wu, Yuhu ;

Kumar, Madan ;

Shen, Tielong .

APPLIED THERMAL ENGINEERING, 2016, 93 :251-259

[27] Matrix expression and reachability analysis of finite automata [J].

Xu X. ;

Hong Y. .

Journal of Control Theory and Applications, 2012, 10 (02) :210-215

[28] Matrix Approach to Model Matching of Asynchronous Sequential Machines [J].

Xu, Xiangru ;

Hong, Yiguang .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2013, 58 (11) :2974-2979

[29] Observability analysis and observer design for finite automata via matrix approach [J].

Xu Xiangru ;

Hong Yiguang .

IET CONTROL THEORY AND APPLICATIONS, 2013, 7 (12) :1609-1615

[30] Semi-tensor product approach to controllability and stabilizability of finite automata [J].

Yan, Yongyi ;

Chen, Zengqiang ;

Liu, Zhongxin .

JOURNAL OF SYSTEMS ENGINEERING AND ELECTRONICS, 2015, 26 (01) :134-141

← 1 2 3 4 →