Konu "Automata" için Makale Koleksiyonu listeleme
Toplam kayıt 3, listelenen: 1-3
-
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 Controller Design for Forbidden States Avoidance in Timed Discrete Event Systems
(Ccc Publ-Agora University, 2010)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 ... -
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 ...