Robustness Analysis of Extended Signal Temporal Logic STL* – Bc. Tomáš Vejpustek
Bc. Tomáš Vejpustek
Master's thesis
Robustness Analysis of Extended Signal Temporal Logic STL*
Robustness Analysis of Extended Signal Temporal Logic STL*
Abstract:
Oscilace patří mezi biologicky zajímavé chování systémů. Za účelem popsat a rozlišit různé dynamické aspekty oscilací navrhli Dluhoš et al. temporální logiku STL*. Její vyjadřovací síla je posílena zavedením operátoru zmražení hodnot signálu, jehož zanořování však není umožněno. Tato práce zobecňuje syntax a sémantiku STL* tak, aby mohl být operátor zmražení zanořován a zkoumá jeho sémantické vlastnosti …moreAbstract:
Oscillations constitute a class of biologically relevant behaviour. Dluhoš et al. defined temporal logic STL* capable of describing and distinguishing various dynamic aspects of oscillations. Its expressiveness is induced by signal-value freeze operator, but is restricted by prohibition of its nesting. This thesis generalizes syntax and semantics of STL* to allow freeze operator nesting and examines …more
Language used: English
Date on which the thesis was submitted / produced: 23. 5. 2013
Identifier:
https://is.muni.cz/th/eflnx/
Thesis defence
- Date of defence: 28. 6. 2013
- Supervisor: RNDr. David Šafránek, Ph.D.
- Reader: RNDr. Milan Češka, Ph.D.
Citation record
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Informatics / Theoretical Informatics
Theses on a related topic
-
Diferenciální rovnice se zpožděním v dynamických systémech
Martha Dokyi -
Parameter Synthesis in Continuous-Time Stochastic Systems
Ľuboš Korenčiak -
Abstraction-Based Analysis of Continuous-Time Models in System Biology
Jana Dražanová -
Stochastické modely se spojitým časem a jejich aplikace (příspěvek k teorii degradace)
David Vališ -
Příklady využití markovských řetězců se spojitým časem
Petra Cabalková -
Použití metody Monte Carlo pro verifikaci stochastických systémů se spojitým časem
Petr Slovák -
Specification and monitoring of oscillation properties in dynamical systems
Petr Dluhoš -
Moderní bayesiánské metody odhadu NAIRU a potenciálního produktu a jejich robustnost
Jakub Chalmovianský