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 条

[31] Design of Modular Hierarchical Discrete-Event Control Architectures for Complex Industrial Systems
Sanchez, E.
Jauregui, J. A.
Sanchez, A.
2023 24TH INTERNATIONAL CONFERENCE ON PROCESS CONTROL, PC, 2023, : 227 - 232
[32] Modular supervisory control of discrete-event systems with abstraction and incremental hierarchical construction
Hill, R. C.
Tilbury, D. M.
WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2006, : 399 - +
[33] Incremental hierarchical construction of modular supervisors for discrete-event systems
Hill, R. C.
Tilbury, D. M.
INTERNATIONAL JOURNAL OF CONTROL, 2008, 81 (09) : 1364 - 1381
[34] A method for the modular synthesis of controllers for timed discrete-event systems
Ho, TJ
INTERNATIONAL JOURNAL OF CONTROL, 2003, 76 (05) : 520 - 535
[35] Supremal sublanguages of general specification languages arising in modular control of discrete-event systems
Komenda, J.
van Schuppen, J. H.
2005 44TH IEEE CONFERENCE ON DECISION AND CONTROL & EUROPEAN CONTROL CONFERENCE, VOLS 1-8, 2005, : 2775 - 2780
[36] On the separation of estimation and control in discrete-event systems
Barrett, G
Lafortune, S
PROCEEDINGS OF THE 39TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, 2000, : 2258 - 2259
[37] Discrete-event modeling and control of manufacturing systems
Canuto, E
PROCEEDINGS OF THE 1998 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS, VOLS 1 AND 2, 1996, : 781 - 785
[38] Multitasking supervisory control of discrete-event systems
De Queiroz, MH
Cury, JER
Wonham, WM
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2005, 15 (04): : 375 - 395
[39] Coordination control of discrete-event systems revisited
Jan Komenda
Tomáš Masopust
Jan H. van Schuppen
Discrete Event Dynamic Systems, 2015, 25 : 65 - 94
[40] Supervisory control of discrete-event systems: An introduction
Wonham, WM
PROCEEDINGS OF IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY 2000, VOLS 1 AND 2, 2000, : 474 - 479

← 1 2 3 4 5 →