Bc. Ondřej Huvar
Bachelor's thesis
Symbolic Model Checking of Hybrid CTL
Symbolic Model Checking of Hybrid CTL
Abstract:
Hybridní logika na výpočetních stromech (HCTL) rozšiřuje temporální logiku CTL. Zvýšená expresivita HCTL nám umožňuje popsat různé obecné strukturní vlastnosti systémů, které nejsou vázány na jejich atomické propozice. Tyto vlastnosti, jako třeba existence oscilace nebo několika různých stabilních stavů, hrají často zásadní roli při analýze biologických systémů. Ve zmíněných biologických systémech …moreAbstract:
Hybrid computation tree logic (HCTL) extends the branching-time temporal logic CTL. The extended expressiveness of HCTL allows specifying general high-level structural properties that are not tied to the system's atomic propositions. These properties, such as the existence of (arbitrary) oscillation or multiple steady states within the system's dynamics, often play a crucial role in analysing biological …more
Language used: English
Date on which the thesis was submitted / produced: 19. 5. 2022
Identifier:
https://is.muni.cz/th/zrf3h/
Thesis defence
- Date of defence: 29. 6. 2022
- Supervisor: prof. RNDr. Luboš Brim, CSc.
- Reader: RNDr. Matej Troják
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 InformaticsBachelor programme / field:
Informatics / Informatics
Theses on a related topic
-
Satisfiability of DQBF Using Binary Decision Diagrams
Juraj Síč -
Generalized asynchronous semantics for Boolean networks
Šimon Ondrejka -
Model Checking Based Parameter Synthesis of Dynamical Systems in Biology
Martin Demko -
Parameter Synthesis of Dynamical Systems via Model Checking
Martin Demko -
Formal Methods for Model Selection in Systems Biology
Matej Hajnal -
Formal Analysis of Rule-Based Models in Systems Biology
Matej Troják -
GUI pro zadávání hypotéz v hybridní logice
Oto Fargaš