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.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 - 3.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 - 4.0431141 - ÚI 2015 RIV US eng J - Journal Article
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
R&D Projects: GA ČR GCP202/12/J060
Institutional support: RVO:67985807
Keywords : computational topology * interval computation
Subject RIV: BA - General Mathematics
Impact factor: 1.464, year: 2015
http://www.ams.org/journals/mcom/0000-000-00/S0025-5718-2014-02877-9/
Permanent Link: http://hdl.handle.net/11104/0235754File Download Size Commentary Version Access a0431141.pdf 16 373.1 KB Publisher’s postprint require - 5.0430462 - ÚI 2015 RIV CH eng J - Journal Article
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
R&D Projects: GA ČR GCP202/12/J060
Grant - others:GA ČR(CZ) GA13-10660S
Institutional support: RVO:67985807
Keywords : constraint solving * decision procedures * interval computation
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0235395 - 6.0423370 - ÚI 2014 RIV US eng J - Journal Article
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
R&D Projects: GA ČR GCP202/12/J060
Institutional support: RVO:67985807
Keywords : hybrid systems * safety verification * decidability * robustness
Subject RIV: IN - Informatics, Computer Science
Impact factor: 0.875, year: 2014
Permanent Link: http://hdl.handle.net/11104/0229467 - 7.0388817 - ÚI 2013 RIV GB eng J - Journal Article
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
R&D Projects: GA MŠMT OC10048; GA ČR GC201/08/J020
Institutional research plan: CEZ:AV0Z10300504
Keywords : model checking * hybrid systems * formal verification
Subject RIV: IN - Informatics, Computer Science
Impact factor: 1.250, year: 2012
Permanent Link: http://hdl.handle.net/11104/0217724 - 8.0388517 - ÚI 2013 CH eng J - Journal Article
Ratschan, Stefan - Sturm, T.
Foreword.
Mathematics in Computer Science. Roč. 6, č. 4 (2012), s. 345. ISSN 1661-8289
Institutional support: RVO:67985807
Keywords : editorial
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0217418 - 9.0368960 - ÚI 2012 CH eng J - Journal Article
Fainekos, G. - Goubault, E. - Putot, S. - Ratschan, Stefan
Foreword.
Mathematics in Computer Science. Roč. 5, č. 4 (2011), s. 357-358. ISSN 1661-8289
Institutional research plan: CEZ:AV0Z10300504
Keywords : editorial
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0203152 - 10.0351298 - ÚI 2011 RIV US eng J - Journal Article
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
R&D Projects: GA ČR GC201/08/J020
Institutional research plan: CEZ:AV0Z10300504
Keywords : basin of attraction * stability * constraint solving * interval computation * algorithms
Subject RIV: IN - Informatics, Computer Science
Impact factor: 1.297, year: 2010
Permanent Link: http://hdl.handle.net/11104/0191083