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 条
  • [41] On supervisor synthesis of discrete event systems
    Zhao, M
    Li, ZW
    Liang, JW
    2005 IEEE NETWORKING, SENSING AND CONTROL PROCEEDINGS, 2005, : 705 - 710
  • [42] Delay-Robustness in Distributed Control of Timed Discrete-Event Systems Based on Supervisor Localization
    Zhang, Renyuan
    Cai, Kai
    Wonham, W. M.
    2014 IEEE 53RD ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2014, : 6719 - 6724
  • [43] On Optimal Supervisor Design for Discrete-Event Systems Modeled With Petri Nets via Constraint Simplification
    Chen, YuFeng
    Li, YuTing
    Li, ZhiWu
    Wu, NaiQi
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2022, 52 (06): : 3404 - 3418
  • [44] From Linear Systems to Discrete-Event Systems
    Wonham, W. Murray
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (229): : 2 - U5
  • [45] Coordination control of discrete-event systems
    Komenda, Jan
    van Schuppen, Jan H.
    WODES' 08: PROCEEDINGS OF THE 9TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, 2008, : 9 - +
  • [46] Aggregation in hierarchical discrete-event systems
    Al-Falou, AA
    Van Schuppen, JH
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2003, 13 (04): : 321 - 340
  • [47] Recoverability of Discrete-Event Systems With Faults
    Shu, Shaolong
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2014, 11 (03) : 930 - 935
  • [48] On Relative Coobservability of Discrete-Event Systems
    Cai, Kai
    Zhang, Renyuan
    Wonham, W. M.
    2015 AMERICAN CONTROL CONFERENCE (ACC), 2015, : 371 - 376
  • [49] MODEL UNCERTAINTY IN DISCRETE-EVENT SYSTEMS
    YOUNG, S
    GARG, VK
    SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 1995, 33 (01) : 208 - 226
  • [50] DISCRETE-EVENT SYSTEMS IN ROBOTICS AND AUTOMATION
    SOBH, TM
    VALAVANIS, KP
    ROBOTICS AND AUTONOMOUS SYSTEMS, 1994, 13 (03) : 151 - 152
12345