Zpět na vyhledávání

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 …more
Abstract:
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
 

Keywords

binary decision diagram Boolean network coloured Kripke structure hybrid CTL model checking systems biology
 
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

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