15th Triennial World Congress of the International Federation of Automatic Control
  Barcelona, 21–26 July 2002 
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