Papers
1
Total Citations
6
H-Index
1
About
Bolun Qi is a researcher in the formal verification and control of cyber-physical systems, with a focus on hybrid systems—those that integrate both continuous and discrete dynamics. Their work addresses critical challenges in modeling and analyzing complex systems such as air traffic control protocols and robotic maneuvers. Qi’s most cited paper, a tutorial on software tools for hybrid systems verification, transformation, and synthesis, introduces key platforms like C2E2, HyST, and TuLiP. This work has garnered 6 citations and serves as an essential guide for researchers and practitioners seeking scalable, powerful tools for hybrid systems analysis. By bridging theoretical advances with practical software, Qi has contributed to making formal verification more accessible and applicable to real-world control systems. Their research continues to support the development of safer, more reliable autonomous and embedded systems, highlighting the importance of rigorous verification in modern engineering.
Research Focus
Key Achievements
Top Papers
- 1