Výsledky vyhledávání
- 1.0504815 - ÚI 2021 RIV NL eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR GA15-14484S
Institucionální podpora: RVO:67985807
Klíčová slova: Optimization * Dynamical systems * Boundary value problems * Sequential quadratic programming * Reachability
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 2.760, rok: 2020
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1007/s11081-019-09441-6
Trvalý link: http://hdl.handle.net/11104/0296371 - 2.0498994 - ÚI 2020 RIV US eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR GA15-14484S
Institucionální podpora: RVO:67985807
Klíčová slova: Saddle-point matrix * Symmetric indefinite factorization * Dynamical systems * Sequential quadratic programming
Obor OECD: Applied mathematics
Impakt faktor: 0.988, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1016/j.laa.2018.12.026
Trvalý link: http://hdl.handle.net/11104/0291276 - 3.0487250 - ÚI 2019 RIV US eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR GA15-14484S
Institucionální podpora: RVO:67985807
Klíčová slova: Safety * Robustness * Radio frequency * Differential equations * Tools * Computer science * Controllability
Obor OECD: Robotics and automatic control
Impakt faktor: 5.093, rok: 2018
Trvalý link: http://hdl.handle.net/11104/0281922Název souboru Staženo Velikost Komentář Verze Přístup a0487250.pdf 7 282.8 KB Vydavatelský postprint vyžádat - 4.0459972 - ÚI 2017 RIV US eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR GA15-14484S
Klíčová slova: nonlinear equations * robustness * well groups * computational topology * obstruction theory * homotopy theory
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.724, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0260117Název souboru Staženo Velikost Komentář Verze Přístup a0459972.pdf 26 905.3 KB Vydavatelský postprint vyžádat - 5.0449388 - ÚI 2017 RIV NL eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR GCP202/12/J060; GA MŠMT OC10048; GA ČR GA15-14484S
Institucionální podpora: RVO:67985807
Klíčová slova: decidability * decision procedure * real numbers
Kód oboru RIV: IN - Informatika
Impakt faktor: 1.636, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0250958Název souboru Staženo Velikost Komentář Verze Přístup a0449388.pdf 9 702.4 KB Vydavatelský postprint vyžádat