Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems

被引:0
|
作者
Sarah-Jane Whittaker
Karen Rudie
机构
[1] Queen’s University,School of Computing
[2] Queen’s University,Department of Electrical and Computer Engineering
来源
关键词
Discrete-event systems; Supervisory control; Supervisor reduction; Automata;
D O I
暂无
中图分类号
学科分类号
摘要
This paper is concerned with the elimination of unnecessary states in discrete-event system control agents. Several approaches to supervisor reduction are studied and a new relation between agents, comparability, is defined to encapsulate most of the concepts found in the aforementioned methods. This relation is also proven to be preserved under conjunction, which is commonly employed to determine the centralized representation of two decentralized DES supervisors.
引用
收藏
页码:285 / 321
页数:36
相关论文
共 50 条
  • [1] 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
  • [2] Supervisor reduction for discrete-event systems
    Su, R
    Wonham, WM
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2004, 14 (01): : 31 - 53
  • [3] Supervisor Reduction for Discrete-Event Systems
    R. Su
    W.M. Wonham
    [J]. Discrete Event Dynamic Systems, 2004, 14 : 31 - 53
  • [4] ON SUPERVISOR REDUCTION IN DISCRETE-EVENT SYSTEMS
    VAZ, AF
    WONHAM, WM
    [J]. INTERNATIONAL JOURNAL OF CONTROL, 1986, 44 (02) : 475 - 491
  • [5] 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
  • [6] 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
  • [7] 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,
  • [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