Ayrık olay sistemleri için optimal denetimsel gözetleyici tasarımı
Design of an optimal supervisory for discrete event systems
- Tez No: 223389
- Danışmanlar: DOÇ. DR. SALMAN KURTULAN
- Tez Türü: Doktora
- Konular: Elektrik ve Elektronik Mühendisliği, Electrical and Electronics Engineering
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2007
- Dil: Türkçe
- Üniversite: İstanbul Teknik Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Elektrik Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Kontrol ve Otomasyon Mühendisliği Bilim Dalı
- Sayfa Sayısı: 140
Özet
Ayrık olay sistemi çok fazla olası kilitlenme içerdiğinde denetimsel gözetleyici olarak enaz kısıtlamalı kilitlenmesiz çözümü seçmek tutucu bir çözüm oluşturabilir. O zamantoplam performansı arttırmak için kilitlenmesiz olma koşulunu esnetmek kaçınılmaz birolgudur. Diğer bir taraftan tam başarımlı çözümü denetimsel gözetleyici olarak seçmekbazı olası kilitlenmelerden dolayı ciddi sistem arızalarına sebebiyet verebilir. O zamanbu iki sonucu bağlayan bir denetimsel gözetleyiciye ihtiyaç vardır. Bu yüzden buçalışmada optimizasyon yaklaşımını kullanarak kilitlenme ve başarım arasındaki dengearaştırılmıştır. İlk olarak kilitlenme ve başarılara karşılık gelen kelimelerin nümerikdeğerlerine dayanan yeni bir performans ederi ortaya çıkartılmıştır. Önerilenformülasyon klasik optimizasyon yaklaşımını barındıran temel değiş tokuş özelliğinesahiptir. Aynı zamanda istenilen işaretli dili olabildiğince üreten optimal kilitlenebilirçözümü araştıran yeni bir algoritma önerilmiştir. Bunun yanı sıra ayrık olay sistemleriiçin Matlab'da bir fonksiyon grubu tasarlanmıştır. Ulaşılabilir kısmı, işaretli-ulaşılabilirkısmı, çarpım işlemi, paralel birleşim işlemi gibi sıkça kullanılan işlemler bu fonksiyongrubuna dâhil edilmiştir. Aynı zamanda fonksiyon grubu bünyesinde geliştirilmiş olanalgoritma da programlanmış ve test edilmiştir.
Özet (Çeviri)
When a discrete event system includes too many possible blockings, selecting theminimal restrictive nonblocking solution as supervisor sometimes constitutes aconservative solution. Then relaxing the nonblocking condition becomes an inevitablefact to improve the overall performance. On the other hand, selecting the completesatisfying solution as supervisor may cause serious system failures due to some of thesepossible blockings. Then a supervisor linking these two solutions is needed. Therefore inthis work the balance between blocking and success is investigated employing anoptimization approach. Firstly, we introduce a new performance measure whichdepends on numeric values obtained from strings that correspond to blocking andsuccess. The proposed formulation captures the fundamental trade-off motivated by theclassical optimization approach. Besides a new algorithm that explores maximallypermissive and also optimal blocking result is proposed. Furthermore a toolbox isdeveloped for discrete event systems at Matlab. The frequently used operations areincluded in this toolbox such that accessibility, co-accessibility, product, parallelcomposition are one of those. Also the developed algorithm was programmed and testedwithin this toolbox.
Benzer Tezler
- Parameter optimization for mathematical modeling
Matematiksel modelleme için parametre optimizasyonu
MEHMET TUNÇEL
Doktora
İngilizce
2023
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiMatematik Mühendisliği Ana Bilim Dalı
PROF. DR. AHMET DURAN
- Data-driven delay estimation and anomaly detection: A study on European and Turkish air traffic
Veri güdümlü gecikme tahmini ve anomali tespiti: Avrupa ve Türkiye hava trafiği üzerine bir çalışma
MUHAMMET AKSOY
Yüksek Lisans
Türkçe
2023
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiUçak ve Uzay Mühendisliği Ana Bilim Dalı
DR. EMRE KOYUNCU
- Design of a modular mobile multi robot system: ULGEN (Universal-Generative Robot)
Modüler mobil çoklu robot sistemi tasarımı: ULGEN (Universal-Generative Robot)
HASAN ERCAN
Yüksek Lisans
İngilizce
2016
Mekatronik Mühendisliğiİstanbul Teknik ÜniversitesiMekatronik Mühendisliği Ana Bilim Dalı
DOÇ. DR. PINAR BOYRAZ
- Yapay sinir ağlarında öğrenme algoritmalarının analizi
Analysis of learning algorithms in neural networks
SEVİNÇ BAKLAVACI
Yüksek Lisans
Türkçe
1994
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiDOÇ.DR. LEYLA GÖREN
- Tedarik zinciri sistemlerinin çoklu ölü zamanlı modellenmesi ve kararlılık analizi
Modeling supply chain systems with multiple time delays and stability analysis
GÖRKEM ARASIL
Yüksek Lisans
Türkçe
2014
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiKontrol ve Otomasyon Mühendisliği Ana Bilim Dalı
YRD. DOÇ. DR. ALİ FUAT ERGENÇ