Number of the records: 1
Falsification of Hybrid Dynamical Systems Using Global Optimization Techniques
- 1.
SYSNO ASEP 0473978 Document Type A - Abstract R&D Document Type The record was not marked in the RIV R&D Document Type Není vybrán druh dokumentu Title Falsification of Hybrid Dynamical Systems Using Global Optimization Techniques Author(s) Kuřátko, Jan (UIVT-O) RID, SAI, ORCID
Ratschan, Stefan (UIVT-O) SAI, RID, ORCIDSource Title Proceedings of the XII Global Optimization Workshop Mathematical and Applied Global Optimization. - Almería : Universidad de Almería, 2014 / Casado L.G. ; García I. ; Hendrix E.M.T. - ISBN 978-84-16027-57-6
S. 133-136Number of pages 4 s. Publication form Online - E Action MAGO 2014. Global Optimization Workshop on Mathematical And Applied Global Optimization /12./ Event date 01.09.2014 - 04.09.2014 VEvent location Málaga Country ES - Spain Event type WRD Language eng - English Country ES - Spain Keywords hybrid dynamical systems ; global optimization R&D Projects GCP202/12/J060 GA ČR - Czech Science Foundation (CSF) Institutional support UIVT-O - RVO:67985807 Annotation 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. Workplace Institute of Computer Science Contact Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Year of Publishing 2018
Number of the records: 1