Yazar "Aybar, Aydın" için Makale Koleksiyonu listeleme
-
Algorithms for deadlock avoidance and reversibility enforcement in discrete event systems
Aybar, Aydın; Polat, Çağrı; Atasoy, Fatih (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 ... -
Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets
Aybar, Aydın; İftar, Altuğ; Apaydın-Özkan, H (Taylor & Francis LTD, 2005)Supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets is considered. The Petri nets considered may have non-unity weight arcs and both controllable and uncontrollable transitions. ... -
Deadlock Avoidance Controller Design for Timed Petri Nets Using Stretching
Aybar, Aydın; İftar, Altuğ (IEEE-Inst Electrical Electronics Engineers Inc, 2008)The recently introduced method, which was called "stretching," is extended to timed Petri nets which may have both controllable and uncontrollable transitions. Using this method, a new Petri net, called "stretched Petri ... -
Decentralized Controller Design for Forbidden States Avoidance in Timed Discrete Event Systems
Aybar, Aydın (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 structural control approach for Petri nets
Aybar, Aydın (Polish Acad Sciences Systems Research Inst, 2007)The structural controller, described by adding the control places to the Petri nets, is introduced in this work to lead the Petri net to the desired marking vectors. An algorithm (Algorithm is developed to determine the ... -
Decentralized Structural Controller Design for Large-Scale Discrete-Event Systems Modelled By Petri Nets
Aybar, Aydın; İftar, Altuğ (Kybernetika, 2009)A decentralized structural controller design approach for discrete-event systems modelled by Petri nets is presented. The approach makes use of overlapping decompositions. The given Petri net model is first overlappingly ... -
Decentralized supervisory controller design for discrete-event systems using overlapping decompositions and expansions
Aybar, Aydın; İftar, Altuğ (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 ... -
Decentralized supervisory controller design to avoid deadlock in Petri nets
Aybar, Aydın; İftar, Altuğ (Taylor & Francis LTD, 2003)A decentralized supervisory controller design approach, using overlapping decompositions, is proposed for discrete-event systems modelled by Petri nets to avoid deadlock. In this approach, the given original Petri net is ... -
Overlapping decompositions and expansions of Petri nets
Aybar, Aydın; İftar, Altuğ (IEEE-Inst Electrical Electronics Engineers Inc, 2002)Overlapping decompositions and expansions are considered to design decentralized controllers for discrete-event systems (DESs) modeled, by Petri nets. The inclusion principle for Petri nets is first defined. It is shown ... -
A reversibility enforcement approach for Petri nets using invariants
Özkan, Hanife Apaydın; Aybar, Aydın (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
Aybar, Aydın; Aybar, E. (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 for Timed-Place Petri Nets
Aybar, Aydın; İftar, Altuğ (Kybernetika, 2012)Supervisory controller design to avoid deadlock in discrete-event systems modeled by timed-place Petri nets (TPPNs) is considered. The recently introduced approach of place-stretching is utilized for this purpose. In this ... -
Supervisory controller design to enforce reversibility and liveness in colored Petri nets
Aybar, Aydın; Çimen, Mustafa (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, ... -
Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching
Aybar, Aydın; İftar, Altuğ (Elsevier Sci LTD, 2012)Supervisory controller design to enforce boundedness, reversibility, and liveness in timed-transition Petri nets with firing durations is considered. It is assumed that both controllable and uncontrollable transitions may ...