Ratschan Stefan

Publikace ASEP

               

Označit vše / Zobrazit vše / Zrušit označení

Nalezeno záznamů: 8

0431141 - UIVT-O 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
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ý odkaz: http://hdl.handle.net/11104/0235754

Citace, recenze

Citace:
KUBICA, B.J. Parallelization of a bound-consistency enforcing procedure and its application in solving nonlinear systems. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING. ISSN 0743-7315, SEP 2017, vol. 107, p. 57-66.

0449388 - UIVT-O 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
Grant CEP: GA ČR GCP202/12/J060; GA MŠk 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
Ratschan, Stefan
Trvalý odkaz: http://hdl.handle.net/11104/0250958

0430462 - UIVT-O 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
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
Ratschan, Stefan
Trvalý odkaz: http://hdl.handle.net/11104/0235395

0431640 - UIVT-O 2015 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Kuřátko, Jan - Ratschan, Stefan
Combined Global and Local Search for the Falsification of Hybrid Systems.
Formal Modeling and Analysis of Timed Systems. Cham: Springer, 2014 - (Legay, A.; Bozga, M.), s. 146-160. Lecture Notes in Computer Science, 8711. ISBN 978-3-319-10511-6. ISSN 0302-9743.
[FORMATS 2014. International Conference /12./. Florence (IT), 08.09.2014-10.09.2014]
Grant CEP: GA ČR GCP202/12/J060
Institucionální podpora: RVO:67985807
Klíčová slova: hybrid systems * falsification * optimization
Kód oboru RIV: IN - Informatika
Trvalý odkaz: http://hdl.handle.net/11104/0236241

Citace, recenze

Citace:
DESHMUKH, J. - JIN, X.Q. - KAPINSKI, J. - MALER, O. Stochastic Local Search for Falsification of Hybrid Systems. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2015. ISSN 0302-9743, 2015, vol. 9364, p. 500-517.

0461476 - UIVT-O 2017 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Ratschan, Stefan
Computing ODE-Barriers in Hyper-Rectangles.
Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR). Piscataway: IEEE, 2016 - (Ábrahám, E.; Bogomolov, S.), č. článku 7479380. ISBN 978-1-5090-3079-8.
[SNR 2016. International Workshop on Symbolic and Numerical Methods for Reachability Analysis. Vienna (AT), 11.04.2016-11.04.2016]
Grant CEP: GA ČR GA15-14484S
Institucionální podpora: RVO:67985807
Klíčová slova: verification * differential equations
Kód oboru RIV: IN - Informatika
Trvalý odkaz: http://hdl.handle.net/11104/0261121

0487250 - UIVT-O 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
Grant CEP: GA ČR GA15-14484S
Institucionální podpora: RVO:67985807
Klíčová slova: Safety * Robustness * Radio frequency * Differential equations * Tools * Computer science * Controllability
Kód oboru RIV: IN - Informatika
Obor OECD: Robotics and automatic control
Impakt faktor: 5.007, rok: 2017
Trvalý odkaz: http://hdl.handle.net/11104/0281922

0423370 - UIVT-O 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
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ý odkaz: http://hdl.handle.net/11104/0229467

Citace, recenze

Citace:
LIU, J. - ZHAN, N.J. - ZHAO, H.J. - ZOU, L. Abstraction of Elementary Hybrid Systems by Variable Transformation. FM 2015: FORMAL METHODS. ISSN 0302-9743, 2015, vol. 9109, p. 360-377.

0477866 - UIVT-O 2018 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Ratschan, Stefan
Simulation Based Computation of Certificates for Safety of Dynamical Systems.
Formal Modeling and Analysis of Timed Systems. Cham: Springer, 2017 - (Abbate, A.; Geeraerts, G.), s. 303-317. Lecture Notes in Computer Science, 10419. ISBN 978-3-319-65764-6. ISSN 0302-9743.
[FORMATS 2017. International Conference /15./. Berlin (DE), 05.09.2017-07.09.2017]
Grant CEP: GA ČR GA15-14484S
Institucionální podpora: RVO:67985807
Klíčová slova: formal verification * dynamical systems
Kód oboru RIV: IN - Informatika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý odkaz: http://hdl.handle.net/11104/0274082