Petri ağlarında örtüşmeli ayrıştırma ve genleştirme kullanılarak kontrolör tasarımı
Controller design on petri nets using overlapping decompositions and expansion
- Tez No: 109821
- Danışmanlar: PROF.DR. ALTUĞ İFTAR
- Tez Türü: Doktora
- Konular: Elektrik ve Elektronik Mühendisliği, Electrical and Electronics Engineering
- Anahtar Kelimeler: Kesikli Olay Sistemler, Petri Ağları, Örtüşmeli Ayrıştırma, İçerme Prensibi, Dışmerkezli Kontrol, Discrete Event Systems, Petri Nets, Overlapping Decompositions, Inclusion Principle, Decentralized Control
- Yıl: 2001
- Dil: Türkçe
- Üniversite: Anadolu Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Elektrik-Elektronik Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 118
Özet
Kesikli olay sistemlerin modelleme yöntemlerinden, Petri ağı, vektörel, otomata ve dil gösterimleri incelenmiştir. Bugüne kadar sürekli durum sis temleri için kullanılmış olan ve kesikli durum sistemlerinin yalnızca vektörel gösterimi için uygulanmış olan örtüşmeli ayrıştırma ve genleştirme işlemleri, Petri ağları, otomata ve dil gösterimlerine ilk kez bu çalışmada uygulanmıştır. İçerme prensibi yine bu çalışmada Petri ağları, otomata ve dil gösterimleri için ilk kez tanımlanmıştır. Petri ağı ve otomata gösterimlerinin her biri için, örtüşmeli ayrıştırmaya dayalı dışmerkezli kontrolör tasarım yöntemleri geliştirilmiştir. Bu yöntemlerle tasarlanan kontrolörler, sistem çıkmazı mey dana gelmemesini garanti etmektedir. Ayrıca bu çalışmada, sistem çıkmazı meydana gelmesine izin vermeyen bir dil tasarım yöntemi de önerilmiştir.
Özet (Çeviri)
Petri nets, vector-forms, automatas, and formal languages, which are modeling methods for discrete event systems, are studied. Overlapping de compositions and expansions which have been used for continuous state sys tems and for discrete state systems modelled using vector-forms are applied to Petri nets, automatas and formal languages in this study for the first time. Inclusion principle for Petri nets, automatas and formal languages is also defined in this study for the first time. Decentralized supervisory controller design methods based on overlapping decompositions are developed for Petri nets and automatas. The controllers which are designed using these methods guaranty deadlock avoidance. Furthermore a design method for a deadlock- free formal language is also purposed in this study.
Benzer Tezler
- 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
- 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
1984
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolEge ÜniversitesiBilgisayar Bilimleri ve Mühendisliği Ana Bilim Dalı
DOÇ. DR. MEHMET CUDİ OKUR
- 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
2015
Elektrik ve Elektronik MühendisliğiYıldız Teknik ÜniversitesiElektronik ve Haberleşme Mühendisliği Ana Bilim Dalı
YRD. DOÇ. DR. TUNCAY UZUN
- 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
2015
BiyolojiCelal Bayar ÜniversitesiBiyoloji Ana Bilim Dalı
DOÇ. DR. FATİH KALYONCU
- 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
2015
İngiliz Dili ve EdebiyatıNamık Kemal Üniversitesiİngiliz Dili ve Edebiyatı Ana Bilim Dalı
DOÇ. DR. PETRU GOLBAN