Coordination control of discrete-event systems revisited
Aus International Center for Computational Logic
Coordination control of discrete-event systems revisited
Jan KomendaJan Komenda, Tomáš MasopustTomáš Masopust, Jan H. van SchuppenJan H. van Schuppen
Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
Coordination control of discrete-event systems revisited
Discrete Event Dynamic Systems, 25(1):65-94, 2015
Coordination control of discrete-event systems revisited
Discrete Event Dynamic Systems, 25(1):65-94, 2015
- KurzfassungAbstract
In this paper, we revise and further investigate the coordination control approach proposed for supervisory control of distributed discrete-event systems with synchronous communication based on the Ramadge-Wonham automata framework. The notions of conditional decomposability, conditional controllability, and conditional closedness ensuring the existence of a solution are carefully revised and simplified. The approach is generalized to non-prefix-closed languages, that is, supremal conditionally controllable sublanguages of not necessary prefix-closed languages are discussed. Non-prefix-closed languages introduce the blocking issue into coordination control, hence a procedure to compute a coordinator for nonblockingness is included. The optimization problem concerning the size of a coordinator is under investigation. We prove that to find the minimal extension of the coordinator event set for which a given specification language is conditionally decomposable is NP-hard. In other words, unless P=NP, it is not possible to find a polynomial algorithm to compute the minimal coordinator with respect to the number of events. - Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
@article{KMS2015,
author = {Jan Komenda and Tom{\'{a}}{\v{s}} Masopust and Jan H. van
Schuppen},
title = {Coordination control of discrete-event systems revisited},
journal = {Discrete Event Dynamic Systems},
volume = {25},
number = {1},
publisher = {Springer},
year = {2015},
pages = {65-94},
doi = {10.1007/s10626-013-0179-x}
}