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 条
  • [1] Decentralized Supervisory Control of Discrete-Event Systems Based on State Tree Structures
    Chao Wujie
    Gan Yongmei
    Wang Zhaoan
    Wonham, W. M.
    PROCEEDINGS OF THE 31ST CHINESE CONTROL CONFERENCE, 2012, : 2184 - 2190
  • [2] Modular Supervisory Control of Networked Discrete-Event Systems
    Komenda, Jan
    Lin, Feng
    2016 13TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS (WODES), 2016, : 85 - 90
  • [3] Modular Supervisory Control and Hierarchical Supervisory Control of Fuzzy Discrete-Event Systems
    Jayasiri, Awantha
    Mann, George K. I.
    Gosine, Raymond G.
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2012, 9 (02) : 353 - 364
  • [4] Local Modular Supervisory Control of Timed Discrete-Event Systems
    Schafaschek, Germano
    de Queiroz, Max H.
    Cury, Jose E. R.
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2017, 62 (02) : 934 - 940
  • [5] Supervisory control of discrete-event systems
    Komenda, Jan
    Masopust, Tomáš
    Lecture Notes in Control and Information Sciences, 2015, 456 : 129 - 136
  • [6] On deadlock-free modular supervisory control of discrete-event systems
    Li, YH
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1997, 42 (12) : 1705 - 1708
  • [7] Supervisor Localization of Discrete-Event Systems based on State Tree Structures
    Cai, Kai
    Wonham, W. M.
    2012 IEEE 51ST ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2012, : 5822 - 5827
  • [8] Supervisor Localization of Discrete-Event Systems Based on State Tree Structures
    Cai, Kai
    Wonham, W. M.
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2014, 59 (05) : 1329 - 1335
  • [9] Multitasking supervisory control of discrete-event systems
    De Queiroz, MH
    Cury, JER
    Wonham, WM
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2005, 15 (04): : 375 - 395
  • [10] Supervisory control of discrete-event systems: An introduction
    Wonham, WM
    PROCEEDINGS OF IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY 2000, VOLS 1 AND 2, 2000, : 474 - 479
12345