Search results
- 1.0473981 - ÚI 2018 IT eng A - Abstract
Kuřátko, Jan - Ratschan, Stefan
Global Multiple Shooting for Hybrid Dynamical Systems.
ECMI 2014 Abstracts. Taormina: TaoSciences Research Center, 2014. s. 626-627.
[ECMI 2014. Mini-Symposium on Optimization and Optimization-based Control Methods for Industrial Applications /18./. 09.06.2014-13.06.2014, Taormina]
R&D Projects: GA ČR GCP202/12/J060
Institutional support: RVO:67985807
Permanent Link: http://hdl.handle.net/11104/0271078File Download Size Commentary Version Access a0473981.pdf 0 402.8 KB Publisher’s postprint open-access - 2.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
Permanent Link: http://hdl.handle.net/11104/0271076File Download Size Commentary Version Access a0473978.pdf 4 1.6 MB Publisher’s postprint require - 3.0473970 - ÚI 2018 SE eng A - Abstract
Franek, Peter - Kuřátko, Jan - Ratschan, Stefan
Safety Verification By Interval Based Quantified Constraint Solving,.
SCAN 2016. Book of Abstracts. Uppsala University, 2016. s. 107-108.
[SCAN 2016. International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics /17./. 26.09.2016-29.09.2016, Uppsala]
R&D Projects: GA ČR GA15-14484S
Institutional support: RVO:67985807
Keywords : ordinary differential equations * safety verification * constraints * constraint solving
Permanent Link: http://hdl.handle.net/11104/0271070File Download Size Commentary Version Access a0473970.pdf 0 2 MB Publisher’s postprint open-access - 4.0380888 - ÚI 2013 CZ eng A - Abstract
Kuřátko, Jan
Falsification of Hybrid Systems.
Doktorandské dny '12. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2012 - (Kuželová, D.; Hakl, F.). s. 41-41. ISBN 978-80-7278-217-7.
[Doktorandské dny 2012 Ústavu informatiky AV ČR, v. v. i. 24.09.2012-26.09.2012, Jizerka]
R&D Projects: GA ČR GCP202/12/J060
Institutional support: RVO:67985807
Keywords : falsification * hybrid dynamical systems * error trajectory * optimization
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0211490File Download Size Commentary Version Access 0380888.pdf 1 220.9 KB Publisher’s postprint open-access