Bc. Milan Kováčik

Bachelor's thesis

Simulation-based analysis of large-scale dynamical systems

Simulation-based analysis of large-scale dynamical systems
Abstract:
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 …more
Abstract:
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 …more
 

Keywords

Trace Linear Temporal Logic Bounded Model Checking Filtering
 
Language used: English
Date on which the thesis was submitted / produced: 3. 1. 2012
Identifier: https://is.muni.cz/th/n9n94/

Thesis defence

  • Date of defence: 2. 2. 2012
  • Supervisor: RNDr. David Šafránek, Ph.D.
  • Reader: Mgr. Sven Dražan

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:
Applied Informatics / Applied Informatics

Theses on a related topic

List of theses with an identical keyword.
All theses