Atıf İçin Kopyala
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)
-
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.