Petri ağları ve Ramadge Wonham yöntemlerinin ayrık olay sistemlerinin kontrolüne uygulanmasında yeni melez yaklaşımlar ve üretim sistemlerine uygulanması

Basit Öğe Kaydı
dc.contributor.advisorUzam, Murat
dc.contributor.authorGelen, Gökhan
dc.date.accessioned2024-11-04T20:06:30Z
dc.date.available2024-11-04T20:06:30Z
dc.date.issued2010
dc.departmentNiğde ÖHÜ, Fen Bilimleri Enstitüsü, Elektrik-Elektronik Mühendisliği Ana Bilim Dalı
dc.descriptionFen Bilimleri Enstitüsü, Elektrik-Elektronik Mühendisliği Ana Bilim Dalı
dc.description.abstractSon yirmi yılda bilgisayar teknolojisinde meydana gelen hızlı gelişmeler üretim sistemleri, trafik sistemleri gibi Ayrık Olay Sistemleri (AOS) (Discrete Event Systems-DES) olarak sınıflandırılan birçok sistemi de beraberinde getirmiştir. AOS'lerin kontrolünde yaygın olarak, otomata temelli Gözetimli Kontrol Teorisi ve Petri ağı temelli yöntemler olmak üzere iki yöntem kullanılmaktadır. Bu iki yaklaşımın sunduğu avantajlardan aynı anda faydalanan melez bir yaklaşım da mevcuttur.Tez kapsamında Petri ağları ve Gözetimli kontrol teorisinin sunduğu avantajlardan aynı anda yararlanmak için yeni yekpare, indirgenmiş ve modüler yaklaşımlar ortaya konmuştur. İlave olarak Petri ağlarından otomatalara dönüşüm metotları da önerilmiştir. Petri ağı formunda hesaplanmış bir AOS denetleyicisinin doğruluk analizinin TCT yazılımı kullanılarak yapıldığı bir yöntem önerilmiştir. Kontrollü Petri ağları için derlenmiş melez denetleyicilerin hesaplanabileceği yekpare, indirgenmiş ve modüler yaklaşımlar da önerilmiştir. Bu yeni yaklaşımların tamamının gerçek sistemlerin kontrolünde kullanılabileceği PLC kontrollü bir deneysel endüstriyel üretim sistemi kullanılarak gösterilmiştir.Bu tez kapsamında önerilen yöntemlerin, endüstrinin formal ve pratik ayrık olay kontrol sistemi tasarımındaki ihtiyaçlarını karşılama konusunda faydalı olacağı değerlendirilmektedir.
dc.description.abstractThe last two decades have witnessed rapid developments in computer technology, which in return, has found widespread applications in manufacturing systems, traffic systems, etc. such systems fall into the category of Discrete Event Systems (DES). Two fundamental methods namely automata based Supervisory Control Theory (SCT) and Petri net based methods are widely used in control of DESs. Recently a hybrid method, making use of both SCT and Petri nets has been proposed in order to take advantage of both methods.In this thesis, new monolithic, reduced and modular methods are proposed in order to take advantage of both Petri nets and SCT. In addition, mappings form Petri nets to automata are also proposed. A novel and general methodology is proposed to carry out the correctness analysis for the computed PN-based controllers by using the TCT implementation tool of SCT. New monolithic, reduced and modular methods are proposed to synthesize compiled supervisors for Controlled Petri nets. The applicability of all proposed methods has been demonstrated by means of an experimental manufacturing system controlled by programmable logic controller (PLC).It is expected that the methods proposed in this thesis will be very useful to satisfy the requirements of industry in designing formal and practical discrete event control systems.
dc.identifier.endpage328
dc.identifier.startpage1
dc.identifier.urihttps://tez.yok.gov.tr/UlusalTezMerkezi/TezGoster?key=zqI_ZOq-b18GC2rT9c2JGlI7DII1Ie9a8tuIezpQzE3GYUViXGnEertEDf38-WAI
dc.identifier.urihttps://hdl.handle.net/11480/9204
dc.identifier.yoktezid295495
dc.language.isotr
dc.publisherNiğde Üniversitesi
dc.relation.publicationcategoryTez
dc.rightsinfo:eu-repo/semantics/openAccess
dc.snmzKA_2024
dc.subjectElektrik ve Elektronik Mühendisliği
dc.subjectElectrical and Electronics Engineering
dc.titlePetri ağları ve Ramadge Wonham yöntemlerinin ayrık olay sistemlerinin kontrolüne uygulanmasında yeni melez yaklaşımlar ve üretim sistemlerine uygulanması
dc.title.alternativeNew hybrid approches based on petri nets and Ramadge Wonham methods for the synthesis of discrete event sytem controllers and their application to manufacturing systems
dc.typeDoctoral Thesis

Dosyalar

Koleksiyon

Fen Bilimleri Enstitüsü Tez Koleksiyonu