Search results
- 1.0504815 - ÚI 2021 RIV NL eng J - Journal Article
Kuřátko, Jan - Ratschan, Stefan
Solving Reachability Problems by a Scalable Constrained Optimization Method.
Optimization and Engineering. Roč. 21, č. 1 (2020), s. 215-239. ISSN 1389-4420. E-ISSN 1573-2924
R&D Projects: GA ČR GA15-14484S
Institutional support: RVO:67985807
Keywords : Optimization * Dynamical systems * Boundary value problems * Sequential quadratic programming * Reachability
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 2.760, year: 2020
Method of publishing: Limited access
http://dx.doi.org/10.1007/s11081-019-09441-6
Permanent Link: http://hdl.handle.net/11104/0296371 - 2.0498994 - ÚI 2020 RIV US eng J - Journal Article
Kuřátko, Jan
Factorization of Saddle-point Matrices in Dynamical Systems Optimization - Reusing Pivots.
Linear Algebra and Its Applications. Roč. 566, 1 April (2019), s. 61-85. ISSN 0024-3795. E-ISSN 1873-1856
R&D Projects: GA ČR GA15-14484S
Institutional support: RVO:67985807
Keywords : Saddle-point matrix * Symmetric indefinite factorization * Dynamical systems * Sequential quadratic programming
OECD category: Applied mathematics
Impact factor: 0.988, year: 2019
Method of publishing: Limited access
http://dx.doi.org/10.1016/j.laa.2018.12.026
Permanent Link: http://hdl.handle.net/11104/0291276 - 3.0487250 - ÚI 2019 RIV US eng J - Journal Article
Ratschan, Stefan
Converse Theorems for Safety and Barrier Certificates.
IEEE Transactions on Automatic Control. Roč. 63, č. 8 (2018), s. 2628-2632. ISSN 0018-9286. E-ISSN 1558-2523
R&D Projects: GA ČR GA15-14484S
Institutional support: RVO:67985807
Keywords : Safety * Robustness * Radio frequency * Differential equations * Tools * Computer science * Controllability
OECD category: Robotics and automatic control
Impact factor: 5.093, year: 2018
Permanent Link: http://hdl.handle.net/11104/0281922File Download Size Commentary Version Access a0487250.pdf 7 282.8 KB Publisher’s postprint require - 4.0459972 - ÚI 2017 RIV US eng J - Journal Article
Franek, Peter - Krčál, M.
On Computability and Triviality of Well Groups.
Discrete & Computational Geometry. Roč. 56, č. 1 (2016), s. 126-164. ISSN 0179-5376. E-ISSN 1432-0444
R&D Projects: GA ČR GA15-14484S
Keywords : nonlinear equations * robustness * well groups * computational topology * obstruction theory * homotopy theory
Subject RIV: BA - General Mathematics
Impact factor: 0.724, year: 2016
Permanent Link: http://hdl.handle.net/11104/0260117File Download Size Commentary Version Access a0459972.pdf 26 905.3 KB Publisher’s postprint require - 5.0449388 - ÚI 2017 RIV NL eng J - Journal Article
Franek, Peter - Ratschan, Stefan - Zgliczynski, P.
Quasi-Decidability of a Fragment of the First-Order Theory of Real Numbers.
Journal of Automated Reasoning. Roč. 57, č. 2 (2016), s. 157-185. ISSN 0168-7433. E-ISSN 1573-0670
R&D Projects: GA ČR GCP202/12/J060; GA MŠMT OC10048; GA ČR GA15-14484S
Institutional support: RVO:67985807
Keywords : decidability * decision procedure * real numbers
Subject RIV: IN - Informatics, Computer Science
Impact factor: 1.636, year: 2016
Permanent Link: http://hdl.handle.net/11104/0250958File Download Size Commentary Version Access a0449388.pdf 9 702.4 KB Publisher’s postprint require