Partial order reduction for timed systems
Başlık çevirisi mevcut değil.
- Tez No: 402617
- Danışmanlar: DR. YUSRA ALKHAZRAJI, DR. ROBERT MATTMÜLLER
- Tez Türü: Yüksek Lisans
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2014
- Dil: İngilizce
- Üniversite: Albert-Ludwıgs-Unıversıtat Freıburg Im Breısgau
- Enstitü: Yurtdışı Enstitü
- Ana Bilim Dalı: Belirtilmemiş.
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
Özet yok.
Özet (Çeviri)
In this work, an application of a partial order reduction method for the reachability analysis of timed systems using local-time semantics is presented. Reachability analysis of timed systems requires exploring an excessive size of the state-space. The size of the statespa. ce can be reduced by using partial order reduction methods. Partial order reduction methods make use of the independence relation between transitions. Two transitions are independent if they lead to the same state with any execution order. Exploring one of the two possible execution order is sufficient to rea.ch the same states. Partia.l order reduction methods choose one of the two paths and prune the other one to decrease the size of the state space to be explored. Application of partial order reduction methods to timed systems is not straightforward, since all of the transitions which include a clock variable are implicitly synchronized. Thus local-time semantics is proposed to enable the application of partial order reduction methods to timed automata. The idea of local-time semantics is to remove the implicit clock synchroniza.tion between the loca.l clocks of different processes to a.llow loca.l clocks to a.dva. nce with different time sca.les. Using loca.l-time sema.ntics allows usage of independence of transitions in different processes thus allowing application of pa.rtial order reduction techniques to timed automata. In this paper, stubborn sets are used as the partial order reduction method. Local-time sernantics and stubborn sets are implemented in MCTA, a model checking tool for timed automata. The implementation is tested with the benchmarks available for MCTA and test results showing the size of explored state-space with global time semantics, wit h local time semantics and with local time semantics and stubborn sets are added. 3
Benzer Tezler
- Static partial order reduction and model checking of hardware/software co-design systems
Durağan kısmi sıra eksiltme ve donanım/yazılım birleşik sistemlerin model kontrolü
HÜSNÜ YENİGÜN
Doktora
İngilizce
2000
Elektrik ve Elektronik MühendisliğiOrta Doğu Teknik ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
DOÇ. DR. GÜNEY GÖNENÇ
- İşyerlerinde aktif gürültü kontrol yöntemi ile gürültü seviyesinin azaltılmasına ilişkin bir sistemin geliştirilmesi
Developing A system for reducing the noise level by using active noise control method in workplaces
TOLGA ÖZKAN
Doktora
Türkçe
2021
Çalışma Ekonomisi ve Endüstri İlişkileriİstanbul Gedik Üniversitesiİş Sağlığı ve Güvenliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ MUSTAFA YAĞIMLI
- Optimal control of physical systems governed by partial differential equations
Kısmi diferansiyel denklemler tarafından yönetilen fiziksel sistemlerin optimal kontrolü
SEDA GÖKTEPE KÖRPEOĞLU
Doktora
İngilizce
2019
MatematikYıldız Teknik ÜniversitesiMatematik Mühendisliği Ana Bilim Dalı
PROF. DR. İSMAİL KÜÇÜK
- Dalgacık paket modülasyon sistemlerinde tepe gücü/ortalama güç oranını düşürme teknikleri
Peak-to-average power ratio reduction techniques in wavelet packet modulation systems
YÜKSEL TOKUR BOZKURT
Doktora
Türkçe
2017
Elektrik ve Elektronik MühendisliğiErciyes ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
PROF. DR. NECMİ TAŞPINAR
- Lityum iyon sonrası batarya sistemleri için katı elektrolitlerin geliştirilmesi
Development of solid electrolytes for post-lithium-ion battery systems
MUSTAFA ÇELİK
Doktora
Türkçe
2026
EnerjiSakarya ÜniversitesiMetalurji ve Malzeme Mühendisliği Ana Bilim Dalı
PROF. DR. TUĞRUL ÇETİNKAYA