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
 

Keywords

continuous-time dynamical systems signal temporal logic signal-value freeze operator robustness dynamické systémy se spojitým časem signální temporální logika operátor zmražení hodnot signálu robustnost
 
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 23. 5. 2013
Identifikátor: https://is.muni.cz/th/eflnx/

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

Citovat tuto práci

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
Složka Odkaz na adresář do lokálního úložiště instituce