Multilevel coordination control of modular DES

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.