Search results
- 1.0560723 - ÚI 2023 eng A - Abstract
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]
Method of presentation: Zvaná přednáška
URL events: http://www.sc-square.org/CSA/workshop7.html
Institutional support: RVO:67985807
Permanent Link: https://hdl.handle.net/11104/0333576 - 2.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 - 3.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 - 4.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 - 5.0459689 - ÚI 2017 RIV CH eng A - Abstract
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]
R&D Projects: GA ČR GA15-14484S
Institutional support: RVO:67985807
Keywords : decidability * numerical computation
Subject RIV: IN - Informatics, Computer Science
http://macis2015.zib.de/invited.html
Permanent Link: http://hdl.handle.net/11104/0259862File Download Size Commentary Version Access a0459689 Ratschan.pdf 6 47.6 KB Publisher’s postprint open-access - 6.0446030 - ÚI 2016 GB eng A - Abstract
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]
Institutional support: RVO:67985807
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0248519File Download Size Commentary Version Access a0446030.pdf 2 3.5 MB Publisher’s postprint open-access - 7.0334000 - ÚI 2010 US eng A - Abstract
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]
R&D Projects: GA ČR GC201/08/J020
Institutional research plan: CEZ:AV0Z10300504
Keywords : algorithms * design * reliability * verification
Subject RIV: IN - Informatics, Computer Science
https://dl.acm.org/doi/proceedings/10.1145/1577190#sec1
Permanent Link: http://hdl.handle.net/11104/0178847