Youssef Ait Si

Specification-aware Robustness Margins for Symbolic Controllers

Youssef Ait Si, Antoine Girard, Adnane Saoud

We address the problem of robust controller synthesis for a class of linear temporal logic (LTL) specifications over families of perturbed systems using symbolic control techniques. Given a dynamical system, a specification, and a symbolic controller synthesized using the fixed-p…Read more