Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Potomkin, Kostiantyn"'
Autor:
Abate, Alessandro, Bogomolov, Sergiy, Edwards, Alec, Potomkin, Kostiantyn, Soudjani, Sadegh, Zuliani, Paolo
We present a novel technique for online safety verification of autonomous systems, which performs reachability analysis efficiently for both bounded and unbounded horizons by employing neural barrier certificates. Our approach uses barrier certificat
Externí odkaz:
http://arxiv.org/abs/2404.18813
Autor:
Bak, Stanley, Bogomolov, Sergiy, Duggirala, Parasara Sridhar, Gerlach, Adam R., Potomkin, Kostiantyn
Reachability analysis of nonlinear dynamical systems is a challenging and computationally expensive task. Computing the reachable states for linear systems, in contrast, can often be done efficiently in high dimensions. In this paper, we explore veri
Externí odkaz:
http://arxiv.org/abs/2105.00886
Autor:
Bogomolov, Sergiy, Forets, Marcelo, Frehse, Goran, Potomkin, Kostiantyn, Schilling, Christian
Publikováno v:
EMSOFT 2020 / IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (2020)
Reachability analysis aims at identifying states reachable by a system within a given time horizon. This task is known to be computationally expensive for linear hybrid systems. Reachability analysis works by iteratively applying continuous and discr
Externí odkaz:
http://arxiv.org/abs/1905.02458
Autor:
Bogomolov, Sergiy, Forets, Marcelo, Frehse, Goran, Potomkin, Kostiantyn, Schilling, Christian
Publikováno v:
HSCC 2019
We present JuliaReach, a toolbox for set-based reachability analysis of dynamical systems. JuliaReach consists of two main packages: Reachability, containing implementations of reachability algorithms for continuous and hybrid systems, and LazySets,
Externí odkaz:
http://arxiv.org/abs/1901.10736
Autor:
Abate, Alessandro, Bogomolov, Sergiy, Edwards, Alec, Potomkin, Kostiantyn, Soudjani, Sadegh, Zuliani, Paolo
Publikováno v:
IFAC-PapersOnLine; January 2024, Vol. 58 Issue: 11 p107-114, 8p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Bogomolov, Sergiy, Forets, Marcelo, Frehse, Goran, Potomkin, Kostiantyn, Schilling, Christian
Publikováno v:
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=sygma_______::06ec6f65d23d8763f12b15d6df63d663