Sergiy Bogomolov
Newcastle University
H-index: 19
Europe-United Kingdom
Top articles of Sergiy Bogomolov
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
A refinement-based formal development of cyber-physical railway signalling systems | Formal Aspects of Computing | Yamine Aït-Ameur Sergiy Bogomolov Guillaume Dupont Alexei Iliasov Alexander Romanovsky | 2023/1/12 |
Decomposing Reach Set Computations with Low-dimensional Sets and High-dimensional Matrices (extended version) | Information and Computation | Sergiy Bogomolov Marcelo Forets Goran Frehse Andreas Podelski Christian Schilling | 2022/11/1 |
Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings | Sergiy Bogomolov | 2022 | |
Data-Driven Reachability Analysis of Digital Twin FMI Models | Sergiy Bogomolov John Fitzgerald Sadegh Soudjani Paulius Stankaitis | 2022/10/17 | |
Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement | Stanley Bak Sergiy Bogomolov Brandon Hencey Niklas Kochdumper Ethan Lew | 2022/8/7 | |
Reachability Analysis and Simulation for Hybridised Event-B Models | Yamine Aït-Ameur Sergiy Bogomolov Guillaume Dupont Neeraj Kumar Singh Paulius Stankaitis | 2022 | |
Runtime Assurance for Autonomous Driving with Neural Reachability | Sergiy Bogomolov Abdelrahman Hekal Bardh Hoxha Tomoya Yamaguchi | 2022/10/8 | |
Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing | Nonlinear Analysis: Hybrid Systems | Sergiy Bogomolov Goran Frehse Amit Gurung Dongxu Li Georg Martius | 2021/11/1 |
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization | IFAC-PapersOnLine | Stanley Bak Sergiy Bogomolov Parasara Sridhar Duggirala Adam R Gerlach Kostiantyn Potomkin | 2021/1/1 |
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | Hendrik Decker Lenka Lhotská Sebastian Link Josef Basl A Tjoa | 2013/8/26 | |
Tuning Robotti: the Machine-assisted Exploration of Parameter Spaces in Multi-Models of a Cyber-Physical System | Proceedings of the 18th International Overture Workshop | Sergiy Bogomolov John Fitzgerald Frederik F Foldager Carl Gamble Peter Gorm Larsen | 2021/1 |
Safety Verification for Random Ordinary Differential Equations | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | Bai Xue Martin Fränzle Naijun Zhan Sergiy Bogomolov Bican Xia | 2020/10/2 |
Reachability analysis of nonlinear systems using hybridization and dynamics scaling: Proofs | arXiv preprint arXiv:2304.06827 | Jacob A Siefert Trevor J Bird Justin P Koeln Neera Jain Herschel C Pangborn | 2023/4/13 |
Safety Verification for Impulsive Systems | IFAC-PapersOnLine | Petro Feketa Sergiy Bogomolov Thomas Meurer | 2020/1/1 |
Case Study: Reachability and Scalability in a Unified Combat-Command-and-Control Model | Sergiy Bogomolov Marcelo Forets Kostiantyn Potomkin | 2020 |