Sergiy Bogomolov

Available identifiers

zbMath Open bogomolov.sergiyWikidataQ62036520 ScholiaQ62036520MaRDI QIDQ1683443

List of research outcomes

Publication	Date of Publication	Type
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
Falsification of hybrid systems using symbolic reachability and trajectory splicing	2019-10-22	Paper
JuliaReach	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
Eliminating spurious transitions in reachability with support functions	2017-05-19	Paper
Scalable Static Hybridization Methods for Analysis of Nonlinear Systems	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sergiy Bogomolov