Petri ağları ve Ramadge Wonham yöntemlerinin ayrık olay sistemlerinin kontrolüne uygulanmasında yeni melez yaklaşımlar ve üretim sistemlerine uygulanması
New hybrid approches based on petri nets and Ramadge Wonham methods for the synthesis of discrete event sytem controllers and their application to manufacturing systems
- Tez No: 295495
- Danışmanlar: PROF. DR. MURAT UZAM
- Tez Türü: Doktora
- Konular: Elektrik ve Elektronik Mühendisliği, Electrical and Electronics Engineering
- Anahtar Kelimeler: Ayrık olay sistemleri, Discrate event systems
- Yıl: 2010
- Dil: Türkçe
- Üniversite: Niğde Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Elektrik-Elektronik Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
Son 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.
Özet (Çeviri)
The 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.
Benzer Tezler
- Petri ağları yöntemi ve üretim planlaması problemi uygulaması
Petri nets and a production planning problem application
EDA ÇINAROĞLU
- Petri ağları ile demir yolu anklaşman ve sinyalizasyon tasarımı
Railway interlocking and signalization design using petri nets
ERHAN AKGÖK
Yüksek Lisans
Türkçe
2009
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiKontrol ve Otomasyon Mühendisliği Bilim Dalı
DOÇ. DR. M. TURAN SÖYLEMEZ
- Petri ağları ile imalat sistemlerinin modellenmesi ve analizinde yeni bir yaklaşım
A new approach in modeling and analysis of manufacturing systems with petri nets
FATİH TÜYSÜZ
Doktora
Türkçe
2010
Endüstri ve Endüstri Mühendisliğiİstanbul Teknik ÜniversitesiEndüstri Mühendisliği Ana Bilim Dalı
PROF. DR. CENGİZ KAHRAMAN
- İnverter topolojilerinin petri ağları ile modellenmesi ve analizi
Modeling and analysis of inverter topologies by petri nets
REHA GÖNÜLLÜ
Yüksek Lisans
Türkçe
2003
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolFırat ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
DOÇ. DR. ERHAN AKIN
- Petri ağ çeşitleri ve diferensiyel petri ağları
Petri net structures and differential petri nets
FATİH GÜNDOĞAN
Yüksek Lisans
Türkçe
2008
Mühendislik Bilimleriİstanbul Teknik ÜniversitesiElektrik Mühendisliği Ana Bilim Dalı
PROF. DR. LEYLA GÖREN