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 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 条
  • [1] Epistemic interpretations of decentralized discrete-event system problems
    K. Ritsuka
    Karen Rudie
    [J]. Discrete Event Dynamic Systems, 2022, 32 : 359 - 398
  • [2] THE COMPUTATIONAL-COMPLEXITY OF DECENTRALIZED DISCRETE-EVENT CONTROL-PROBLEMS
    RUDIE, K
    WILLEMS, JC
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1995, 40 (07) : 1313 - 1319
  • [3] Decentralized Diagnosis of Fuzzy Discrete-Event Systems
    Liu, Fuchun
    Dziong, Zbigniew
    [J]. EUROPEAN JOURNAL OF CONTROL, 2012, 18 (03) : 304 - 315
  • [4] Decentralized prognosis of fuzzy discrete-event systems
    Benmessahel, B.
    Touahria, M.
    Nouioua, F.
    Gaber, J.
    Lorenz, P.
    [J]. IRANIAN JOURNAL OF FUZZY SYSTEMS, 2019, 16 (03): : 127 - 143
  • [5] DECENTRALIZED SUPERVISORY CONTROL OF DISCRETE-EVENT SYSTEMS
    LIN, F
    WONHAM, WM
    [J]. INFORMATION SCIENCES, 1988, 44 (03) : 199 - 224
  • [6] A Summary of Some Discrete-Event System Control Problems
    Rudie, Karen
    [J]. IMPLEMENTATION AND APPLICATION OF AUTOMATA, 2011, 6482 : 4 - 16
  • [7] On PLC Implementation of Decentralized and Hierarchical Supervisory Control of Discrete-event System
    Jiao, Ting
    Gan, Yongmei
    [J]. UKSIM-AMSS 15TH INTERNATIONAL CONFERENCE ON COMPUTER MODELLING AND SIMULATION (UKSIM 2013), 2013, : 413 - 418
  • [8] Fuzzy Partitioned Discrete-event System and Its Decentralized Supervisory Control
    Singh, Shailendra
    Tiwari, S. P.
    Choudhary, Narayan
    Abolpour, Kh.
    [J]. NEW MATHEMATICS AND NATURAL COMPUTATION, 2024,
  • [9] Minimization of Sensor Activation in Decentralized Discrete-Event Systems
    Yin, Xiang
    Lafortune, Stephane
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2018, 63 (11) : 3705 - 3718
  • [10] A NORMALITY THEOREM FOR DECENTRALIZED CONTROL OF DISCRETE-EVENT SYSTEMS
    LIN, F
    MORTAZAVIAN, H
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1994, 39 (05) : 1089 - 1093