Sergiy Bogomolov

From MaRDI portal
Person:1683443

Available identifiers

zbMath Open bogomolov.sergiyWikidataQ62036520 ScholiaQ62036520MaRDI QIDQ1683443

List of research outcomes





PublicationDate of PublicationType
A refinement-based formal development of cyber-physical railway signalling systems2024-09-25Paper
Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)2022-12-08Paper
Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement2022-12-07Paper
Reachability analysis and simulation for hybridised Event-B models2022-08-19Paper
Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing2021-12-13Paper
Case study: reachability and scalability in a unified combat-command-and-control model2021-07-06Paper
Reachability analysis of nonlinear systems using hybridization and dynamics scaling2021-03-02Paper
Counterexample-Guided Refinement of Template Polyhedra2020-08-05Paper
JuliaReach2019-10-22Paper
Falsification of hybrid systems using symbolic reachability and trajectory splicing2019-10-22Paper
JuliaReach: a Toolbox for Set-Based Reachability2019-01-30Paper
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices2018-12-06Paper
Conic abstractions for hybrid systems2017-12-01Paper
Time-triggered conversion of guards for reachability analysis of hybrid automata2017-12-01Paper
HYST2017-05-19Paper
Scalable Static Hybridization Methods for Analysis of Nonlinear Systems2017-05-19Paper
Eliminating spurious transitions in reachability with support functions2017-05-19Paper
Quasi-dependent variables in hybrid automata2017-05-16Paper
Composing Reachability Analyses of Hybrid Systems for Safety and Stability2010-10-04Paper

Research outcomes over time

This page was built for person: Sergiy Bogomolov