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 条
  • [21] Decentralized Supervisory Control With Intersection-Based Architecture
    Yin, Xiang
    Lafortune, Stephane
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2016, 61 (11) : 3644 - 3650
  • [22] Conditions for Hierarchical Supervisory Control under Partial Observation
    Komenda, Jan
    Masopust, Tomas
    IFAC PAPERSONLINE, 2020, 53 (04): : 303 - 308
  • [23] Mean Payoff Supervisory Control under Partial Observation
    Ji, Yiding
    Yin, Xiang
    Lafortune, Stephane
    2018 IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2018, : 3981 - 3987
  • [24] Marking Observer in Labeled Petri Nets With Application to Supervisory Control
    Cabasino, Maria Paola
    Hadjicostis, Christoforos N.
    Seatzu, Carla
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2017, 62 (04) : 1813 - 1824
  • [25] Supervisory control of (max, plus ) automata: extensions towards applications
    Lahaye, Sebastien
    Komenda, Jan
    Boimond, Jean-Louis
    INTERNATIONAL JOURNAL OF CONTROL, 2015, 88 (12) : 2523 - 2537
  • [26] Noninterference Enforcement via Supervisory Control in Bounded Petri Nets
    Basile, Francesco
    De Tommasi, Gianmaria
    Sterle, Claudio
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2021, 66 (08) : 3653 - 3666
  • [27] Optimal non-blocking decentralized supervisory control with unobservable controllable events
    Saeidi, Vahid
    Afzalian, Ali A.
    Gharavian, Davood
    ASIAN JOURNAL OF CONTROL, 2019, 21 (02) : 800 - 808
  • [28] Supervisory Control of Discrete-Event Systems Under Attacks
    Masashi Wakaiki
    Paulo Tabuada
    João P. Hespanha
    Dynamic Games and Applications, 2019, 9 : 965 - 983
  • [29] Non-blocking Supervisory Control of Timed Automata using Forcible Events
    Rashidinejad, Aida
    van der Graaf, Patrick
    Reniers, Michel
    Fabian, Martin
    IFAC PAPERSONLINE, 2020, 53 (04): : 356 - 362
  • [30] Robust supervisory control of discrete event systems against intermittent loss of observations
    Alves, Marcos V. S.
    da Cunha, Antonio E. C.
    Carvalho, Lilian Kawakami
    Moreira, Marcos Vicente
    Basilio, Joao Carlos
    INTERNATIONAL JOURNAL OF CONTROL, 2021, 94 (07) : 2008 - 2020
12345