Modeling and Synthesis of Event-Transferring Communicating Decentralized Supervisors for Discrete-Event Systems

被引：0

作者：

Mannani, Amin ^{[1
]}

Gohari, Peyman ^{[1
]}

机构：

[1] Concordia Univ, Elect & Comp Engn ECE Dept, Montreal, PQ H3G 1M8, Canada

来源：

IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 2013年 / 58卷 / 05期

基金：

加拿大自然科学与工程研究理事会;

关键词：

Communication; decentralized supervisory control; discrete-event systems (DESs);

D O I：

10.1109/TAC.2012.2225531

中图分类号：

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

学科分类号：

0812 ;

摘要：

This work models and synthesizes communicating decentralized supervisors for Discrete-Event System (DES) which communicate the information about observed events. This is done within the authors' framework of Distributed Supervised DESs (DSDESs), using agent-wise labeling maps to reveal the informational dependencies among the supervisors. Communication between every two supervisors is modeled by the maps from the sender's observable events to its set of recently observed event, or an empty set. Thereby, the synthesis of communicating decentralized supervisors is reduced to the design of these maps.

引用

页码：1343 / 1348

页数：7

共 50 条

[1] Formal Modeling and Synthesis of Event-Transferring Communication among Decentralized Supervisors for Discrete-Event Systems
Mannani, A.
Gohari, P.
[J]. 2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2009), VOLS 1-9, 2009, : 3237 - 3242
[2] Formal Modeling and Synthesis of State-Transferring Communication among Decentralized Supervisors for Discrete-Event Systems
Mannani, A.
Gohari, P.
[J]. 2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2009), VOLS 1-9, 2009, : 3231 - 3236
[3] A framework for synthesis of communicating decentralised supervisors for discrete-event systems
Mannani, Amin
Gohari, Peyman
[J]. INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2014, 45 (05) : 947 - 969
[4] A framework for modeling communication among decentralized supervisors for discrete-event systems
Mannani, A.
Gohari, P.
[J]. 2007 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-8, 2007, : 2874 - 2879
[5] On the synthesis of communicating controllers with decentralized information structures for discrete-event systems
Barrett, G
Lafortune, S
[J]. PROCEEDINGS OF THE 37TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1998, : 3281 - 3286
[6] On the synthesis of communicating controllers with decentralized information structures for discrete-event systems
Barrett, George
Lafortune, Stephane
[J]. Proceedings of the IEEE Conference on Decision and Control, 1998, 3 : 3281 - 3286
[7] Decentralized control of discrete-event systems when supervisors observe particular event occurrences
Huang, Ying
Rudie, Karen
Lin, Feng
[J]. 2006 AMERICAN CONTROL CONFERENCE, VOLS 1-12, 2006, 1-12 : 4147 - 4152
[8] Decentralized control of discrete-event systems when supervisors observe particular event occurrences
Huang, Ying
Rudie, Karen
Lin, Feng
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2008, 53 (01) : 384 - 388
[9] Robustness of supervisors for discrete-event systems
Cury, JER
Krogh, BH
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1999, 44 (02) : 376 - 379
[10] Synthesis of reliable decentralized supervisors for discrete event systems
Takai, S
Ushio, T
[J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2000, E83A (11) : 2212 - 2218

← 1 2 3 4 5 →