Parameter Synthesis of Dynamical Systems via Model Checking

Mgr. Martin Demko

Rigorózní práce

Anotace:

Biologické systémy často vykazujú veľmi zaujímavé chovanie vychádzajúce z ich komplexnej dynamickej povahy. Každý systém je možno zapísať formou určitého modelu (napr. diferenciálne rovnice), ale práve jeho povaha je často príčinou, že nie je možné presne kvantifikovať (resp. zmerať) všetky aspekty daného systému. Takto vznikajú neznáme parametre, ktoré majú priamy vplyv na chovanie daného systému. A práve oni a ich odhalenie sú predmetom tejto práce.

Abstract:

Biological systems often exhibit very interesting behaviour as a result of their complex dynamical nature. Every system could be described in terms of some model (e.g., differential equations), but some of its quantitative aspects are hard to be measured. We are talking about uncertain parameters which have direct impact on a particular system's behaviour. In particular, these parameters and their investigation are the main objectives of this thesis proposal.

Keywords

model checking, uncertain parameters, systems biology, parameter synthesis, dynamical systems

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 26. 2. 2016

Obhajoba závěrečné práce

• Obhajoba proběhla 27. 5. 2016
• Oponent: Asst. Prof. Dr. Ezio Bartocci, Ing. Jan Červený, Ph.D.

Masarykova univerzita

Fakulta informatiky

Rigorózní řízení / obor:
Informatika / Počítačové systémy