Geri Dön

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

PDF İndir

  1. Tez No: 295495
  2. Yazar: GÖKHAN GELEN
  3. Danışmanlar: PROF. DR. MURAT UZAM
  4. Tez Türü: Doktora
  5. Konular: Elektrik ve Elektronik Mühendisliği, Electrical and Electronics Engineering
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2010
  8. Dil: Türkçe
  9. Üniversite: Niğde Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Elektrik-Elektronik Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 328

Ö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

  1. Tez No

    412035

    Pilonidal sinüsün cerrahi tedavisinde Limberg flep ile Dufourmentel flep yöntemlerinin karşılaştırılması

    Comparison of Limberg and Dufourmentel flap in surgical treatment of pilonidal sinus disease

    ALİ TARDU

    Tıpta Uzmanlık

    Türkçe

    Türkçe

    2007

    Genel CerrahiSağlık Bakanlığı

    Genel Cerrahi Ana Bilim Dalı

    DOÇ. DR. ACAR AREN

  2. Tez No

    412889

    Sürekli değişkenler için kullanılan kalite kontrol grafiklerinin bazı özellikleri ve petro-kimya endüstrisinde bir uygulama

    Başlık çevirisi yok

    MUSTAFA GÜNEŞ

    Yüksek Lisans

    Türkçe

    Türkçe

    1984

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolEge Üniversitesi

    Bilgisayar Bilimleri ve Mühendisliği Ana Bilim Dalı

    DOÇ. DR. MEHMET CUDİ OKUR

  3. Tez No

    414254

    Enstrumantasyon kablolarının ekranlama etkinliklerinin belirlenmesi için bir ölçme sistemi

    A measuring system; determination of shielding effectiveness for instrumentation cables

    MUSTAFA TÜRKER GÜLTEPE

    Yüksek Lisans

    Türkçe

    Türkçe

    2015

    Elektrik ve Elektronik MühendisliğiYıldız Teknik Üniversitesi

    Elektronik ve Haberleşme Mühendisliği Ana Bilim Dalı

    YRD. DOÇ. DR. TUNCAY UZUN

  4. Tez No

    414298

    Manisa ilindeki tarım alanlarından izole edilen potansiyel mikotoksijenik mikrofungusların bazı pestisitlere karşı duyarlılıklarının araştırılması

    Determination of pesticides sensitivity of potantial mycotoxigenic microfungi which isolated from cultivated areas of Manisa

    AZİZE ÖZER

    Yüksek Lisans

    Türkçe

    Türkçe

    2015

    BiyolojiCelal Bayar Üniversitesi

    Biyoloji Ana Bilim Dalı

    DOÇ. DR. FATİH KALYONCU

  5. Tez No

    414667

    The English bildungsroman in the age of modernism: Virginia Woolf's Jacob's Room and the psychological insight into character formation

    Modernist dönemde İngiliz bildungsromanı: Virginia Woolf'un Jacob'un Odası adlı romanı ve psikolojik açıdan kişilik biçimlenmesi

    DERYA AVER

    Yüksek Lisans

    İngilizce

    İngilizce

    2015

    İngiliz Dili ve EdebiyatıNamık Kemal Üniversitesi

    İngiliz Dili ve Edebiyatı Ana Bilim Dalı

    DOÇ. DR. PETRU GOLBAN

Geri Dön