Supervisory control architecture for discrete-event systems

被引:97
作者
Feng, Lei [1 ]
Wonham, W. M. [1 ]
机构
[1] Univ Toronto, Syst Control Grp, Toronto, ON M5S 3G4, Canada
关键词
decentralized control; discrete-event systems (DES); hierarchical control; model abstraction; observer;
D O I
10.1109/TAC.2008.927679
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
A flexible decentralized and hierarchical architecture is presented to reduce computational effort in designing optimal nonblocking supervisors for discrete-event systems (DES). We organize a DES into modular subsystems that embody internal interacting dependencies. Verification of, and coordination among modular subsystems are achieved through their model abstractions. Sufficient conditions are presented to guarantee that coordinators and modular supervisors result in maximally permissive and nonblocking control. A medium-sized example demonstrates the computational effectiveness of our approach.
引用
收藏
页码:1449 / 1461
页数:13
相关论文
共 37 条
  • [1] Cassandras C.G., 2021, Introduction to Discrete Event Systems, V3rd, DOI 10.1007/978-3-030-72274-6
  • [2] de Queiroz MH, 2000, P AMER CONTR CONF, P4051, DOI 10.1109/ACC.2000.876983
  • [3] FENG L, 2006, P INT WORKSH DISCR E, P9
  • [4] FENG L, 2007, THESIS U TORONTO TOR
  • [5] On the computation of natural observers in discrete-event systems
    Feng, Lei
    Wonham, W. M.
    [J]. PROCEEDINGS OF THE 45TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2006, : 428 - 433
  • [6] Feng L, 2006, WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, P3
  • [7] On the complexity of supervisory control design in the RW framework
    Gohari, P
    Wonham, WM
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2000, 30 (05): : 643 - 652
  • [8] Hill RC, 2006, WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, P399
  • [9] SYNTHESIS OF FEEDBACK-CONTROL LOGIC FOR A CLASS OF CONTROLLED PETRI NETS
    HOLLOWAY, LE
    KROGH, BH
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1990, 35 (05) : 514 - 523
  • [10] Komenda J, 2006, WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, P143