Abstract: 

This work​ addresses the challenge of ensuring robustness in the presence of system perturbations for symbolic control techniques. Given a discrete-time control system that is related to its symbolic model by an alternating simulation relation. In this talk, we focus on computing the maximum robustness margin under which the symbolic model remains valid for a perturbed-version of the discrete-time control system. We first show that symbolic models are inherently equipped with a certain free robustness margins. We then provide constructive procedures to compute uniform and non-uniform (state and input dependent) robustness margins. We also show that the tightness of the robustness margin depends on the tightness of the reachability technique used to compute the symbolic model. We then explain how the computed robustness margin can be used for the sake of controller synthesis. Finally, we present two illustrative examples to demonstrate the effectiveness of our approach.

Biography:  

Youssef AIT SI is a Ph.D. student in the College of Computing department at University Mohammed VI Polytechnic since October 2023. Before, he was a data engineer at the company Atos in France. He obtained general engineering degree from Ecole Centrale Casablanca (ECC), Morocco in 2020, and conducted one-year exchange program at Ecole Centrale Nantes in France with the major applied mathematics, statistics and data science. His current research interests include resilient control synthesis, symbolic control, formal methods, and learning-based control of dynamical systems.