Modular control of discrete-event systems with coalgebra

被引：16
|
作者：
Komenda, Jan [1 ]
van Schuppen, Jan H. [2 ,3 ]
机构：
[1] Acad Sci Czech Republ, Inst Math, Brno 61662, Czech Republic
[2] Ctr Voor Wiskunde Informat CWI, NL-1090 GB Amsterdam, Netherlands
[3] Vrije Univ Amsterdam, Dept Math, NL-1081 HV Amsterdam, Netherlands
来源：
IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 2008年 / 53卷 / 02期
关键词：
discrete-event systems (DES); modular supervisory control; supremal normal sublanguages;
D O I：
10.1109/TAC.2007.915164
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Modular supervisory control of discrete-event systems, where the overall system is a synchronous (parallel) product of subsystems, is considered. The main results of this paper are formulations of sufficient conditions for the compatibility between the synchronous product and various operations stemming from supervisory control as supervised product and supremal controllable sublanguages. These results are generalized to the case of modules with partial observations: e.g., modular computation of supremal normal sublanguages is studied. Coalgebraic techniques based on the coinduction proof principle are used in our main results. Sufficient conditions are derived for modular to equal global control synthesis. An algorithmic procedure for checking the new conditions is proposed and the computational benefit of the modular approach is discussed and illustrated by comparing the time complexity of modular and monolithic computation.
引用
收藏
页码：447 / 460
页数：14
相关论文
共 50 条
  • [21] Modular Modeling for the Diagnostic of Complex Discrete-Event Systems
    Gascard, Eric
    Simeu-Abazi, Zineb
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2013, 10 (04) : 1101 - 1123
  • [22] Online fault diagnosis of modular discrete-event systems
    Cabral, Felipe G.
    Moreira, Marcos V.
    Diene, Oumar
    2015 54TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2015, : 4450 - 4455
  • [23] Conditional Synchronized Diagnoser for Modular Discrete-Event Systems
    Cabral, Felipe G.
    Veras, Maria Z. M.
    Moreira, Marcos, V
    ICINCO: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS - VOL 2, 2017, : 88 - 97
  • [24] ON HIERARCHICAL CONTROL OF DISCRETE-EVENT SYSTEMS
    ZHONG, H
    WONHAM, WM
    PROCEEDINGS OF THE 22ND CONFERENCE ON INFORMATION SCIENCES AND SYSTEMS, VOLS 1 & 2, 1988, : 64 - 70
  • [25] Hierarchical control of discrete-event systems
    Wong, KC
    Wonham, WM
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1996, 6 (03): : 241 - 273
  • [26] Supervisory control of discrete-event systems
    Komenda, Jan
    Masopust, Tomáš
    Lecture Notes in Control and Information Sciences, 2015, 456 : 129 - 136
  • [27] On the computational complexity of the verification of modular discrete-event systems
    Rohloff, K
    Lafortune, S
    PROCEEDINGS OF THE 41ST IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 2002, : 16 - 21
  • [28] Modular supervisory control of discrete-event systems based on state tree structures
    Gan, Yong-Mei
    Chao, Wu-Jie
    Wang, Zhao-An
    Zidonghua Xuebao/Acta Automatica Sinica, 2013, 39 (07): : 1018 - 1026
  • [29] Supervisory Control of Modular Discrete-Event Systems Under Partial Observation: Normality
    Komenda, Jan
    Masopust, Tomas
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2024, 69 (06) : 3796 - 3807
  • [30] On the construction of modular observers and diagnosers for discrete-event systems
    Ricker, SL
    Fabre, E
    PROCEEDINGS OF THE 39TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, 2000, : 2240 - 2244
12345