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 条

[21] Decentralized supervisory control of discrete event systems using dynamic default control
Takai, S
Ushio, T
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2005, E88A (11) : 2982 - 2988
[22] 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 - +
[23] Decentralized Control of Discrete Event Systems Using Prioritized Composition With Exclusion
Qiu, Wenbin
Kumar, Ratnesh
Chandra, Vigyan
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2008, 53 (10) : 2425 - 2430
[24] State feedback control of discrete event systems using marked graphs
Ghaffari, A
Rezg, N
Xie, X
PROCEEDINGS OF THE 40TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, 2001, : 4998 - 5003
[25] Proactive supervision control in discrete event systems using Petri nets
Rezg, N
Neubert, G
Favrel, J
ETFA '97 - 1997 IEEE 6TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION PROCEEDINGS, 1997, : 275 - 280
[26] Control using nondeterministic supervisors for partially observed discrete event systems
Kumara, R
Jiang, SB
Zhou, CY
Qiu, WB
PROCEEDINGS OF THE 2004 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2004, : 4472 - 4476
[27] Confusion diagnosis and avoidance of discrete event systems using supervisory control
Chen, Xiaoliang
Li, Zhiwu
Wu, Naiqi
Al-Ahmari, Abdulrahman
El-Tamimi, Abdulaziz Mohammed
Nasr, Emad Abouel
IEEJ TRANSACTIONS ON ELECTRICAL AND ELECTRONIC ENGINEERING, 2016, 11 (01) : 49 - 62
[28] Analysis and control of fuzzy discrete event systems using bisimulation equivalence
Xing, Hongyan
Zhang, Qiansheng
Huang, Kaisheng
THEORETICAL COMPUTER SCIENCE, 2012, 456 : 100 - 111
[29] Decentralized control of discrete event systems using prioritized composition with exclusion
Qiu, WB
Kumar, R
Chandra, V
PROCEEDINGS OF THE 2004 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2004, : 4483 - 4487
[30] Control of Deadlocked Discrete-Event Systems Using Petri Nets
Capkovic, Frantisek
ACTA POLYTECHNICA HUNGARICA, 2022, 19 (02) : 213 - 233

← 1 2 3 4 5 →