Measures and LMIs for Lateral F-16 MRAC Validation

Daniel Wagner (1) , Didier Henrion (2, 1) , Martin Hromčík (1)

1 FEL CTU - Faculty of Electrical Engineering [Prague]
2 LAAS-MAC - Équipe Méthodes et Algorithmes en Commande

Occupation measures and linear matrix inequality (LMI) relax-ations (called the moment sums of squares or Lasserre hierarchy) are state-of-the-art methods for verification and validation (VV) in aerospace. In this document, we extend these results to a full F-16 closed-loop nonlinear dutch roll polynomial model complete with model reference adaptive control (MRAC). This is done through a new technique of approximating the reference trajectory by exploiting sparse ordinary differential equations (ODEs) with parsimony. The VV problem is then solved directly using moment LMI relaxations and off-the-shelf-software. The main results are then compared to their numerical counterparts obtained using traditional Monte-Carlo simulations.

Domaines: Optimisation et contrôle [math.OC]; Systèmes et contrôle [cs.SY]

Daniel Wagner, Didier Henrion, Martin Hromčík. Measures and LMIs for Lateral F-16 MRAC Validation. American Control Conference (ACC 2020), Jul 2020, Denver (online), United States. ⟨10.23919/ACC45564.2020.9147855⟩. ⟨hal-02517022⟩