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, vol.13, no.5, pp.587-601, 2006 (SCI-Expanded) identifier identifier

  • Publication Type: Article / Article
  • Volume: 13 Issue: 5
  • Publication Date: 2006
  • Journal Name: DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS
  • Journal Indexes: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Page Numbers: pp.587-601
  • Keywords: discrete event systems, automata, supervisory controller, reversibility, deadlock, SUPERVISORY CONTROLLER-DESIGN, OVERLAPPING DECOMPOSITIONS, EXPANSIONS, LIVENESS, CONTRACTIONS
  • Anadolu University Affiliated: Yes

Abstract

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.