Decentralized Controller Design for Forbidden States Avoidance in Timed Discrete Event Systems

Aybar A.

INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, cilt.5, sa.4, ss.447-457, 2010 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 5 Sayı: 4
  • Basım Tarihi: 2010
  • Doi Numarası: 10.15837/ijccc.2010.4.2494
  • Dergi Adı: INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Sayfa Sayıları: ss.447-457
  • Anahtar Kelimeler: Discrete event systems, Automata, Time delays, Decentralized controller, OVERLAPPING DECOMPOSITIONS, SUPERVISORY CONTROL, EXPANSIONS, DEADLOCK
  • Anadolu Üniversitesi Adresli: Hayır

Özet

A decentralized controller design approach is developed for the timed discrete event systems which are modelled by timed automata in this work. An approach, called augmentation, is presented to obtain the new modelling method such that each unit delay of any event represents a pair of new state and event. The augmented automata model, obtained by using this approach, is considered to design a decentralized controller. This controller design approach is developed such that the local controller is designed for each subautomaton, obtained by using overlapping decompositions and expansions and these controllers are then combined to obtain a decentralized controller for the given timed automaton. The designed decentralized controller guarantees the unreachability of a forbidden state in the considered automaton.