Škálovatelná syntéza parametrů pro hypotézy formulované v logice CTL – Mgr. Samuel Pastva
Mgr. Samuel Pastva
Bakalářská práce
Škálovatelná syntéza parametrů pro hypotézy formulované v logice CTL
Scalable Parameter Synthesis from CTL Hypotheses
Anotace:
Hlavným cieľom tejto práce je navrhnúť a implementovať paralelný algoritmus pre výpočet problému syntézy parametrov pre biochemické systémy a CTL hypotézy operujúci v distribuovanej pamäti. Výsledný algoritmus je založený na farebnom CTL overovaní modelov. Aplikovateľnosť a škálovateľnosť algoritmu sú demonštrované na biochemických modeloch založených na obyčajných diferenciálnych rovniciach. Taktiež …víceAbstract:
The main goal of this thesis is to design and implement a parallel and distributed memory algorithm for computing the parameter synthesis problem for biochemical systems and CTL hypotheses. The resulting algorithm is based on coloured CTL model checking. The applicability and scalability of the algorithm is successfully demonstrated on biochemical models based on ordinary differential equations. We …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 18. 5. 2015
Identifikátor:
https://is.muni.cz/th/eby8h/
Obhajoba závěrečné práce
- Obhajoba proběhla 17. 6. 2015
- Vedoucí: prof. RNDr. Luboš Brim, CSc.
- Oponent: RNDr. David Šafránek, 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 informatikyMasarykova univerzita
Fakulta informatikyBakalářský studijní program / obor:
Informatika / Paralelní a distribuované systémy
Práce na příbuzné téma
-
Model Checking Based Parameter Synthesis of Dynamical Systems in Biology
Martin Demko -
Parameter Synthesis for Systems with Real Time
Peter Bezděk -
Parameter Synthesis for Systems with Real Time
Peter Bezděk -
Parameter Synthesis in Continuous-Time Stochastic Systems
Ľuboš Korenčiak -
Parallel Parameter Synthesis for Hybrid Systems
Eva Šmijáková -
Model Checking Based Parameter Synthesis of Dynamical Systems in Biology
Martin Demko -
Parallel Parameter Synthesis for Hybrid Systems
Eva Šmijáková -
Symbolic Model Checking of Hybrid CTL
Ondřej Huvar