Supervisor reduction for discrete-event systems

被引：122
|
作者：
Su, R [1 ]
Wonham, WM [1 ]
机构：
[1] Univ Toronto, Edward S Rogers Sr Dept Elect & Comp Engn, Toronto, ON M5S 3G4, Canada
来源：
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS | 2004年 / 14卷 / 01期
基金：
加拿大自然科学与工程研究理事会;
关键词：
supervisory control theory; control congruence; algorithmic supervisor reduction; minimal supervisor size estimation;
D O I：
10.1023/B:DISC.0000005009.40749.b6
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In supervisory control theory (SCT) the supremal supervisor (representing the supremal controllable sublanguage) typically has a large state size (of order the product of state sizes of the plant and specification automata). In this paper, we propose an algorithm which can significantly reduce supervisor size while preserving control action. We also show that finding a supervisor of minimal size is NP-hard.
引用
收藏
页码：31 / 53
页数：23
相关论文
共 50 条
  • [31] Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control
    Kumar, R
    Jiang, SB
    Zhou, CY
    Qiu, WB
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2005, 50 (04) : 463 - 475
  • [32] Online State Estimation for Supervisor Synthesis in Discrete-Event Systems With Communication Delays and Losses
    Hou, Yunfeng
    Ji, Yunfeng
    Wang, Gang
    Weng, Ching-Yen
    Li, Qingdu
    IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, 2024, 11 (01): : 244 - 256
  • [33] A Learning-Based Synthesis Approach to the Supremal Nonblocking Supervisor of Discrete-Event Systems
    Zhang, Huimin
    Feng, Lei
    Li, Zhiwu
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2018, 63 (10) : 3345 - 3360
  • [34] On Supervisor Localization based Distributed Control of Discrete-Event Systems under Partial Observation
    Zhang, Renyuan
    Cai, Kai
    2016 AMERICAN CONTROL CONFERENCE (ACC), 2016, : 764 - 769
  • [35] Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems
    Cai, K.
    Wonham, W. M.
    INTELLIGENT SYSTEMS AND AUTOMATION, 2009, 1107 : 302 - 308
  • [36] Fault diagnosis in discrete-event systems: Framework and model reduction
    Zad, SH
    Kwong, RH
    Wonham, WM
    PROCEEDINGS OF THE 37TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1998, : 3769 - 3774
  • [37] DIAGNOSABILITY OF DISCRETE-EVENT SYSTEMS
    SAMPATH, M
    SENGUPTA, R
    LAFORTUNE, S
    SINNAMOHIDEEN, K
    TENEKETZIS, D
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1995, 40 (09) : 1555 - 1575
  • [38] ON OBSERVABILITY OF DISCRETE-EVENT SYSTEMS
    LIN, F
    WONHAM, WM
    INFORMATION SCIENCES, 1988, 44 (03) : 173 - 198
  • [39] ON THE CONTROL OF DISCRETE-EVENT SYSTEMS
    WONHAM, WM
    LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 1989, 135 : 542 - 557
  • [40] Delay-robustness in distributed control of timed discrete-event systems based on supervisor localisation
    Zhang, Renyuan
    Cai, Kai
    Gan, Yongmei
    Wonham, W. M.
    INTERNATIONAL JOURNAL OF CONTROL, 2016, 89 (10) : 2055 - 2072
12345