Ivo Jansen

Papers

Total Citations

H-Index

About

Ivo Jansen is a robotics researcher whose work centers on the formal synthesis of safe and robust controllers for autonomous systems. His primary research areas include reach control theory, piecewise affine feedback systems, and high-level control specification for robotic maneuvers. Jansen’s most notable contribution is his development of a rigorous framework for synthesizing piecewise affine feedback controllers that guarantee both safety and robustness, directly addressing the challenge of translating high-level control specifications into provably correct low-level robot actions. His foundational paper, "Safe and robust robot maneuvers based on reach control" (2016, 11 citations), introduces a methodology that formulates complex robotic tasks as a collection of reach control problems, enabling the design of controllers that can navigate dynamic environments while adhering to strict safety constraints. Though his citation count is modest, Jansen’s work is highly regarded for its theoretical depth and practical implications in autonomous navigation and human-robot interaction. His research provides a critical bridge between formal verification methods and real-world robotic applications, making him a key figure in the advancement of certifiably safe autonomous systems.