Verifying dissipativity properties from noise-corrupted input-state data

There exists a vast amount of literature how dissipativity properties can be exploited to design controllers for stability and performance guarantees for the closed loop. With the rising availability of data, there has therefore been an increasing interest in determining dissipativity properties from data as a means for data-driven systems analysis and control with rigorous guarantees. Most existing approaches, however, consider dissipativity properties that hold only over a finite horizon and mostly only qualitative statements can be made in the presence of noisy data. In this work, we present a novel approach to determine dissipativity of linear time-invariant systems from data where we inherently consider properties that hold over the infinite horizon. Furthermore, we develop a method to verify dissipativity from noisy data with guaranteed robustness.

[1]  M. Kanat Camlibel,et al.  Willems’ Fundamental Lemma for State-Space Systems and Its Extension to Multiple Datasets , 2020, IEEE Control Systems Letters.

[2]  Frank Allgöwer,et al.  Determining optimal input-output properties: A data-driven approach , 2020, Autom..

[3]  M. Kanat Camlibel,et al.  Data Informativity: A New Perspective on Data-Driven Analysis and Control , 2019, IEEE Transactions on Automatic Control.

[4]  Panos J. Antsaklis,et al.  On relationships among passivity, positive realness, and dissipativity in linear systems , 2014, Autom..

[5]  Carsten W. Scherer,et al.  Controller Design via Experimental Exploration With Robustness Guarantees , 2021, IEEE Control Systems Letters.

[6]  Frank Allgöwer,et al.  Data-driven inference of passivity properties via Gaussian process optimization , 2019, 2019 18th European Control Conference (ECC).

[7]  P. Rapisarda,et al.  On Lyapunov functions and data-driven dissipativity , 2017 .

[8]  Frank Allgöwer,et al.  Determining dissipation inequalities from input-output samples , 2017 .

[9]  Pietro Tesi,et al.  Formulas for Data-Driven Control: Stabilization, Optimality, and Robustness , 2019, IEEE Transactions on Automatic Control.

[10]  Frank Allgöwer,et al.  One-Shot Verification of Dissipativity Properties From Input–Output Data , 2019, IEEE Control Systems Letters.

[11]  Frank Allgöwer,et al.  Provably Robust Verification of Dissipativity Properties from Data , 2020, IEEE Transactions on Automatic Control.

[12]  I. Postlethwaite,et al.  Linear Matrix Inequalities in Control , 2007 .

[13]  J. Willems Dissipative dynamical systems part I: General theory , 1972 .

[14]  Bo Wahlberg,et al.  Non-parametric methods for L2-gain estimation using iterative experiments , 2010, Autom..

[15]  C. W. Scherer,et al.  Relaxations for Robust Linear Matrix Inequality Problems with Verifications for Exactness , 2005, SIAM J. Matrix Anal. Appl..

[16]  Aaas News,et al.  Book Reviews , 1893, Buffalo Medical and Surgical Journal.

[17]  Bart De Moor,et al.  A note on persistency of excitation , 2005, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[18]  Miel Sharf,et al.  On the Sample Complexity of Data-Driven Inference of the L2-Gain , 2020, IEEE Control Systems Letters.

[19]  Frank Allgöwer,et al.  Robust data-driven state-feedback design , 2019, 2020 American Control Conference (ACC).

[20]  Frank Allgöwer,et al.  Model-Free Practical Cooperative Control for Diffusively Coupled Systems , 2019, ArXiv.

[21]  Frank Allgöwer,et al.  Data-Driven Model Predictive Control With Stability and Robustness Guarantees , 2019, IEEE Transactions on Automatic Control.

[22]  D.L. Elliott,et al.  Feedback systems: Input-output properties , 1976, Proceedings of the IEEE.

[23]  Carsten W. Scherer,et al.  Robust mixed control and linear parameter-varying control with full block scalings , 1999 .

[24]  Frank Allgöwer,et al.  A trajectory-based framework for data-driven system analysis and control , 2019, 2020 European Control Conference (ECC).

[25]  Frank Allgöwer,et al.  Sampling Strategies for Data-Driven Inference of Input–Output System Properties , 2019, IEEE Transactions on Automatic Control.

[26]  John Lygeros,et al.  Data-Enabled Predictive Control: In the Shallows of the DeePC , 2018, 2019 18th European Control Conference (ECC).

[27]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

[28]  G. Zames On the input-output stability of time-varying nonlinear feedback systems Part one: Conditions derived using concepts of loop gain, conicity, and positivity , 1966 .

[29]  M. Kanat Camlibel,et al.  From Noisy Data to Feedback Controllers: Nonconservative Design via a Matrix S-Lemma , 2020, IEEE Transactions on Automatic Control.