Falsification of Hybrid Dynamical Systems Using Global Optimization Techniques

0473978 - ÚI 2018 ES eng A - Abstract
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]
R&D Projects: GA ČR GCP202/12/J060
Institutional support: RVO:67985807
Keywords : 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.
Permanent Link: http://hdl.handle.net/11104/0271076