Algorithms for deadlock avoidance and reversibility enforcement in discrete event systems

Aybar A., Polat C., Atasoy F.

DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, cilt.13, sa.5, ss.587-601, 2006 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 13 Sayı: 5
  • Basım Tarihi: 2006
  • 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.587-601
  • Anahtar Kelimeler: discrete event systems, automata, supervisory controller, reversibility, deadlock, SUPERVISORY CONTROLLER-DESIGN, OVERLAPPING DECOMPOSITIONS, EXPANSIONS, LIVENESS, CONTRACTIONS
  • Anadolu Üniversitesi Adresli: Evet

Özet

Discrete event systems which are modeled by automata are considered in this work. The algorithms which determine the set of deadlock states and the reversible set, and design the deadlock avoidance controller and the reversibility enforcement controller are introduced for these systems. Moreover, a program is developed to implement these algorithms.