Kurum Yazarı "Aybar, Aydın" Scopus İndeksli Yayınlar Koleksiyonu İçin 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 ... -
BUG Algorithm Analysis using Petri net
Yufka, Alpaslan; Aybar, Aydın (IEEE, 2013)In this study, BUG 1 navigation algorithm which is a simple motion planner, is modelled by the Petri net (PN) for a mobile robot (MR). We prefer this PN model to obtain the discrete data for this algorithm. PN is used as ... -
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. ... -
Controller design to enforce boundedness, liveness, and reversibility in Petri nets
Aybar, Aydın; İftar, Altuğ (IFAC Secretariat, 2003)Supervisory controller design to enforce bouudedness. reversibility, and liveness in ordinary Petri nets with weighted arcs is considered. Algorithms are presented to design a controller to enforce these properties ... -
Deadlock analysis for continuous Petri nets by using overlapping decompositions
Apaydın Özkan, Hanife; Aybar, Aydın (2007)The continuous Petri nets model, in which the tokens are denoted by real numbers and the firing of transitions depends on speeds of each transition and time, is considered to analyse deadlock in this work. Deadlock analysis, ... -
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 controller design to enforce boundedness, liveness, and reversibility in Petri nets
Aybar, Aydın; İftar, Altuğ (Institute of Electrical and Electronics Engineers Inc., 2003)Decentralized supervisory controller design based on overlapping decompositions to enforce boundedness, liveness, and reversibility is considerered for ordinary Petri nets with weighted arcs. In the proposed approach, the ... -
Decentralized Routing Control Using Overlapping Decompositions
Aybar, Aydın; İftar, Altuğ (I E E E, 1994)… -
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 ... -
Decentralized supervisory controller design to avoid deadlock in Petri nets (vol 76, pg 1285, 2003)
Aybar, Aydın; İftar, Altuğ (Taylor & Francis LTD, 2003)… -
A Final Marking Planning Method for Join Free Timed Continuous Petri nets
Özkan, Hanife Apaydm; Aybar, Aydın (Diptem University Genoa, 2011)In this paper, an online control method is developed and corresponding algorithm is proposed for driving Join Free continuous Petri net from its initial marking, to target marking through a linear trajectory by minimizing ... -
Line Estimation for a Line-Following Mobile Robot
Yufka, Alpaslan; Aybar, Aydın (IEEE, 2015)In this study, the coordinate of the line position for a differential drive line-following mobile robot is estimated by using the Minimum Variance Unbiased Estimator. Using the sensor data as an observation data and ... -
Modeling Basic Components of Railway Systems Using Timed Arc Petri Nets
Yufka, Alpaslan; Özkan, Hanife Apaydın; Aybar, Aydın (IEEE, 2018)Timed Petri Nets is a powerful modeling paradigm for concurrent and dynamic systems such as railway systems. In this work, Timed-Arc Petri nets, which has been recently proposed by authors, is considered for modeling railway ... -
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 ... -
Overlappingl
Aybar, Aydın; İftar, Altuğ (IFAC Secretariat, 2002)Overlapping decompositions and expansions of discrete-event systems (DESs) modeled by automata or formal languages are considered. Inclusion principle for such systems is defined. A decentralized supervisory controller ... -
A program for analysis and control of Petri nets
Apaydın Özkan, Hanife; Manay, A; Aybar, Aydın; İftar, Altuğ (IEEE, 2004)Analysis and control algorithms are introduced for discrete-event systems which are modeled by Petri nets. A simulation and control design program is then developed to implement these algorithms. The program can simulate ...