Zpět na vyhledávání

Bc. Petr Dluhoš

Master's thesis

Specification and monitoring of oscillation properties in dynamical systems

Specification and monitoring of oscillation properties in dynamical systems
Abstract:
Formální metody pro analýzu a verifikaci systémů jsou stále více využívány v systémové biologii i dalších přírodních vědách. Aplikace těchto přístupů v nových oblastech vyžaduje nové metody. Diplomová práce se zaměřuje na specifikaci a automatickou analýzu složitých biologických signálů, shrnuje současné přístupy založené na temporálních logikách a prezentuje rozšíření Signální temporální logiky vhodné …more
Abstract:
Formal techiques for analysis and verification of systems are increasingly used in natural and systems sciences. Application of this approach in the new areas requires new methods. This thesis focuses on reasoning about complex biological signals. Existing approaches based on temporal logics are reviewed and a new temporal logic extending the Signal Temporal Logic is introduced. A polynomial monitoring …more
 

Keywords

temporální logika signály formální specifikace oscilace analýza systémů odhad parametrů temporal logic signals monitoring formal specification oscillations system analysis parameter estimation STL
 
Language used: English
Date on which the thesis was submitted / produced: 24. 5. 2012
Identifier: https://is.muni.cz/th/zsgyq/

Thesis defence

  • Date of defence: 26. 6. 2012
  • Supervisor: RNDr. David Šafránek, Ph.D.
  • Reader: RNDr. Milan Češka, Ph.D.

Citation record

Cite this text

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 informatiky
Složka Reference to the local database directory of the institution