Sergiy Bogomolov
Papers
2
Total Citations
10
H-Index
2
About
Sergiy Bogomolov is a leading researcher in the verification and control of cyber-physical systems (CPS), with a particular focus on hybrid systems—those that blend continuous physical dynamics with discrete computational logic. His work is central to ensuring the safety and reliability of autonomous systems, from robotic maneuvers to air traffic control protocols. Bogomolov has made major contributions by developing and advancing software tools that make formal verification more accessible and scalable. Notably, he co-authored the influential tutorial on C2E2, HyST, and TuLiP, which has become a key resource for researchers and engineers seeking to verify, transform, and synthesize hybrid systems. He also co-organized the Dagstuhl Seminar 16491 on symbolic-numeric methods for CPS, fostering cross-fertilization between verification, control, and numerical analysis. While specific citation counts are modest, the impact of his work is amplified through these widely-used tools and educational resources. Bogomolov’s research bridges theory and practice, equipping the next generation of engineers with the rigorous methods needed to build trustworthy autonomous systems.
Research Focus
Key Achievements
Top Papers
- 1
- 2