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
基金
澳大利亚研究理事会; 中国国家自然科学基金;
关键词
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 条
  • [31] Supervisory Control of Discrete-Event Systems Under Attacks
    Wakaiki, Masashi
    Tabuada, Paulo
    Hespanha, Joao P.
    DYNAMIC GAMES AND APPLICATIONS, 2019, 9 (04) : 965 - 983
  • [32] Estimation and Prevention of Actuator Enablement Attacks in Discrete-Event Systems Under Supervisory Control
    He, Zhaoyang
    Wu, Naiqi
    Li, Zhiwu
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2024, 69 (09) : 5963 - 5978
  • [33] Relative coobservability for decentralised supervisory control of discrete-event systems
    Cai, Kai
    Zhang, Renyuan
    Wonham, W. M.
    INTERNATIONAL JOURNAL OF CONTROL, 2019, 92 (07) : 1481 - 1489
  • [34] SUPERVISORY CONTROL OF NONDETERMINISTIC SYSTEMS WITH DRIVEN EVENTS VIA PRIORITIZED SYNCHRONIZATION AND TRAJECTORY MODELS
    SHAYMAN, MA
    KUMAR, R
    SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 1995, 33 (02) : 469 - 497
  • [35] Optimal supervisory control with mean payoff objectives and under partial observation ?
    Ji, Yiding
    Yin, Xiang
    Lafortune, Stephane
    AUTOMATICA, 2021, 123 (123)
  • [36] Supervisory control of discrete-event systems under external attacks
    Wang, Yi
    Li, Yuting
    Yu, Zhenhua
    Wu, Naiqi
    Li, Zhiwu
    INFORMATION SCIENCES, 2021, 562 : 398 - 413
  • [37] Supervisory Control of Fuzzy Discrete Event Systems Under Partial Observation
    Lin, Feng
    Ying, Hao
    IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2023, 31 (09) : 3161 - 3172
  • [38] Fault Prognosis with Supervisory Control of Discrete-Event Systems under Non-deterministic Observations
    Zhao, Rui
    Liu, Fuchun
    CONTROL ENGINEERING AND APPLIED INFORMATICS, 2024, 26 (02): : 55 - 67
  • [39] Process Tracking by Equivalent States in Modal Supervisory Control
    Faraut, Gregory
    Pietrac, Laurent
    Niel, Eric
    2011 IEEE 16TH CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2011,
  • [40] y Local Mean Payoff Supervisory Control under Partial Observation
    Ji, Yiding
    Yin, Xiang
    Xiao, Wei
    IFAC PAPERSONLINE, 2020, 53 (04): : 390 - 396