Simulation-based analysis of large-scale dynamical systems – Bc. Milan Kováčik
Bc. Milan Kováčik
Bachelor's thesis
Simulation-based analysis of large-scale dynamical systems
Simulation-based analysis of large-scale dynamical systems
Anotácia:
Tato práce pojednává o model checkingu vlastností trajektorií dynamických systémů, zadaných jako formule lineární temporální logiky. Zavádí přístup založený na filtrování, který za pomoci bounded model checkingu snižuje výpočetní náročnost tohoto problému tím, že využívá deterministické povahy těchto systémů. Motivací je analýza experimentálních nebo simulačních dat, pocházejících z komplexních biologických …viacAbstract:
This thesis targets model checking of properties expressed as linear temporal logic formulae over a dynamical system trace. A filter-based approach is introduced that -- with the help of bounded model checking -- relaxes computational complexity of the problem by exploiting the deterministic nature of these systems. The motivation behind is analysis of experimental or simulation data considering large …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 3. 1. 2012
Identifikátor:
https://is.muni.cz/th/n9n94/
Obhajoba závěrečné práce
- Obhajoba proběhla 2. 2. 2012
- Vedúci: RNDr. David Šafránek, Ph.D.
- Oponent: Mgr. Sven Dražan
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 informatikyMasaryk University
Faculty of InformaticsBachelor programme / odbor:
Applied Informatics / Applied Informatics
Práce na příbuzné téma
-
Bounded model checking v nástroji Java PathFinder
Vendula Dudka -
Linear Temporal Logic and omega-automata
František Blahoudek -
Translation of Linear Temporal Logic to Omega-Automata
Tomáš Babiak -
Runtime Verification of Linear Temporal Specifications with Degradation
Tomáš Staňa -
Control Strategy Synthesis for Path Planning under Temporal Constraints
Mária Svoreňová -
Temporal attribute implications
Jan TŘÍSKA -
Quantitative Linear-Time Model Checking
Jana Tůmová -
Almost linear Bűchi automata
Tomáš Babiak