Measures and LMI for space launcher robust control validation

Didier Henrion, Martine Ganet-Schoeller, Samir Bennani

We describe a new temporal verification framework for safety and robustness analysis of nonlinear control laws, our target application being a space launcher vehicle. Robustness an…