Data-based guarantees of set invariance properties

Abstract

For a discrete-time linear system, we use data from a single open-loop experiment to design directly a feedback controller enforcing that a given (polyhedral) set of the state is invariant and given (polyhedral) constraints on the control are satisfied. By building on classical results from model-based set invariance and a fundamental result from Willems et al., the controller designed from data has the following desirable features. The satisfaction of the above properties is guaranteed only from data, it can be assessed by solving a numerically-efficient linear program, and, under a certain rank condition, a data-based solution is feasible if and only if a model-based solution is feasible.

Cited by in corpus (5)

• Controller design for robust invariance from noisy data
• Amidst data-driven model reduction and control
• Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach
• On the Sample Complexity of Data-Driven Inference of the ${\mathcal{L}}_2$-gain
• On Controllability and Persistency of Excitation in Data-Driven Control: Extensions of Willems' Fundamental Lemma