Yayıncı "Watam Press" Makale Koleksiyonu için listeleme
Toplam kayıt 2, listelenen: 1-2
-
Algorithms for deadlock avoidance and reversibility enforcement in discrete event systems
(Watam Press, 2006)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 ... -
Decentralized supervisory controller design for discrete-event systems using overlapping decompositions and expansions
(Watam Press, 2004)A decentralized supervisory controller design approach for discrete-event systems (DESs) modeled by automata or formal languages is presented. The controller is designed in order to lead the DES to certain desired marked ...