Výsledky vyhledávání
- 1.0473981 - ÚI 2018 IT eng A - Abstrakt
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]
Grant CEP: GA ČR GCP202/12/J060
Institucionální podpora: RVO:67985807
Trvalý link: http://hdl.handle.net/11104/0271078Název souboru Staženo Velikost Komentář Verze Přístup a0473981.pdf 0 402.8 KB Vydavatelský postprint povolen - 2.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
Trvalý link: http://hdl.handle.net/11104/0271076Název souboru Staženo Velikost Komentář Verze Přístup a0473978.pdf 4 1.6 MB Vydavatelský postprint vyžádat - 3.0473970 - ÚI 2018 SE eng A - Abstrakt
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]
Grant CEP: GA ČR GA15-14484S
Institucionální podpora: RVO:67985807
Klíčová slova: ordinary differential equations * safety verification * constraints * constraint solving
Trvalý link: http://hdl.handle.net/11104/0271070Název souboru Staženo Velikost Komentář Verze Přístup a0473970.pdf 0 2 MB Vydavatelský postprint povolen - 4.0380888 - ÚI 2013 CZ eng A - Abstrakt
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]
Grant CEP: GA ČR GCP202/12/J060
Institucionální podpora: RVO:67985807
Klíčová slova: falsification * hybrid dynamical systems * error trajectory * optimization
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0211490Název souboru Staženo Velikost Komentář Verze Přístup 0380888.pdf 1 220.9 KB Vydavatelský postprint povolen