Segui
Kostiantyn Potomkin
Kostiantyn Potomkin
Email verificata su newcastle.ac.uk
Titolo
Citata da
Citata da
Anno
JuliaReach: a toolbox for set-based reachability
S Bogomolov, M Forets, G Frehse, K Potomkin, C Schilling
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
572019
Reachability analysis of linear hybrid systems via block decomposition
S Bogomolov, M Forets, G Frehse, K Potomkin, C Schilling
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020
82020
Reachability of black-box nonlinear systems after koopman operator linearization
S Bak, S Bogomolov, PS Duggirala, AR Gerlach, K Potomkin
IFAC-PapersOnLine 54 (5), 253-258, 2021
62021
Hybrid Reachability Analysis for Kuramoto-Lanchester Model
K Potomkin
PQDT-Global, 2021
2021
Case Study: Reachability and Scalability in a Unified Combat-Command-and-Control Model
S Bogomolov, M Forets, K Potomkin
International Conference on Reachability Problems, 52-66, 2020
2020
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–5