Certified Control Synthesis for Robotic Systems

Ensuring robotic systems' safety, stability, and performance in dynamic and uncertain environments is a critical challenge in modern robotics. Certified control synthesis provides a principled framework to address these challenges by integrating formal methods, control theory, and machine learning to derive controllers with rigorous guarantees. This workshop will bring together researchers and practitioners to explore cutting-edge techniques for synthesizing certified controllers, with applications spanning autonomous vehicles, robotic manipulators, and human-robot interaction systems. 

Participants will explore the theoretical foundations and practical applications of certified control synthesis, including control barrier functions, reachability analysis, and compositional design. Through case studies, poster sessions, and discussions, attendees will gain tools to apply these methods in their work. Targeted at researchers, engineers, and students, the workshop fosters collaboration to advance adaptive and certifiably safe robotic systems. 

Invited Speakers

Organizers