Supervisory control under delayed observations of events and states☆

被引：0

作者：

Liang, Jiayuan ^{[1
]}

Zang, Yanwei ^{[2
]}

Zhang, Wenbiao ^{[2
]}

Gong, Chaohui ^{[1
]}

Andrew, Lachlan L. H. ^{[3
]}

Zhang, Hanran ^{[1
]}

Wang, Weilin ^{[1
]}

机构：

[1] Univ Shanghai Sci & Technol, Dept Control Sci & Engn, 516 Jungong Rd, Shanghai 200093, Peoples R China

[2] PowerChina HuaDong Engn Corp Ltd, 201 Gaojiao Rd, Hangzhou 311122, Peoples R China

[3] Univ Melbourne, Sch Comp & Informat Syst, Grattan St, Parkville, Vic 3010, Australia

来源：

EUROPEAN JOURNAL OF CONTROL | 2024年 / 80卷

基金：

澳大利亚研究理事会; 中国国家自然科学基金;

关键词：

Discrete event systems; Supervisory control; Formal methods; DECENTRALIZED CONTROL; SYSTEMS; COMMUNICATION; OBSERVABILITY; MINIMIZATION; AUTOMATA;

D O I：

10.1016/j.ejcon.2024.101069

中图分类号：

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

学科分类号：

0812 ;

摘要：

In discrete event systems, it is often convenient and possible to observe directly whether or not the system is in a subset of the state space, typically after some delay, even if some event occurrences leading to the current state were not observed. We model supervisory control with the delayed observations of events and states and investigate the existence of a supervisor to obtain a given desired language accordingly. An existence verifier with polynomial run time is presented.

引用

页数：9

共 50 条

[1] Supervisory Control Of Discrete Event Systems Under Nondeterministic Observations
Zhou, Lei
Shu, Shaolong
Lin, Feng
2019 18TH EUROPEAN CONTROL CONFERENCE (ECC), 2019, : 4192 - 4197
[2] Process Theory for Supervisory Control with Partial Observation of Events and States
Markovski, Jasen
2012 IEEE 51ST ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2012, : 5804 - 5809
[3] Hierarchical interface-based supervisory control with data events
Leduc, Ryan J.
INTERNATIONAL JOURNAL OF CONTROL, 2009, 82 (05) : 783 - 800
[4] Supervisory Control of Probabilistic Discrete Event Systems Under Partial Observation
Deng, Weilin
Yang, Jingkai
Qiu, Daowen
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2019, 64 (12) : 5051 - 5065
[5] Supervisory Control of Networked Fuzzy Discrete Event Systems
Lin, Feng
Ying, Hao
IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2024, 32 (11) : 6277 - 6287
[6] Supervisory Control with Progressive Events
Ware, Simon
Malik, Robi
11TH IEEE INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION (ICCA), 2014, : 1466 - 1471
[7] Minimal Transition-Based Sensor Activation Policies for Delayed Supervisory Control
Zhang, Hanran
Guo, Wei
Zang, Yanwei
Gong, Chaohui
Wang, Weilin
2022 IEEE 17TH INTERNATIONAL CONFERENCE ON CONTROL & AUTOMATION, ICCA, 2022, : 1004 - 1007
[8] Supervisory Control of Modular Discrete-Event Systems Under Partial Observation: Normality
Komenda, Jan
Masopust, Tomas
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2024, 69 (06) : 3796 - 3807
[9] Deterministic supervisory control with flexible upper-bounds on observation delay and control delay
Wang, Weilin
Zang, Yanwei
Takai, Shigemasa
Andrew, Lachlan L. H.
Gong, Chaohui
AUTOMATICA, 2022, 144
[10] Safe Supervisory Control Under Observability Failure
Antonia M. Sánchez
Francisco J. Montoya
Discrete Event Dynamic Systems, 2006, 16 : 493 - 525

← 1 2 3 4 5 →