Zpět na vyhledávání

Mgr. Samuel Pastva

Bachelor's thesis

Škálovatelná syntéza parametrů pro hypotézy formulované v logice CTL

Scalable Parameter Synthesis from CTL Hypotheses
Abstract:
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ž …more
Abstract:
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 …more
 

Keywords

Coloured Model Checking CTL Distributed Memory Parameter Synthesis Problem Systems Biology ODE Model Thomas Network Farebné Overovanie Modelov Distribuovaná Pamäť Problém Syntézy Parametrov Systémová Biológia
 
Language used: English
Date on which the thesis was submitted / produced: 18. 5. 2015
Identifier: https://is.muni.cz/th/eby8h/

Thesis defence

  • Date of defence: 17. 6. 2015
  • Supervisor: prof. RNDr. Luboš Brim, CSc.
  • Reader: RNDr. David Šafránek, Ph.D.

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

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Informatics / Parallel and Distributed Systems

Theses on a related topic

List of theses with an identical keyword.
All theses