Výsledky vyhledávání
- 1.0560723 - ÚI 2023 eng A3 - Přednáška/prezentace nepublikovaná
Ratschan, Stefan
Non-Linear Real Arithmetic with Transcendental Function Symbols: Undecidable but Easy? Keynote Speaker.
[International Workshop on Satisfiability Checking and Symbolic Computation /7./. Haifa, 12.08.2022-12.08.2022]
Způsob prezentace: Zvaná přednáška
URL akce: http://www.sc-square.org/CSA/workshop7.html
Institucionální podpora: RVO:67985807
Trvalý link: https://hdl.handle.net/11104/0333576 - 2.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 - 3.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 - 4.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 - 5.0459689 - ÚI 2017 RIV CH eng A - Abstrakt
Ratschan, Stefan
Decidability from a Numerical Point of View.
Mathematical Aspects of Computer and Information Sciences. Springer, 2016 - (Kotsireas, I.; Rump, S.; Yao, C.). XVI-XVI. ISBN 978-3-319-32858-4. ISSN 0302-9743.
[MACIS 2015. International Conference on Mathematical Aspects of Computer and Information Sciences /6./. 11.11.2015-13.11.2015, Berlin]
Grant CEP: GA ČR GA15-14484S
Institucionální podpora: RVO:67985807
Klíčová slova: decidability * numerical computation
Kód oboru RIV: IN - Informatika
http://macis2015.zib.de/invited.html
Trvalý link: http://hdl.handle.net/11104/0259862Název souboru Staženo Velikost Komentář Verze Přístup a0459689 Ratschan.pdf 6 47.6 KB Vydavatelský postprint povolen - 6.0446030 - ÚI 2016 GB eng A - Abstrakt
Kuřátko, J. - Ratschan, Stefan
Application of the SQP method for finding error trajectories of a dynamical system.
26th Biennial Conference on Numerical Analysis. Glasgow: University of Strathclyde, 2015. s. 47-47.
[Biennial Conference on Numerical Analysis /26./. 23.06.2015-26.06.2015, Glasgow]
Institucionální podpora: RVO:67985807
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0248519Název souboru Staženo Velikost Komentář Verze Přístup a0446030.pdf 2 3.5 MB Vydavatelský postprint povolen - 7.0334000 - ÚI 2010 US eng A - Abstrakt
Ratschan, Stefan
Symbolic-Numeric Problems in the Automatic Analysis and Verification of Cyber-Physical Systems.
[Symbolické-numerické problémy v automatické analýze a verifikaci kyber-fyzikálních systémů.]
SNC '09: Proceedings of the 2009 conference on Symbolic numeric computation. New York: ACM, 2009 - (Kai, H.; Sekigawa, H.). s. 7-7. ISBN 978-1-60558-664-9.
[SNC2009. International Workshop on Symbolic-Numeric Computation /3./. 03.08.2009-05.08.2009, Kyoto]
Grant CEP: GA ČR GC201/08/J020
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: algorithms * design * reliability * verification
Kód oboru RIV: IN - Informatika
https://dl.acm.org/doi/proceedings/10.1145/1577190#sec1
Trvalý link: http://hdl.handle.net/11104/0178847