Epistemic interpretations of decentralized discrete-event system problems

被引：2
|
作者：
Ean, Richard [1 ,2 ]
Rudie, Karen [1 ,2 ]
机构：
[1] Queens Univ, Dept Elect & Comp Engn, Kingston, ON K7L 3N6, Canada
[2] Queens Univ, Ingenu Labs Res Inst, Kingston, ON K7L 3N6, Canada
来源：
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS | 2022年 / 32卷 / 03期
基金：
加拿大自然科学与工程研究理事会;
关键词：
Discrete-event systems; Supervisory control; Epistemic logic; SUPERVISORY CONTROL; KNOWLEDGE;
D O I：
10.1007/s10626-022-00363-7
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents epistemic characterizations to co-observability conditions in decentralized supervisory control of discrete-event systems. The logical characterizations provide more intuitive interpretations of the various co-observability conditions, and make immediately apparent the relations between the conditions. Closures under set union of some of the conditions are also discussed.
引用
收藏
页码：359 / 398
页数：40
相关论文
共 50 条
  • [41] Reliable Decentralized Control of Fuzzy Discrete-Event Systems and a Test Algorithm
    Liu, Fuchun
    Dziong, Zbigniew
    [J]. IEEE TRANSACTIONS ON CYBERNETICS, 2013, 43 (01) : 321 - 331
  • [42] Conjunctive and Disjunctive Architectures for Decentralized Prognosis of Failures in Discrete-Event Systems
    Khoumsi, Ahmed
    Chakib, Hicham
    [J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2012, 9 (02) : 412 - 417
  • [43] Mind the gap: Expanding communication options in decentralized discrete-event control
    Ricker, S. L.
    Caillaud, B.
    [J]. PROCEEDINGS OF THE 46TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2007, : 5687 - +
  • [44] Decentralized control of discrete-event systems when supervisors observe particular event occurrences
    Huang, Ying
    Rudie, Karen
    Lin, Feng
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2008, 53 (01) : 384 - 388
  • [45] Modeling and Synthesis of Event-Transferring Communicating Decentralized Supervisors for Discrete-Event Systems
    Mannani, Amin
    Gohari, Peyman
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2013, 58 (05) : 1343 - 1348
  • [46] Decentralized control of discrete-event systems when supervisors observe particular event occurrences
    Huang, Ying
    Rudie, Karen
    Lin, Feng
    [J]. 2006 AMERICAN CONTROL CONFERENCE, VOLS 1-12, 2006, 1-12 : 4147 - 4152
  • [47] A framework for modeling communication among decentralized supervisors for discrete-event systems
    Mannani, A.
    Gohari, P.
    [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-8, 2007, : 2874 - 2879
  • [48] Robustness of synchronous communication protocols with delay for decentralized discrete-event control
    Waselul Haque Sadid
    Laurie Ricker
    Shahin Hashtrudi-Zad
    [J]. Discrete Event Dynamic Systems, 2015, 25 : 159 - 176
  • [49] The synthesis of safe control policies in decentralized control of discrete-event systems
    Rohloff, K
    Lafortune, S
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2003, 48 (06) : 1064 - 1068
  • [50] Robustness of synchronous communication protocols with delay for decentralized discrete-event control
    Sadid, Waselul Haque
    Ricker, Laurie
    Hashtrudi-Zad, Shahin
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2015, 25 (1-2): : 159 - 176
12345