Multilevel coordination control of modular DES
Jan Komenda, Tomáš Masopust, Jan H. van Schuppen · 2013
A top-down approach to multilevel coordination control is presented along with the corresponding notions of conditional decomposability and conditional controllability. The multilevel structure makes the approach computationally more efficient in comparison with the approach of one central coordinator since fewer events need to be communicated among subsystems. Necessary and sufficient conditions are stated for a specification to be achieved by the proposed top-down approach.