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 条

[11] Safe supervisory control under observability failure
Sanchez, Antonia M.
Montoya, Francisco J.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2006, 16 (04): : 493 - 525
[12] Symbolic Supervisory Control of Distributed Systems With Communications
Kalyon, Gabriel
Le Gall, Tristan
Marchand, Herv
Massart, Thierry
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2014, 59 (02) : 396 - 408
[13] Supervisory Control Synthesis of Timed Automata Using Forcible Events
Rashidinejad, Aida
Reniers, Michel
Fabian, Martin
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2024, 69 (02) : 1074 - 1080
[14] Centralized and decentralized supervisory control of nondeterministic systems under partial observation
Kumar, R
Shayman, MA
SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 1997, 35 (02) : 363 - 383
[15] Supervisory Control for Stabilization under Multiple Local Average Payoff Constraints
Ji, Yiding
Yin, Xiang
Xiao, Wei
2021 60TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2021, : 1054 - 1061
[16] Online minimization of sensor activation for supervisory control
Wang, Weilin
AUTOMATICA, 2016, 73 : 8 - 14
[17] The Controllability Prefix for Supervisory Control under Partial Observation with an Application to Fault-Tolerant Control
Moor, Thomas
Schmidt, Klaus Werner
IFAC PAPERSONLINE, 2017, 50 (01): : 13642 - 13647
[18] Dynamic Event Observation and Partial State-Change Perception for Distributed Supervisory Control
Wang, Weilin
Zhang, Tianyang
Yan, Zihai
Yu, Miao
Gong, Chaohui
2020 EUROPEAN CONTROL CONFERENCE (ECC 2020), 2020, : 644 - 649
[19] Predictive Supervisory Control for Timed Discrete Event Systems under Communication Delays
Miao, Chengshi
Shu, Shaolong
Lin, Feng
2019 IEEE 58TH CONFERENCE ON DECISION AND CONTROL (CDC), 2019, : 6724 - 6729
[20] Supervisory Control of Bi-Fuzzy Discrete Event Systems Under Partial Observations
Deng, Weilin
Qiu, Daowen
2014 33RD CHINESE CONTROL CONFERENCE (CCC), 2014, : 4429 - 4434

← 1 2 3 4 5 →