Yazar "Aybar, Aydın" için listeleme
-
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 ... -
Petrı Ağları İçin PLC Kullanarak Yasaklanmış Durum Kontrolü
Aybar, Elif; Aybar, Aydın (Anadolu Üniversitesi, 2013)Bu çalışmada, Petri ağlan için yasaklanmış kontrolör tasarım yaklaşımının, PLC kullanılarak gerçeklemesi ele alınmıştır. Öncelikle, temel Petri ağının yapısı, merdiven diyagramı formunda PLC’ye aktarılmakta, yasaklanmış ... -
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 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 ... -
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 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 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 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 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 ... -
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 ... -
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 ...