Konu "Discrete Event Systems" için Makale Koleksiyonu listeleme
Toplam kayıt 5, listelenen: 1-5
-
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 ... -
A reversibility enforcement approach for Petri nets using invariants
(2008)Petri net model which is one of the most common modelling method of discrete event systems, is considered to enforce reversibility in this work. Reversibility guarantees that the intial state is reachable from any state ... -
A simulation algorithm for real systems using petri nets
(2007)The real systems are considered to determine all states in the given time interval in this work. The timed Petri net that time delays are assigned to the transition is chosen to model for the real systems. Then, a new class ... -
Supervisory controller design to enforce reversibility and liveness in colored Petri nets
(Inst Control Robotics & Systems-Icros, 2007)Colored Petri net model which is a model of discrete event systems is considered in this work. A supervisory controller which enforces reversibility and liveness simultaneously is presented. Furthermore, the algorithms, ...