Submodule construction using the control of discrete event systems

被引：0

作者：

Khoumsi, A ^{[1
]}

Drissi, J ^{[1
]}

机构：

[1] Univ Sherbrooke, Dept Elect & Comp Engn, Sherbrooke, PQ J1K 2R1, Canada

来源：

Proceedings of the Sixth IASTED International Conference on Control and Applications | 2004年

关键词：

submodule contruction problem; discrete event system; supervisory control with partial observation;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

We propose a solution to the following problem : given a specification S and a subsystem M, the aim is to generate a missing subsystem X such that M and X constitute a system that satisfies S. Such a problem is commonly called submodule construction problem (SCP). We first mention several methods that have been proposed in the past to resolve SCP, and we show their limitations. Then we propose a method which resolves SCP without the determined limitations of the other methods. Our method is based on the control theory of discrete event systems.

引用

页码：82 / 87

页数：6

共 50 条

[1] Supervisory Control of Discrete Event Systems using observers
Campos-Rodriguez, R.
Alcaraz-Mejia, M.
Mireles-Garcia, J.
2007 MEDITERRANEAN CONFERENCE ON CONTROL & AUTOMATION, VOLS 1-4, 2007, : 351 - +
[2] THE CONTROL OF DISCRETE EVENT SYSTEMS
RAMADGE, PJG
WONHAM, WM
PROCEEDINGS OF THE IEEE, 1989, 77 (01) : 81 - 98
[3] Control of discrete event systems
Mušič, Gašper
Elektrotehniski Vestnik/Electrotechnical Review, 1999, 66 (03): : 176 - 186
[4] Submodule construction for timed systems
Drissi, J
Khoumsi, A
PROCEEDINGS OF THE 41ST IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 2002, : 28 - 33
[5] State construction in discrete event and continuous systems
Willems, JC
PROCEEDINGS OF THE 41ST IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 2002, : 13 - 15
[6] Supervisory control using augmented languages in discrete event systems
Ushio, Toshimitsu
Discrete Event Dynamic Systems: Theory and Applications, 1994, 4 (01):
[7] Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control
Zhou, Changyan
Kumar, Ratnesh
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2011, 56 (12) : 2986 - 2991
[8] Modular control of discrete-event systems using similarity
Liu, Yingying
Komenda, Jan
Masopust, Tomas
Li, Zhiwu
AUTOMATICA, 2022, 142
[9] Control of nonautonomous discrete event systems using dioid algebra
Spacek, P
ElMoudni, A
Zerhouni, S
Ferney, M
1996 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, PROCEEDINGS, VOLS 1-4, 1996, : 609 - 615
[10] Coordination control of discrete event systems using Petri nets
Pellicer, JE
Carelli, R
BALANCED AUTOMATION SYSTEMS II: IMPLEMENTATION CHALLENGES FOR ANTHROPOCENTRIC MANUFACTURING, 1996, : 519 - 529

← 1 2 3 4 5 →