Seminar Details
2024-04-16 (14h) : Safety in Systems and Control: From Theory to Implementation
At Euler building (room A.002)
Organized by Mathematical Engineering
Speaker :
Guillaume Berger (UCLouvain)
Abstract :
Modern control systems are increasingly deployed in safety-critical applications, such as autonomous vehicles, medical devices, energy grids, etc.
Therefore, verifying and guaranteeing the safety of these systems is of paramount importance.
Nevertheless, it remains a big challenge where NP-hardness and undecidability are the rule rather than the exception.
We review the state-of-the-art theoretical tools for the formal verification and correct-by-design control of dynamical systems such as reachability analysis and barrier functions.
We also discuss the practical implementation of these tools relying on recent advances in computational geometry and optimization.
Finally, we present our contribution to the field by proposing a new approach for safety verification based on multiple barrier functions, called vector barrier functions.
We present the theoretical foundations of this approach as well as the practical implementation leveraging ideas from reachability analysis and convex optimization.
We conclude with some examples showing the efficiency of the approach on benchmark systems