Convex relaxations for L2-gain analysis of piecewise affine/polynomial systems

This paper proposes some sufficient conditions based on the computation of polynomial and piecewise polynomial storage functions for -gain analysis of discrete-time piecewise affine or piecewise polynomial systems. The computation of such storage functions is performed by means of convex optimisation techniques via the sum-of-squares decomposition of multivariate polynomials.

[1]  A. Garulli,et al.  A survey on switched and piecewise affine system identification , 2012 .

[2]  Hai Lin,et al.  Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results , 2009, IEEE Transactions on Automatic Control.

[3]  J.-N. Lin,et al.  Canonical piecewise-linear approximations , 1992 .

[4]  M. Morari,et al.  A survey on stability analysis of discrete-time piecewise affine systems , 2005 .

[5]  Stephen P. Boyd,et al.  Quadratic stabilization and control of piecewise-linear systems , 1998, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207).

[6]  J. Lofberg,et al.  YALMIP : a toolbox for modeling and optimization in MATLAB , 2004, 2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508).

[7]  Bart De Schutter,et al.  Equivalence of hybrid dynamical models , 2001, Autom..

[8]  Alberto Bemporad,et al.  A bounded-error approach to piecewise affine system identification , 2005, IEEE Transactions on Automatic Control.

[9]  A. Michel,et al.  Qualitative analysis of discrete-time switched systems , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[10]  A. Bemporad,et al.  Passivity analysis of discrete-time hybrid systems using piecewise polynomial storage functions , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[11]  S. Monaco,et al.  OnH∞-control of discrete-time nonlinear systems , 1996 .

[12]  Magnus Egerstedt,et al.  On the observability of piecewise linear systems , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[13]  John N. Tsitsiklis,et al.  Complexity of stability and controllability of elementary hybrid systems , 1999, Autom..

[14]  Antonio Vicino,et al.  L2-stability of hinging hyperplane models via integral quadratic constraints , 2008, 2008 47th IEEE Conference on Decision and Control.

[15]  A. Papachristodoulou,et al.  On the construction of Lyapunov functions using the sum of squares decomposition , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[16]  C. Byrnes,et al.  H∞-control of discrete-time nonlinear systems , 1996, IEEE Trans. Autom. Control..

[17]  Manfred Morari,et al.  A Generalized Approach for Analysis and Control of Discrete-Time Piecewise Affine and Hybrid Systems , 2001, HSCC.

[18]  A. Juloski,et al.  Data-based hybrid modelling of the component placement process in pick-and-place machines , 2004 .

[19]  G. Chesi.  Homogeneous Polynomial Forms for Robustness Analysis of Uncertain Systems , 2009 .

[20]  René Vidal,et al.  Identification of Hybrid Systems: A Tutorial , 2007, Eur. J. Control.

[21]  Alberto Bemporad,et al.  PASSIVITY ANALYSIS AND PASSIFICATION OF DISCRETE-TIME HYBRID SYSTEMS , 2005 .

[22]  Jun Zhao,et al.  On stability, L2-gain and Hinfinity control for switched systems , 2008, Autom..

[23]  Johan Efberg,et al.  YALMIP : A toolbox for modeling and optimization in MATLAB , 2004 .

[24]  Alberto Bemporad,et al.  Passivity Analysis and Passification of Discrete-Time Hybrid Systems , 2008, IEEE Transactions on Automatic Control.

[25]  Leo Breiman,et al.  Hinging hyperplanes for regression, classification, and function approximation , 1993, IEEE Trans. Inf. Theory.

[26]  Alberto Bemporad,et al.  Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems , 2000, HSCC.

[27]  Manfred Morari,et al.  Analysis of discrete-time piecewise affine and hybrid systems , 2002, Autom..

[28]  Jos F. Sturm,et al.  A Matlab toolbox for optimization over symmetric cones , 1999 .

[29]  Eduardo Sontag.  Nonlinear regulation: The piecewise linear approach , 1981 .

[30]  Jun Zhao,et al.  On stability, L 2 -gain and H 8 control for switched systems , 2008 .

[31]  Alberto Bemporad,et al.  Observability and controllability of piecewise affine and hybrid systems , 2000, IEEE Trans. Autom. Control..

[32]  Kim-Chuan Toh,et al.  SDPT3 -- A Matlab Software Package for Semidefinite Programming , 1996 .

[33]  Long Wang,et al.  LMI approach to L/sub 2/-gain analysis and control synthesis of uncertain switched systems , 2004 .

[34]  P. Parrilo.  Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization , 2000 .