arxiveess.SY2026-06-26
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…