Yazar "Aybar, Aydın" için Bildiri Koleksiyonu listeleme
-
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 ... -
Controller design to enforce boundedness, liveness and reversibility in Petri nets
Aybar, Aydın; İftar, Altuğ (Pergamon-Elsevier Science LTD, 2003)Supervisory controller design to enforce boundedness, reversibility, and liveness in ordinary Petri nets with weighted arcs is considered. Algorithms are presented to design a controller to enforce these properties ... -
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, ... -
Decentralized control design for interconnected discrete-event systems
Aybar, Aydın; İftar, Altuğ (Pergamon-Elsevier Science LTD, 2001)Interconnected discrete-event systems are studied in this paper. Petri nets are used to model these systems. A decentralized controller design approach, based on overlapping decompositions, is described for such systems. ... -
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 ... -
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 and simulation of a production system by using colored Petri nets
Mert, Volkan; Özkan, Hanife Apaydm; Aybar, Aydın (IEEE, 2007)The production system, given by [7], is modeled by colored Petri net in this paper. The basic properties of Petri nets (deadlock-freeness, and reversibility) are considered for the model of this production system. Simulations ... -
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 ... -
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 ... -
Representation of the state of timed-place Petri nets using stretching
Aybar, Aydın; İftar, Altuğ (2009)Unlike untimed Petri nets, representation of the state of a timed Petri net and describing its evolution is not an easy task. Here, an approach, called place-stretching, is introduced to represent the state of a timed-place ... -
Reversibility analysis for Petri nets by using T-invariants
Özkan, Hanifie Apaydın; Aybar, Aydın (World Scientific And Engineering Acad And Soc, 2008)In this work, we propose a method, based on T-invariants, to analyse reversibility of Petri nets. Proposed method determines all possible transition sequences, corresponding to minimal T-invariants. Then a reversible set ... -
A Smart Air Conditioner in Smart Home
Özkan, Hanife Apaydın; Aybar, Aydın (IEEE, 2016)In this work, a smart Air Conditioner scheme is proposed and its adaptation to a Smart Home system is presented. Firstly, working principles of conventional Air Conditioner and the proposed smart Air Conditioner are explained ... -
Supervisory controller design for timed Petri Nets
Aybar, Aydın; İftar, Altuğ (IEEE, 2006)A method, called "stretching ", is introduced to represent timed Petri nets. Using this method, a new Petri net, called "stretched Petri net", which has only unit delays, is obtained to represent a timed-transition Petri ... -
Supervisory controller design to enforce basic properties in timed-place petri nets
Aybar, Aydın; İftar, Altuğ (2013)Supervisory controller design to enforce boundedness, reversibility, and liveness in discrete-event systems with time-delays is considered. It is assumed that the system is modeled by a timed-place Petri net. The approach ... -
Supervisory controller design to enforce some basic properties in timed Petri nets
Aybar, Aydın; İftar, Altuğ (2009)Supervisory controller design to enforce boundedness, reversibility, and liveness in timed Petri nets with firing durations is considered. It is assumed that both controllable and uncontrollable transitions may be present ... -
Timed Arc Petri Nets: The Impulsive Approach
Yufka, Alpaslan; Özkan, Hanife Apaydın; Aybar, Aydın (IEEE, 2018)In this work, a new graphical and mathematical model is presented as a new approach for Deterministic Timed Arc Petri Net. In the proposed Timed Arc Petri Net, time is associated with arcs in transition firing process. In ... -
Timed Arc Petri Nets: The Time-Element Approach
Yufka, Alpaslan; Özkan, Hanife Apaydın; Aybar, Aydın (IEEE, 2017)In this work, a novel model is proposed for Deterministic Timed Arc Petri Nets. In the proposed Timed Arc Petri Net, transition firing processes are associated with time, where time is interpreted as firing delays, hence ...