Matrix approach to I-detectability of partially observed discrete event systems

被引：5

作者：

Dou, Wenhui ^{[1
]}

Li, Haitao ^{[1
]}

Li, Yalu ^{[1
]}

机构：

[1] Shandong Normal Univ, Sch Math & Stat, Jinan 250014, Peoples R China

来源：

ASIAN JOURNAL OF CONTROL | 2022年 / 24卷 / 03期

基金：

美国国家科学基金会;

关键词：

Boolean semi‐ tensor product; discrete event systems; I‐ detectability; initial state estimation; observer; TENSOR PRODUCT METHOD; SET STABILIZATION; STABILITY; DIAGNOSABILITY; NETWORKS;

D O I：

10.1002/asjc.2513

中图分类号：

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

学科分类号：

0812 ;

摘要：

I-detectability is an important issue in partially observed discrete event systems (DESs). In this paper, a Boolean semi-tensor product (BSTP) approach is proposed to investigate the I-detectability problem of partially observed DESs. First, two concepts of I-detectability, that is, strong I-detectability and weak I-detectability, are recalled for partially observed DESs. Second, in order to estimate the initial state of DESs after finite observation events, an observer is constructed and converted to an algebraic form based on BSTP. Third, based on the algebraic form of observer, two necessary and sufficient conditions are presented for strong I-detectability and weak I-detectability of partially observed DESs, respectively. Finally, two examples are given to illustrate the obtained results.

引用

页码：1470 / 1478

页数：9

共 43 条

[1]

Cassandras C., 1999, Introduction to Discrete Event Systems, DOI DOI 10.1007/978-3-030-72274-6

[2] From STP to game-based control [J].

Cheng, Daizhan ;

Qi, Hongsheng ;

Liu, Zequn .

SCIENCE CHINA-INFORMATION SCIENCES, 2018, 61 (01)

[3]

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

[4] Diagnosis of Partially Observed Petri Net Based on Analytical Redundancy Relationships [J].

Chouchane, Amira ;

Khedher, Atef ;

Nasri, Othman ;

Kamoun, Anas .

ASIAN JOURNAL OF CONTROL, 2019, 21 (05) :2218-2231

[5] Regulation of game result for n-person random evolutionary Boolean games [J].

Ding, Xueying ;

Li, Haitao ;

Alsaadi, Fuad E. .

ASIAN JOURNAL OF CONTROL, 2020, 22 (06) :2353-2362

[6] Set stability and set stabilization of Boolean control networks based on invariant subsets [J].

Guo, Yuqian ;

Wang, Pan ;

Gui, Weihua ;

Yang, Chunhua .

AUTOMATICA, 2015, 61 :106-112

[7] Modeling, Reachability and Controllability of Bounded Petri Nets Based on Semi-Tensor Product of Matrices [J].

Han, Xiaoguang ;

Chen, Zengqiang ;

Zhang, Kuize ;

Liu, Zhongxin ;

Zhang, Qing .

ASIAN JOURNAL OF CONTROL, 2020, 22 (01) :500-510

[8] Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems [J].

Han, Xiaoguang ;

Chen, Zengqiang ;

Su, Rong .

SYSTEMS & CONTROL LETTERS, 2019, 123 :33-39

[9]

Han XG, 2017, IEEE INT CON AUTO SC, P187, DOI 10.1109/COASE.2017.8256101

[10] Partial-information-based synchronization analysis for complex dynamical networks [J].

Huang, Chi ;

Ho, Daniel W. C. ;

Lu, Jianquan .

JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 2015, 352 (09) :3458-3475

← 1 2 3 4 5 →