Seminar Details
2025-11-18 (14:20) : Data-Driven Methods for Formal Verification and Synthesis of Dynamical Systems
At Euler building (room A.002)
Organized by Mathematical Engineering
Speaker :
Sadegh Soudjani (Max Planck Institute)
Abstract :
Ensuring the safe and reliable behavior of dynamical systems under uncertainty is a fundamental challenge in control and verification. In this talk, I will discuss recent advances in data-driven and certificate-based approaches for the formal verification and synthesis of such systems. I will first present results on necessary and sufficient certificates for reachability in stochastic systems, which provide exact characterizations of when a target set can be reached with probability one. With this, we have closed the long-standing question of characterizing certificates that are both necessary and sufficient. I will then show that the common practice of fixing a template for computing such certificates results in losing completeness: there are polynomial systems that do not admit polynomial certificates. Building on this foundation, I will discuss one of the results from our EIC SymAware project on data-driven approaches for distributionally robust control in multi-agent systems subject to logical and temporal constraints. By leveraging samples from uncertain environments, these methods enable the synthesis of controllers that are robust to distributional uncertainty while satisfying high-level behavioral specifications utilizing knowledge of the behavior of other agents in the system. Credit for the works being discussed in the talk also goes to my collaborators and hard-working students.