One-Shot Verification of Dissipativity Properties From Input–Output Data

Abstract

Due to their relevance in controller design and robustness analysis, we present a novel framework to find and verify dissipativity properties for discrete-time linear time-invariant systems from only one input-output trajectory. Introducing a new data-driven formulation for dissipativity, we obtain necessary and sufficient conditions for dissipativity based only on a definiteness condition on a single data-dependent matrix. Furthermore, we provide a promising relaxation in the case of measurement noise, which, as illustrated in numerous numerical examples, works remarkably well.