Supervisor reduction for discrete-event systems

被引：120
|
作者：
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 条
  • [1] Supervisor Reduction for Discrete-Event Systems
    R. Su
    W.M. Wonham
    [J]. Discrete Event Dynamic Systems, 2004, 14 : 31 - 53
  • [2] ON SUPERVISOR REDUCTION IN DISCRETE-EVENT SYSTEMS
    VAZ, AF
    WONHAM, WM
    [J]. INTERNATIONAL JOURNAL OF CONTROL, 1986, 44 (02) : 475 - 491
  • [3] An Approach for Supervisor Reduction of Discrete-Event Systems
    Zhang, Huimin
    Feng, Lei
    Xie, Wu
    Yu, Feng
    [J]. VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS, VECOS 2020, 2020, 12519 : 3 - 14
  • [4] Supervisor state size reduction for timed discrete-event systems
    Saadatpoor, Ali
    Wonham, W. M.
    [J]. 2007 AMERICAN CONTROL CONFERENCE, VOLS 1-13, 2007, : 1788 - 1792
  • [5] A new algorithm for supervisor reduction/localisation of discrete-event systems
    Liu, Yingying
    Wu, Lihua
    Zhang, Renyuan
    Cai, Zhaojian
    Cai, Kai
    [J]. INTERNATIONAL JOURNAL OF CONTROL, 2024,
  • [6] Lose fat, not muscle: An examination of supervisor reduction in discrete-event systems
    Whittaker, Sarah-Jane
    Rudie, Karen
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2008, 18 (03): : 285 - 321
  • [7] Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems
    Sarah-Jane Whittaker
    Karen Rudie
    [J]. Discrete Event Dynamic Systems, 2008, 18 : 285 - 321
  • [8] Supervisor Localization of Discrete-Event Systems with Infinite Behavior
    Zhang, Renyuan
    Cai, Kai
    [J]. IFAC PAPERSONLINE, 2018, 51 (07): : 361 - 366
  • [9] An O(n2) Algorithm for Supervisor Reduction/Localization of Discrete-Event Systems
    Wu, Lihua
    Cai, Kai
    Zhang, Renyuan
    Liu, Yingying
    [J]. IFAC PAPERSONLINE, 2020, 53 (04): : 211 - 216
  • [10] Reduction of Diagnosers for Discrete-Event Systems
    Vasconcellos, Augusto Pedro
    Viana, Gustavo da Silva
    Moreira, Marcos Vicente
    [J]. JOURNAL OF CONTROL AUTOMATION AND ELECTRICAL SYSTEMS, 2022, 33 (01) : 92 - 102
12345