Dear Colleagues,
We are delighted to invite you to the upcoming workshop on Certified Control Synthesis for Robotic Systems, taking place on June 24, 2025, as part of the 23rd European Control Conference (ECC) in Thessaloniki, Greece.
The workshop aims to explore recent advances in ensuring the safety, stability, and performance of robotic systems operating in complex, dynamic, and uncertain environments. Certified control synthesis leverages formal methods, control theory, and machine learning to derive controllers with rigorous performance guarantees — a crucial step toward reliable autonomous systems.
We invite submissions of 1–2 page extended abstracts (excluding references) or a preprint of relevant work. Accepted contributions will be posted on the workshop website but will not be part of the official IEEE proceedings. The review process will be single-blind and conducted by the organizers.
Please submit your contribution by May 19, 2025. Notifications of acceptance will be sent by June 2, 2025.
More details about submissions are available on the workshop website: https://sites.google.com/view/ecc2025ws/call-for-papers
Our program features a distinguished lineup of invited speakers
-
Dimos V. Dimarogonas: Formal Methods-Based Control for Multi-Robot Systems
-
Meng Guo : Verified Neural Planner for Multi-Robot Systems
-
Shinkyu Park: Learning to Coordinate in Multi-Robot Games
-
Bettina Könighofer: Shielding for Safe and Fair Sequential Decision-Making
-
Matteo Saveriano: Energy-Aware Learning Control for Human-Robot Collaboration
-
Majid Khadiv: Safe Robot Learning in the Real World
-
Bardh Hoxha: From Requirements to Path Planning and Control for Safety-Critical Robotics
-
Christos Verginis: Kinodynamic Planning of Robotic Systems with Uncertain Nonlinear Dynamics
-
Pushpak Jagtap: Spatiotemporal Tubes: Designing Controllers for Unknown Systems with Spatiotemporal Logic Tasks
-
Ömür Arslan: Sensor-based Certified Control Synthesis for Safe Autonomous Mobile Navigation in Unknown Environments
each contributing cutting-edge perspectives on certified control and safe learning for robotic systems.
We warmly invite you to attend the workshop and encourage you to submit your recent work to help foster rich and insightful discussions.
Best regards,
Elena Vanneaux, Siyuan Liu, Fares Abu-Dakka and Abdalla Swikir
