On Algorithms and Extensions of Coordination Control of Discrete-Event Systems
From International Center for Computational Logic
On Algorithms and Extensions of Coordination Control of Discrete-Event Systems
Jan KomendaJan Komenda, Tomáš MasopustTomáš Masopust, Jan H. van SchuppenJan H. van Schuppen
Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
On Algorithms and Extensions of Coordination Control of Discrete-Event Systems
In A. Ramírez-Treviño, J.-J. Lesage, M. Silva, eds., Proc. of 11th International Workshop on Discrete Event Systems (WODES), 245-250, 2012. IFAC
On Algorithms and Extensions of Coordination Control of Discrete-Event Systems
In A. Ramírez-Treviño, J.-J. Lesage, M. Silva, eds., Proc. of 11th International Workshop on Discrete Event Systems (WODES), 245-250, 2012. IFAC
- KurzfassungAbstract
In this paper, we further develop the coordination control scheme for discrete-event systems based on the Ramadge-Wonham framework. The notions of conditional decomposability, conditional controllability, and conditional closedness are revised and simplified, supremal conditionally controllable sublanguages of general non-prefix-closed languages are discussed, and a procedure for the computation of a coordinator for nonblockingness is presented. - Bemerkung: Note: Proposition 17 is not correct.
- Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
@inproceedings{KMS2012,
author = {Jan Komenda and Tom{\'{a}}{\v{s}} Masopust and Jan H. van
Schuppen},
title = {On Algorithms and Extensions of Coordination Control of
Discrete-Event Systems},
editor = {A. Ram{\'{\i}}rez-Trevi{\~{n}}o and J.-J. Lesage and M. Silva},
booktitle = {Proc. of 11th International Workshop on Discrete Event Systems
(WODES)},
publisher = {IFAC},
year = {2012},
pages = {245-250}
}
