Sergiy Bogomolov

Available identifiers

zbMath Open bogomolov.sergiyWikidataQ62036520 ScholiaQ62036520MaRDI QIDQ1683443

List of research outcomes

Publication	Date of Publication	Type
A refinement-based formal development of cyber-physical railway signalling systems	2024-09-25	Paper
Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)	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	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	2020-08-05	Paper
JuliaReach	2019-10-22	Paper
Falsification of hybrid systems using symbolic reachability and trajectory splicing	2019-10-22	Paper
JuliaReach: a Toolbox for Set-Based Reachability	2019-01-30	Paper
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices	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	2017-05-19	Paper
Scalable Static Hybridization Methods for Analysis of Nonlinear Systems	2017-05-19	Paper
Eliminating spurious transitions in reachability with support functions	2017-05-19	Paper
Quasi-dependent variables in hybrid automata	2017-05-16	Paper
Composing Reachability Analyses of Hybrid Systems for Safety and Stability	2010-10-04	Paper

Research outcomes over time

This page was built for person: Sergiy Bogomolov