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.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 - 3.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 - 4.0431141 - ÚI 2015 RIV US eng J - Článek v odborném periodiku
Franek, Peter - Ratschan, Stefan
Effective Topological Degree Computation Based on Interval Arithmetic.
Mathematics of Computation. Roč. 84, č. 293 (2015), s. 1265-1290. ISSN 0025-5718. E-ISSN 1088-6842
Grant CEP: GA ČR GCP202/12/J060
Institucionální podpora: RVO:67985807
Klíčová slova: computational topology * interval computation
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.464, rok: 2015
http://www.ams.org/journals/mcom/0000-000-00/S0025-5718-2014-02877-9/
Trvalý link: http://hdl.handle.net/11104/0235754Název souboru Staženo Velikost Komentář Verze Přístup a0431141.pdf 16 373.1 KB Vydavatelský postprint vyžádat - 5.0430462 - ÚI 2015 RIV CH eng J - Článek v odborném periodiku
Hladík, M. - Ratschan, Stefan
Efficient Solution of a Class of Quantified Constraints with Quantifier Prefix Exists-Forall.
Mathematics in Computer Science. Roč. 8, 3-4 (2014), s. 329-340. ISSN 1661-8289
Grant CEP: GA ČR GCP202/12/J060
Grant ostatní: GA ČR(CZ) GA13-10660S
Institucionální podpora: RVO:67985807
Klíčová slova: constraint solving * decision procedures * interval computation
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0235395 - 6.0423370 - ÚI 2014 RIV US eng J - Článek v odborném periodiku
Ratschan, Stefan
Safety verification of non-linear hybrid systems is quasi-decidable.
Formal Methods in System Design. Roč. 44, č. 1 (2014), s. 71-90. ISSN 0925-9856. E-ISSN 1572-8102
Grant CEP: GA ČR GCP202/12/J060
Institucionální podpora: RVO:67985807
Klíčová slova: hybrid systems * safety verification * decidability * robustness
Kód oboru RIV: IN - Informatika
Impakt faktor: 0.875, rok: 2014
Trvalý link: http://hdl.handle.net/11104/0229467 - 7.0388817 - ÚI 2013 RIV GB eng J - Článek v odborném periodiku
Zhang, J. - She, Z. - Ratschan, Stefan - Hermanns, H. - Hahn, E.M.
Safety Verification for Probabilistic Hybrid Systems.
European Journal of Control. Roč. 18, č. 6 (2012), s. 572-587. ISSN 0947-3580. E-ISSN 1435-5671
Grant CEP: GA MŠMT OC10048; GA ČR GC201/08/J020
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: model checking * hybrid systems * formal verification
Kód oboru RIV: IN - Informatika
Impakt faktor: 1.250, rok: 2012
Trvalý link: http://hdl.handle.net/11104/0217724 - 8.0388517 - ÚI 2013 CH eng J - Článek v odborném periodiku
Ratschan, Stefan - Sturm, T.
Foreword.
Mathematics in Computer Science. Roč. 6, č. 4 (2012), s. 345. ISSN 1661-8289
Institucionální podpora: RVO:67985807
Klíčová slova: editorial
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0217418 - 9.0368960 - ÚI 2012 CH eng J - Článek v odborném periodiku
Fainekos, G. - Goubault, E. - Putot, S. - Ratschan, Stefan
Foreword.
Mathematics in Computer Science. Roč. 5, č. 4 (2011), s. 357-358. ISSN 1661-8289
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: editorial
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0203152 - 10.0351298 - ÚI 2011 RIV US eng J - Článek v odborném periodiku
Ratschan, Stefan - She, Z.
Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions.
SIAM Journal on Control and Optimization. Roč. 48, č. 7 (2010), s. 4377-4394. ISSN 0363-0129. E-ISSN 1095-7138
Grant CEP: GA ČR GC201/08/J020
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: basin of attraction * stability * constraint solving * interval computation * algorithms
Kód oboru RIV: IN - Informatika
Impakt faktor: 1.297, rok: 2010
Trvalý link: http://hdl.handle.net/11104/0191083