Bc. Tomáš Vejpustek

Master's thesis

Robustness Analysis of Extended Signal Temporal Logic STL*

Robustness Analysis of Extended Signal Temporal Logic STL*
Anotácia:
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 …viac
Abstract:
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 …viac
 
 
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 23. 5. 2013

Obhajoba závěrečné práce

  • Obhajoba proběhla 28. 6. 2013
  • Vedúci: RNDr. David Šafránek, Ph.D.
  • Oponent: RNDr. Milan Češka, Ph.D.

Citační záznam

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky