Zpět na vyhledávání

Mgr. Martin Demko

Advanced ('rigorózní') thesis

Parameter Synthesis of Dynamical Systems via Model Checking

Parameter Synthesis of Dynamical Systems via Model Checking
Anotácia:
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 …viac
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 …viac
 

Keywords

model checking uncertain parameters systems biology parameter synthesis dynamical systems
 
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 26. 2. 2016
Identifikátor: https://is.muni.cz/th/iz2bt/

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

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

Citační záznam

Citovat tuto práci

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 informatiky
Složka Odkaz na adresář do lokálního úložiště instituce