Rigorózní práce

Parameter Synthesis of Dynamical Systems via Model Checking

Mgr. Martin Demko, učo 325073
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.

Klíčová slova
model checking uncertain parameters systems biology parameter synthesis dynamical systems
Administrativní informace
Práce zkontrolována:
27. 2. 2016 05:40, prof. RNDr. Luboš Brim, CSc.
Plný text práce
1,7 MB / soubor PDF
Jazyk práce
angličtina angličtina
Termín obhajoby
27. 5. 2016
Práce byla úspěšně obhájena

Oponenti

Asst. Prof. Dr. Ezio Bartocci
Vienna University of Technology
Ing. Jan Červený, Ph.D.
ÚVZG AV ČR, Drásov
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Informatika
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.