Sergiy Bogomolov

MaRDI QIDQ1683443zbMATH OpenORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A refinement-based formal development of cyber-physical railway signalling systems Formal Aspects of Computing	2024-09-25	Paper
Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version) Information and Computation	2022-12-08	Paper
Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement	2022-12-07	Paper
Reachability analysis and simulation for hybridised Event-B models	2022-08-19	Paper
Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing Nonlinear Analysis. Hybrid Systems	2021-12-13	Paper
Case study: reachability and scalability in a unified combat-command-and-control model	2021-07-06	Paper
Reachability analysis of nonlinear systems using hybridization and dynamics scaling	2021-03-02	Paper
Counterexample-Guided Refinement of Template Polyhedra Tools and Algorithms for the Construction and Analysis of Systems	2020-08-05	Paper
JuliaReach Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control	2019-10-22	Paper
Falsification of hybrid systems using symbolic reachability and trajectory splicing Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control	2019-10-22	Paper
JuliaReach: a Toolbox for Set-Based Reachability (available as arXiv preprint)	2019-01-30	Paper
Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)	2018-12-06	Paper
Conic abstractions for hybrid systems	2017-12-01	Paper
Time-triggered conversion of guards for reachability analysis of hybrid automata	2017-12-01	Paper
HYST: a source transformation and translation tool for hybrid automaton models Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control	2017-05-19	Paper
Scalable static hybridization methods for analysis of nonlinear systems Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control	2017-05-19	Paper
Eliminating spurious transitions in reachability with support functions Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control	2017-05-19	Paper
Quasi-dependent variables in hybrid automata Proceedings of the 17th international conference on Hybrid systems: computation and control	2017-05-16	Paper
Composing reachability analyses of hybrid systems for safety and stability Automated Technology for Verification and Analysis	2010-10-04	Paper

Research outcomes over time

This page was built for person: Sergiy Bogomolov