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
Anotácia:
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é …viacAbstract:
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 …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 24. 5. 2012
Identifikátor:
https://is.muni.cz/th/zsgyq/
Obhajoba závěrečné práce
- Obhajoba proběhla 26. 6. 2012
- 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 informatikyMasaryk University
Faculty of InformaticsMaster programme / odbor:
Informatics / Artificial Intelligence and Natural Language Processing
Práce na příbuzné téma
-
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