Počet záznamů: 1
Falsification of Hybrid Dynamical Systems Using Global Optimization Techniques
- 1.0473978 - ÚI 2018 ES eng A - Abstrakt
Kuřátko, Jan - Ratschan, Stefan
Falsification of Hybrid Dynamical Systems Using Global Optimization Techniques.
Proceedings of the XII Global Optimization Workshop Mathematical and Applied Global Optimization. Almería: Universidad de Almería, 2014 - (Casado, L.; García, I.; Hendrix, E.). s. 133-136. ISBN 978-84-16027-57-6.
[MAGO 2014. Global Optimization Workshop on Mathematical And Applied Global Optimization /12./. 01.09.2014-04.09.2014, Málaga]
Grant CEP: GA ČR GCP202/12/J060
Institucionální podpora: RVO:67985807
Klíčová slova: hybrid dynamical systems * global optimization
www.hpca.ual.es/~MAGO14/MAGO14-Proceedings.pdf#page=142
A hybrid dynamical system is a dynamical system that shows both continuous and discrete state and behavior. In our talk we will discuss the usage of global optimization techniques for solving the problem of finding a trajectory that leaves a given set of states considered to be safe. Unlike other known methods, we do not restrict our search to trajectories of a certain bounded length. The algorithm combines local with global search for achieving both efficiency and global convergence, and exploits derivatives for efficient computation.
Trvalý link: http://hdl.handle.net/11104/0271076
Název souboru Staženo Velikost Komentář Verze Přístup a0473978.pdf 4 1.6 MB Vydavatelský postprint vyžádat
Počet záznamů: 1