Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Measures and LMIs for Adaptive Control Validation

Abstract : Occupation measures and linear matrix inequality (LMI) relax-ations (called the moment sums of squares or Lasserre hierarchy) have been used previously as a means for solving control law verification and validation (VV) problems. However, these methods have been restricted to relatively simple control laws and a limited number of states. In this document, we extend these methods to model reference adaptive control (MRAC) configurations typical of the aircraft industry. The main contribution is a validation scheme that exploits the specific nonlinearities and structure of MRAC. A nonlinear F-16 plant is used for illustration. LMI relaxations solved by off-the-shelf-software are compared to traditional Monte-Carlo simulations.
Complete list of metadatas

Cited literature [21 references]  Display  Hide  Download
Contributor : Didier Henrion <>
Submitted on : Monday, May 18, 2020 - 8:39:30 PM
Last modification on : Tuesday, June 2, 2020 - 2:28:34 PM


Files produced by the author(s)


  • HAL Id : hal-02612057, version 1
  • ARXIV : 2005.09313


Daniel Wagner, Didier Henrion, Martin Hromčík. Measures and LMIs for Adaptive Control Validation. 2020. ⟨hal-02612057⟩



Record views


Files downloads