Decentralized supervisory controller design for discrete-event systems using overlapping decompositions and expansions


Aybar A., Iftar A.

DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, cilt.11, sa.4-5, ss.553-568, 2004 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 11 Sayı: 4-5
  • Basım Tarihi: 2004
  • Dergi Adı: DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Sayfa Sayıları: ss.553-568
  • Anahtar Kelimeler: decentralized control, overlapping decompositions, discrete-event systems, supervisory control, automata, formal languages, FLEXIBLE MANUFACTURING SYSTEMS, DYNAMIC-SYSTEMS, DEADLOCK-AVOIDANCE, INFORMATION SETS, PETRI NETS, CONTRACTIONS, INPUT, STATE
  • Anadolu Üniversitesi Adresli: Hayır

Özet

A decentralized supervisory controller design approach for discrete-event systems (DESs) modeled by automata or formal languages is presented. The controller is designed in order to lead the DES to certain desired marked states, in the sense that, from any state, which is reachable from the initial state, there exists a finite string of events which leads to one of the marked states. The controller design approach is based on overlapping decompositions and expansions. To apply the proposed approach, the automaton of the given DES is first decomposed overlappingly and expanded to obtain disjoint subautomata. Next, a controller is 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 proved that this final controller leads the original DES to the desired marked states. The computational complexity of the proposed design approach, relative to the computational complexity of a centralized approach is also discussed.