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

Aybar A.

INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, vol.5, no.4, pp.447-457, 2010 (SCI-Expanded) identifier identifier

  • Publication Type: Article / Article
  • Volume: 5 Issue: 4
  • Publication Date: 2010
  • Doi Number: 10.15837/ijccc.2010.4.2494
  • Journal Indexes: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Page Numbers: pp.447-457
  • Keywords: Discrete event systems, Automata, Time delays, Decentralized controller, OVERLAPPING DECOMPOSITIONS, SUPERVISORY CONTROL, EXPANSIONS, DEADLOCK
  • Anadolu University Affiliated: No


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.