Control of continuous Petri nets with infinite servers semantics
Sınırsız sunucu semantiği'ndeki sürekli Petri ağlarının kontrolü
- Tez No: 275711
- Danışmanlar: DOÇ. DR. AYDIN AYBAR
- Tez Türü: Doktora
- Konular: Elektrik ve Elektronik Mühendisliği, Electrical and Electronics Engineering
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2010
- Dil: İngilizce
- Ü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ı: 109
Özet
Bu tezde, zamanlandırılmış sürekli Petri ağı modeli ele alınmıştır. Zamanlandırılmışsürekli Petri ağlarının kontrol girdilerinin durumlara bağlı olarakkısıtlanması gibi belirli bazı özelliklerinden dolayı, bu modeller için yeni kontrolmetodlarının geliştirilmesine ihtiyaç vardır. Zamanlandırılmış sürekli Petriağlarının kontrolü, orjinal kesikli zaman Petri ağlarının kontrolüne göre dahakolay görünmekle beraber, ele alınan sistemin dağıtımlı (bağlantılı altsistemlerdenoluşmuş) olması durumunda, kontrolcü bütün altsistemlere erişimez.Bu durumda dağıtımlı denetleyici yakla¸sımının ele alınması gerekir. Bu tezde,zamanlandırılmış sürekli Petri ağlarının kontrolü üç farklı açıdan incelenmiştir:1) Buluşsal bir kontrol yöntemi ile sistemin başlangıç durumundan hedef durumunadoğrusal ya da parçalı doğrusal bir yörünge üzerinde zamanı minimizeederek taşıınması, 2) Hedef durumunun bazı bileşenlerinin belirtilmediği durumlariçiin çevirimiçi kontrolcü tasarımı, 3) Dağıtımlı modeller için dağıtımlıkontrolcü tasarımı.
Özet (Çeviri)
In this thesis, timed continuous Petri net model is considered. It is necessary to investigate new control methods for timed continuous Petri nets Because of their particular characteristics: synchronizations lead to switched systems of equationsand input constraints that depend on the state. Even if their control problem may look easier than that of the original discrete net,in many cases the system is distributed and the controller cannot have access to all subsystems.In this case, a distributed controller should be considered. This thesis proposes three different aspects, all related to control of timed continuous Petri nets:1) A heuristics for minimum time control which drives the system from the initial to target marking by minimizing the time through a linear or piecewise linear trajectory, 2) An online control method for the case that some components of target markings are not specified,3) Distributed controller design for distributed model.
Benzer Tezler
- Redundant and safe work implementation for S7-1200 PLC family
S7-1200 plc ailesi için yedekli ve emniyetli çalışma uygulaması
OKAN KONUK
Yüksek Lisans
İngilizce
2020
Mühendislik Bilimleriİstanbul Teknik ÜniversitesiKontrol ve Otomasyon Mühendisliği Ana Bilim Dalı
PROF. DR. SALMAN KURTULAN
- Açık hatla istasyon bölgelerinin hatada güvenli anklaşman tasarımı ve PLC de gerçeklenmesi
Fail-safe interlocking design of open line and station areas and implementation with PLC
MUHAMMED İKBAL YILDIZ
Yüksek Lisans
Türkçe
2021
Ulaşımİstanbul Teknik ÜniversitesiRaylı Sistemler Mühendisliği Ana Bilim Dalı
PROF. DR. MEHMET TURAN SÖYLEMEZ
- Quantitative modeling and verification of evolving software
Başlık çevirisi yok
SINEM GETIR YAMAN
Doktora
İngilizce
2021
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolHumboldt-Universität zu BerlinPROF. DR. SABİNE KUNST
PROF. DR. ELMAR KULKE
- Erken Hristiyan ve ilk Bizans resim ve kabartma sanatında kaynak ve okullar (2 cilt)
Sources and school of painting and sculpture during the early Christian and first Byzantine period
AHMET MEHMET KİPMEN
- Anklaşman sistemlerinin hatada güvenli bir PLC ile gerçeklenmesi
Implementation of the interlocking systems by fail-safe PLC
EMRE DİNCEL
Yüksek Lisans
Türkçe
2013
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiKontrol ve Otomasyon Mühendisliği Ana Bilim Dalı
DOÇ. DR. SALMAN KURTULAN