2 papers
eess.SY2020
Measures and LMIs for Adaptive Control Validation
Daniel Wagner, Didier Henrion, Martin Hrom{č}ík
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 contr…
eess.SY2020
Measures and LMIs for Lateral F-16 MRAC Validation
Daniel Wagner, Didier Henrion, Martin Hromčík
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 vali…