Timed-arc Petri Nets modeling and forbidden state control approach
Bağlantıları zamanlandirilmiş Petri Ağları modellenmesi ve yasaklanmiş durum kontrolü yaklaşımı
- Tez No: 584076
- Danışmanlar: PROF. DR. AYDIN AYBAR, DOÇ. DR. HANİFE APAYDIN ÖZKAN
- Tez Türü: Doktora
- Konular: Elektrik ve Elektronik Mühendisliği, Mühendislik Bilimleri, Electrical and Electronics Engineering, Engineering Sciences
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2019
- Dil: İngilizce
- Üniversite: Eskişehir Teknik Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Elektrik-Elektronik Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Kontrol ve Kumanda Bilim Dalı
- Sayfa Sayısı: 139
Özet
Bu tezde, zamanlandırılmış Petri Ağları için zaman gecikmelerinin bağlantılara atandığı yeni bir matematiksel ve grafiksel modelleme yöntemi sunulmuştur. Zamanlandırılmış Petri Ağlarında, durumlar belirtilerin akışını zamanla değiştirmektedir. Bu zamana bağlı hareket, ateşleme süreçleri sırasında ağın matematiksel ve grafiksel değerlendirmesini izlemekte yetersiz kalmaktadır. Önerilen modelde, geçiş halindeki belirtilerin izlenmesini sağlayan zaman elemanı olarak adlandırılan bir üçgen gösterimi sunulmuştur. Ayrıca, sistemin herhangi bir zamandaki durumu, yerlerdeki belirtilerin durumunu bu zamanda gösteren işaretleme vektörü ile geçiş halindeki belirtilerin kalan süresini gösteren kalan zaman vektörünü içermektedir. Sistem durumunun işaretleme ve kalan zaman vektörleri cinsinden ifade edilmesi, ulaşılabilirlik kümesinin elde edilmesini ve zamanlanmış bir ulaşılabilirlik ağacının oluşturulmasını mümkün kılmıştır. Önerilen matematiksel model için kontrolör tasarımı da dikkate alınmıştır. Hem kontrol tasarımı hem de ulaşılabilirlik kümesinin elde edilmesi için ilgili algoritmalar geliştirilmiş ve MATLAB ile benzetimi yapılmıştır. Sonuçlar, üretim, demiryolu ve otomotiv sistemleri gibi gerçek zamanlı ve gerçek dünya uygulamaları ile sunulmuştur. Önerilen yaklaşımın performansını değerlendirmek için, bu yaklaşım Zamanlandırılmış Petri Ağları için başka bir modelleme yöntemi olan Uzatılmış (Streç) Petri Ağları ile karşılaştırılmıştır.
Özet (Çeviri)
In this thesis, a new mathematical and graphical modeling method where time delays are assigned to arcs is presented for Timed Petri Nets. In Timed Petri Nets, states change by the flow of tokens with the time. This time-dependent movement causes an inability to track mathematical and graphical evaluation of the net during firing processes. In the proposed model, a triangular representation, called time element, that allows monitoring of tokens in transitions is introduced. Additionally, the state of the system at any time contains the marking vector representing the status of tokens in places and the remaining time vector representing the remaining time of tokens in transitions at that time. Expressing the state in terms of the marking and remaining time vectors makes it possible to obtain the reachability set and generate a timed-reachability tree. The controller design is also considered for the proposed mathematical model. Corresponding algorithms are developed for the construction of the reachability set and the controller design, and simulated with MATLAB. Results are presented through real-time and real-world case studies, such as manufacturing, railway, and automotive systems. In order to evaluate the performance of the proposed approach, it is compared with Stretched Petri Nets that is another modeling method for Timed Petri Nets.
Benzer Tezler
- Demiryolu anklaşman sistemlerinin petri ağları ile tasarımı ve gerçeklenmesi
Railway interlocking system design and implementation using petri nets
CEM BAŞKOCAGİL
Doktora
Türkçe
2014
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiKontrol ve Otomasyon Mühendisliği Ana Bilim Dalı
PROF. DR. SALMAN KURTULAN
- Biyofiziksel ve biyokimyasal uyaranlarla desteklenmiş doku iskeleleri ile mezenkimal kök hücrelerin osteojenik farklılaşmasının incelenmesi
Investigation of osteogenic differentiation of mesenchymal stem cells with scaffolds supported by biophysical and biochemical stimulants
ANIL SERA ÇAKMAK
Doktora
Türkçe
2014
BiyomühendislikHacettepe ÜniversitesiBiyomühendislik Ana Bilim Dalı
PROF. DR. MENEMŞE GÜMÜŞDERELİOĞLU
- Soğuk plazma uygulanmış soğan kabuğu tozunun çikolata üretiminde kullanımı
Utilization of cold plasma treated onion skin powder in chocolate production
BERNA ŞENGÜLER
Yüksek Lisans
Türkçe
2024
Gıda Mühendisliğiİstanbul Teknik ÜniversitesiGıda Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ CELALE KIRKIN GÖZÜKIRMIZI
- İstanbul Bizans mimarisinde kullanılan tuğlanın fiziksel ve mekanik özellikleri
Characteristics of brick used in Byzantine architecture in İstanbul
YEGAN KAHYA
- Güneydoğu Anadolu orojenik kuşağındaki ofiyolitik ve granitik kayaçların jeokronolojisi
The geochronology of the ophiolitic and the granitic rocks along the Southeast Anatolian orogenic belt
FATİH KARAOĞLAN
Doktora
Türkçe
2012
Jeoloji MühendisliğiÇukurova ÜniversitesiJeoloji Mühendisliği Ana Bilim Dalı
PROF. DR. OSMAN PARLAK