Litcius/Paper detail

Data-driven control via Petersen’s lemma

Andrea Bisoffi, Claudio De Persis, Pietro Tesi

2022Automatica135 citationsDOIOpen Access PDF

Abstract

We address the problem of designing a stabilizing closed-loop control law directly from input and state measurements collected in an experiment. In the presence of a process disturbance in data, we have that a set of dynamics could have generated the collected data and we need the designed controller to stabilize such set of data-consistent dynamics robustly. For this problem of data-driven control with noisy data, we advocate the use of a popular tool from robust control, Petersen’s lemma. In the cases of data generated by linear and polynomial systems, we conveniently express the uncertainty captured in the set of data-consistent dynamics through a matrix ellipsoid, and we show that a specific form of this matrix ellipsoid makes it possible to apply Petersen’s lemma to all of the mentioned cases. In this way, we obtain necessary and sufficient conditions for data-driven stabilization of linear systems through a linear matrix inequality. The matrix ellipsoid representation enables insights and interpretations of the designed control laws. In the same way, we also obtain sufficient conditions for data-driven stabilization of polynomial systems through alternate (convex) sum-of-squares programs. The findings are illustrated numerically.

Topics & Concepts

Lemma (botany)EllipsoidLinear matrix inequalityConvex optimizationController (irrigation)PolynomialMatrix (chemical analysis)Representation (politics)Noise (video)Control theory (sociology)MathematicsComputer scienceRegular polygonMathematical optimizationControl (management)Artificial intelligenceMathematical analysisLawEcologyPolitical scienceGeometryAstronomyMaterials sciencePhysicsComposite materialAgronomyPoaceaePoliticsBiologyImage (mathematics)Control Systems and IdentificationAdvanced Control Systems OptimizationProbabilistic and Robust Engineering Design
Data-driven control via Petersen’s lemma | Litcius