Atlas / Learn / Papers / 2005.09313
arXiv · arXiv preprint
Measures and LMIs for Adaptive Control Validation
Attribution
This is the abstract and citation. Full text lives at arXiv — we link out rather than host. All credit to the authors and arXiv.
Abstract
Verbatim from arXiv. Not paraphrased, not summarized.
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.
Authors
- Daniel Wagner LAAS-MAC
- Didier Henrion LAAS-MAC
- Martin Hrom{č}ík
Keywords
- eess.SY
- math.OC
Citation: Daniel Wagner, Didier Henrion, Martin Hrom{č}ík (2020). Measures and LMIs for Adaptive Control Validation. arXiv ID 2005.09313. https://arxiv.org/abs/2005.09313 ↗