Počet záznamů: 1
Computing ODE-Barriers in Hyper-Rectangles
- 1.0461476 - ÚI 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
In this paper we develop a computationally cheap, but incomplete method for computing barriers of ordinary differential equations. We consider a barrier of an ODE to be a subset of the state-space such that no trajectory of the ODE can start inside of the barrier and end outside. We compute barriers that may serve as a certificate that no trajectory may lead from a given face of a hyper-rectangle to the opposite face. Such a method can be useful for more involved techniques for analyzing dynamical systems, especially for techniques based on abstraction.
Trvalý link: http://hdl.handle.net/11104/0261121
Název souboru Staženo Velikost Komentář Verze Přístup a0461476.pdf 0 221.6 KB Vydavatelský postprint vyžádat
Počet záznamů: 1