Khalil Ghorbal

Carnegie Mellon University, Centre Inria de l'Université de Rennes

Papers

Total Citations

112

H-Index

About

Khalil Ghorbal is a leading researcher in formal methods and control theory, with a focus on ensuring the safety and reliability of autonomous and cyber-physical systems. His work bridges rigorous mathematical modeling with practical verification, particularly in the domain of robotic motion planning. Ghorbal's most influential contribution is his seminal 2013 paper, "On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles," which has garnered 91 citations. This work formally addresses the critical challenge of guaranteeing safe navigation in dynamic environments, establishing provable safety properties for robots operating in close proximity to humans—a foundational step for modern autonomous systems. He has also advanced the theoretical understanding of multi-mode differential-algebraic equations (DAEs), as demonstrated in his 2019 paper (21 citations), tackling the complexities of hybrid system modeling. Ghorbal's research is characterized by its deep integration of formal verification with control design, offering rigorous guarantees that are essential for deploying autonomous technologies in safety-critical applications. His contributions continue to shape how researchers approach the verification of intelligent, interactive robotic systems.