A new method for centralized and modular supervisory control of real-time discrete event systems

被引：0
|
作者：
Ouedraogo, Lucien [1 ]
Nourelfath, Mustapha [2 ]
Khoumsi, Ahmed [1 ]
机构：
[1] Univ Sherbrooke, Dept Elect & Comp Eng, Sherbrooke, PQ, Canada
[2] Univ Laval, Dept Mech Engn, Quebec City, PQ G1K 7P4, Canada
来源：
WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS | 2006年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, we first propose a centralized method for the synthesis of a supervisor that forces a given plant to conform to a given specification. Then, we extend this centralized method to the modular case, that is, for the synthesis of n supervisors that force the plant to conform to n given specifications, respectively. Timed Automata (TA) with invariants is the model used to describe the plant and the specifications, and the synthesis approach is based on a transformation of TA into particular finite state automata called Set-Exp-Automata.
引用
收藏
页码：168 / +
页数：2
相关论文
共 50 条
  • [31] Optimal Admission Control of Discrete Event Systems with Real-Time Constraints
    Mao, Jianfeng
    Cassandras, Christos G.
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2010, 20 (01): : 37 - 62
  • [32] Optimal admission control of discrete event systems with real-time constraints
    Mao, Jianfeng
    Cassandras, Christos G.
    [J]. PROCEEDINGS OF THE 46TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2007, : 1145 - 1150
  • [33] Event Driven Systems and Their Real Time Supervisory Control Techniques
    Hu, Hesuan
    [J]. PROCEEDINGS OF THE 2019 IEEE 16TH INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC 2019), 2019, : 5 - 5
  • [34] Real-time scheduling method for networked discrete control systems
    Kim, Dong-Sung
    Choi, Dong-Hyuk
    Mohapatra, Prasant
    [J]. CONTROL ENGINEERING PRACTICE, 2009, 17 (05) : 564 - 570
  • [35] Hybrid supervisory utilization control of real-time systems
    Koutsoukos, X
    Tekumalla, R
    Natarajan, B
    Lu, C
    [J]. RTAS 2005: 11th IEEE Real Time and Embedded Technology and Applications Symposium, Proceedings, 2005, : 12 - 21
  • [36] Modular supervisory control of discrete-event systems with abstraction and incremental hierarchical construction
    Hill, R. C.
    Tilbury, D. M.
    [J]. WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2006, : 399 - +
  • [37] Supervisory control to maximize mean time to failure in discrete event systems
    Feng Lin
    Caisheng Wang
    Masoud H. Nazari
    Wenyuan Li
    [J]. Discrete Event Dynamic Systems, 2023, 33 : 105 - 127
  • [38] Supervisory control to maximize mean time to failure in discrete event systems
    Lin, Feng
    Wang, Caisheng
    Nazari, Masoud H. H.
    Li, Wenyuan
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2023, 33 (02): : 105 - 127
  • [39] Supervisory Control of Modular Discrete-Event Systems Under Partial Observation: Normality
    Komenda, Jan
    Masopust, Tomas
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2024, 69 (06) : 3796 - 3807
  • [40] Modular implementation of robust supervisory controllers for discrete event systems
    Economakos, Christoforos
    Koumboulis, Fotis N.
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2008, 53 (06) : 1559 - 1563
12345