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 条

[41] Intersection-Based Decentralized Supervisory Control of Probabilistic Discrete Event Systems
Deng, Weilin
Qiu, Daowen
Yang, Jingkai
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2021, 66 (12) : 6171 - 6178
[42] Supervisory control of discrete event systems with distinguishers
Cury, Jose E. R.
de Queiroz, Max Hering
Bouzon, Gustavo
Teixeira, Marcelo
AUTOMATICA, 2015, 56 : 93 - 104
[43] On the relation between reactive synthesis and supervisory control of non-terminating processes
Schmuck, Anne-Kathrin
Moor, Thomas
Majumdar, Rupak
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2020, 30 (01): : 81 - 124
[44] Optimal Control Design for DES using Supervisory Control Theory with Enforceable Events
Weidemann, Dirk
Diekmann, Robin
2012 17TH INTERNATIONAL CONFERENCE ON METHODS AND MODELS IN AUTOMATION AND ROBOTICS (MMAR), 2012, : 649 - 654
[45] Online Supervisory Control of Networked Discrete Event Systems With Control Delays
Liu, Zhaocong
Yin, Xiang
Shu, Shaolong
Lin, Feng
Li, Shaoyuan
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2022, 67 (05) : 2314 - 2329
[46] Attack-Resilient Supervisory Control under Energy-Bounded Attacks
Yao, Jingshi
Li, Shaoyuan
Yin, Xunyuan
Yin, Xiang
IFAC PAPERSONLINE, 2023, 56 (02): : 9624 - 9629
[47] Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation
Shigemasa Takai
Toshimitsu Ushio
Discrete Event Dynamic Systems, 2005, 15 : 7 - 32
[48] Supervisory control of a class of concurrent discrete event systems under partial observation
Takai, S
Ushio, T
SICE 2003 ANNUAL CONFERENCE, VOLS 1-3, 2003, : 222 - 227
[49] Supervisory control of a class of concurrent discrete event systems under partial observation
Takai, S
Ushio, T
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2005, 15 (01): : 7 - 32
[50] Supervisory control of switching control systems
Tousi, Mani A.
Karuei, Idin
Hashtrudi-Zad, Shahin
Aghdam, Amir G.
SYSTEMS & CONTROL LETTERS, 2008, 57 (02) : 132 - 141

← 1 2 3 4 5 →