Zpět na vyhledávání

Bc. Jan Papoušek, Ph.D.

Master's thesis

Analýza robustnosti spojitých dynamických systémů v distribuovaném prostředí

Robustness analysis of continuous-time dynamical systems in distributed environment
Abstract:
Práce prezentuje algoritmus pro analýzu dynamických systémů zadaných pomocí soustavy obyčejných diferenciálních rovnic vzhledem k chování charakterizovanému vlastností temporální logiky signálů. Výsledkem analýzy je představa o tom, jakým způsobem ovlivňují změny modelu jeho chování. Popisovaná metoda se zakládá na již existujícím algoritmu a výpočtu lokální robustnosti. Algoritmus byl implementován …more
Abstract:
The work presents an algorithm for the analysis of dynamic systems specified by ordinary differential equations. The system behavior is characterized by the formula of signal temporal logic. The result of the analysis is the idea of how the changes affect the model's behavior. The described method is based on an existing algorithm and calculation of local robustnes. The implementation of the algorithm …more
 

Keywords

dynamický systém soustava diferenciálních rovnic STL monitoring analýza vlastnosti robustnost
 
Language used: Czech
Date on which the thesis was submitted / produced: 27. 5. 2013
Identifier: https://is.muni.cz/th/ui3u5/

Thesis defence

  • Date of defence: 28. 6. 2013
  • 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