On Algorithms and Extensions of Coordination Control of Discrete-Event Systems

From International Center for Computational Logic

Toggle side column

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
  • 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}
}