OVERLAPPING DECOMPOSITIONS OF LARGE-SCALE DISCRETE-EVENT SYSTEMS
Aydin AYBAR and Altuğ İftar
Department of Electrical and Electronics Engineering Anadolu University 26470 Eskişehir, Turkey aaybar@anadolu.edu.tr aiftar@anadolu.edu.tr
Overlapping decompositions and expansions of discrete-event systems (DESs) modeled by automata or formal languages are considered. Inclusion principle for such systems is defined. A decentralized supervisory controller design approach is then introduced. To apply the proposed approach, the automaton of the given DES is first decomposed overlappingly and expanded to obtain disjoint subautomata. A controller is then designed for each disjoint subautomaton. These controllers are then combined to obtain a controller for the expanded DES. In the final phase, a controller for the original DES is obtained from the controller determined for the expanded DES. It is shown that, for large-scale DESs, the proposed approach requires very little computation to design a controller compared to a centralized design approach.
Keywords: Large-scale systems, discrete-event systems, decentralized control, supervisory control, automata, formal languages
Session slot T-Mo-A21: System Engineering, Management and Control Education/Area code 5a : Large Scale Systems

|