Modular supervisory control of discrete-event systems based on state tree structures

被引：0
|
作者：
Gan, Yong-Mei [1 ]
Chao, Wu-Jie [1 ]
Wang, Zhao-An [1 ]
机构：
[1] School of Electrical Engineering, Xi'an Jiaotong University, Xi'an 710049, China
来源：
Zidonghua Xuebao/Acta Automatica Sinica | 2013年 / 39卷 / 07期
关键词：
Specifications - Closed loop systems - Supervisory personnel - Trees (mathematics) - Forestry;
D O I：
10.3724/SP.J.1004.2013.01018
中图分类号：
学科分类号：
摘要：
Modular supervisory control of discrete-event systems based on state tree structures (STS) is studied. The plant is modeled as a state tree structure and the specification is given as a predicate. Assuming this specification can be decomposed into the conjunction of subspecifications, we synthesize optimal nonblocking sub-supervisor for each subspecification. The behavior of the plant under the control of these sub-supervisors meets the requirements of the specification and is nonblocking and optimal. We determine conditions under which it is possible to synthesize the optimal control in a modular fashion. When the closed-loop system is blocking, we introduce a coordinator to solve it and give the method of synthesizing the coordinator. Copyright © 2013 Acta Automatica Sinica. All rights reserved.
引用
收藏
页码：1018 / 1026
相关论文
共 50 条
  • [41] A Visualization of Inference-Based Supervisory Control in Discrete-Event Systems
    Ritsuka, K.
    Rudie, Karen
    2021 60TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2021, : 1062 - 1068
  • [42] Modular control and coordination of discrete-event systems
    Department of Systems Engineering, Res. Sch. of Info. Sci. and Eng., Australian National University, Canberra, ACT 0200, Australia
    不详
    Discrete Event Dyn Syst Theory Appl, 3 (247-297):
  • [43] Modular Control and Coordination of Discrete-Event Systems
    Kai C. Wong
    W. Murray Wonham
    Discrete Event Dynamic Systems, 1998, 8 : 247 - 297
  • [44] Control of modular and distributed discrete-event systems
    Komenda, Jan
    van Schuppen, Jan H.
    FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2006, 4111 : 44 - 63
  • [45] Modular control of discrete-event systems with coalgebra
    Komenda, Jan
    van Schuppen, Jan H.
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2008, 53 (02) : 447 - 460
  • [46] Fault Diagnosis of Hierarchical Discrete-Event Systems Based on State-Tree Structures
    Wang, Deguang
    Wang, Xi
    Yang, Jing
    Li, Zhiwu
    IEEE SYSTEMS JOURNAL, 2024, 18 (01): : 620 - 631
  • [47] Modular state feedback controller for the supervisory control of timed discrete event systems
    Khatab, A
    Nourelfath, M
    PROCEEDINGS OF THE EIGHTH IASTED INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND CONTROL, 2005, : 508 - 512
  • [48] Discrete-Event Systems Supervisory Control for a Dynamic Flow Controller
    Afzalian, Ali A.
    Niaki, S. Ali Nabavi
    Iravani, M. Reza
    Wonham, W. M.
    IEEE TRANSACTIONS ON POWER DELIVERY, 2009, 24 (01) : 219 - 230
  • [49] Supervisory Control of Fuzzy Discrete-Event Systems for Simulation Equivalence
    Deng, Weilin
    Qiu, Daowen
    IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2015, 23 (01) : 178 - 192
  • [50] 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
12345