Specification and monitoring of oscillation properties in dynamical systems – Bc. Petr Dluhoš
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é …moreAbstract:
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
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
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 / Artificial Intelligence and Natural Language Processing
Theses on a related topic
-
Formální popis fosforylačních stavů a souvisejících reakcí
Matej Troják -
Formální modely oscilací v biologii a jejich analýza
Jakub Šalagovič -
Analýza událostí a jejich temporálních aspektů s využitím Transparentní intensionální logiky
Jakub Macek -
Analýza robustnosti spojitých dynamických systémů v distribuovaném prostředí
Jan Papoušek -
Modelování a kvalitativní analýza fotosystému II pomocí Petriho sítí
Vilém Děd -
Výpočetní analýza nelineárních dynamických systémů
Sven Dražan -
Nové hybridní metody pro robustní a automatizovaný odhad parametrů mechatronických systémů
Jan Najman -
Nové hybridní metody pro robustní a automatizovaný odhad parametrů mechatronických systémů
Jan Najman