Globally Certified Invariant-Ellipsoid Control from Data
The method designs a stabilizing state feedback gain and an invariant ellipsoid for linear systems using only a finite batch of data. It optimizes an invariant ellipsoid to minimize a measure of its output enclosure, providing a guaranteed global certificate that finds the optimal solution within any specified tolerance using exact measurements.