Articles by Sergiy Bogomolov | Synthical

Synthical

Your space

Profile

Activity

Favorites

Folders

Feeds

Contacts

About

Articles by Sergiy Bogomolov | Synthical

Claim page

Sergiy Bogomolov

Follow

Activity

Upvotes

Folders

Articles

20

Demonstration of High-Efficiency Microwave Heating Producing Record Highly Charged Xenon Ion Beams with Superconducting ECR Ion Sources

14 July 2024 by Xun Wang and others at

Chinese Academy of Sciences

Accelerator Physics, Plasma Physics

Safe Reach Set Computation via Neural Barrier Certificates

29 April 2024 by Alessandro Abate and others at

University of Oxford

Systems and Control, Machine Learning

Online Reachability Analysis and Space Convexification for Autonomous Racing

16 November 2023 by Sergiy Bogomolov and others at

Newcastle University

Multiagent Systems

Development and validation of the numerical model of Electron Cyclotron Resonance Ion Sources

26 April 2022 by Vasily Mironov and others

Plasma Physics, Accelerator Physics

Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization

3 May 2021 by Stanley Bak and others

Systems and Control

Numerical investigations of the minimum-B effect in Electron Cyclotron Resonance Ion Source

16 December 2020 by Vasily Mironov and others

Plasma Physics, Accelerator Physics

On optimization of the metal ion production by Electron Cyclotron Resonance Ion Sources

8 October 2020 by Vasily Mironov and others

Accelerator Physics

Three-dimensional modelling of processes in Electron Cyclotron Resonance Ion Source

20 August 2020 by Vasily Mironov and others

Accelerator Physics, Plasma Physics

Reachability analysis of linear hybrid systems via block decomposition

9 November 2019 by Sergiy Bogomolov and others

Systems and Control, Dynamical Systems

Spatial distributions of plasma potential and density in electron cyclotron resonance ion source

8 September 2019 by Vasily Mironov and others

Plasma Physics, Accelerator Physics

JuliaReach: a Toolbox for Set-Based Reachability

5 March 2019 by Sergiy Bogomolov and others

Systems and Control, Dynamical Systems

Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices

29 January 2018 by Sergiy Bogomolov and others

Systems and Control, Dynamical Systems

Simulations of charge-breeding processes in ECRIS

23 June 2017 by Vasily Mironov and others

Accelerator Physics, Plasma Physics

On Optical Properties Of Ion Beams Extracted From Electron Cyclotron Resonance Ion Source

23 June 2017 by Vasily Mironov and others

Accelerator Physics

Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis

8 April 2017 by Erika Ábrahám and Sergiy Bogomolov at

Australian National University

Systems and Control, Logic in Computer Science

Some Aspects of Electron Dynamics in Electron Cyclotron Resonance Ion Sources

1 February 2017 by Vasily Mironov and others

Instrumenting an SMT Solver to Solve Hybrid Network Reachability Problems

13 September 2016 by Daniel Bryce and others

Artificial Intelligence

Numerical simulations of gas mixing effect in Electron Cyclotron Resonance Ion Sources

25 July 2016 by Vasily Mironov and others

Accelerator Physics

Parallel Reachability Analysis for Hybrid Systems

17 June 2016 by Amit Gurung and others

Distributed, Parallel, and Cluster Computing, Logic in Computer Science

Invariant Clusters for Hybrid Systems

4 May 2016 by Hui Kong and others

Optimization and Control, Systems and Control

Numerical model of Electron Cyclotron Resonance Ion Source

13 July 2015 by Vasily Mironov and others

Accelerator Physics, Plasma Physics

Topics

Accelerator Physics Systems and Control Plasma Physics Logic in Computer Science Dynamical Systems Optimization and Control Software Engineering Machine Learning Multiagent Systems Numerical Analysis Artificial Intelligence Distributed, Parallel, and Cluster Computing