21 M ar 2 01 4 Control Contraction Metrics : Differential L 2 Gain and Observer Duality

This paper addresses the problems of stabilization, robust control, and observer design for nonlinear systems. We build upon recently a proposed method based on contraction theory and convex optimization, extending the class of systems to which it is applicable. We prove converse results for mechanical systems and feedback-linearizable systems. Next we consider robust control, and give a simple construction of a controller guaranteeing an L2-gain condition, and discuss connections to nonlinear H-infinity control. Finally, we discuss a "duality" result between nonlinear stabilization problems and observer construction, in the process constructing globally stable reduced-order observers for a class of nonlinear systems.

[1]  Wei-Min Lu,et al.  Robustness analysis and synthesis for nonlinear uncertain systems , 1997, IEEE Trans. Autom. Control..

[2]  Arjan van der Schaft,et al.  On Differential Passivity , 2013, NOLCOS.

[3]  A. Rantzer.  A dual to Lyapunov's stability theorem , 2001 .

[4]  Weiping Li,et al.  Applied Nonlinear Control , 1991 .

[5]  V. Boichenko,et al.  Dimension theory for ordinary differential equations , 2005 .

[6]  Rekha R. Thomas,et al.  Semidefinite Optimization and Convex Algebraic Geometry , 2012 .

[7]  Emmanuel Trélat,et al.  Nonlinear Optimal Control via Occupation Measures and LMI-Relaxations , 2007, SIAM J. Control. Optim..

[8]  Prashant G. Mehta,et al.  Nonlinear Stabilization via Control Lyapunov Measure , 2010, IEEE Transactions on Automatic Control.

[9]  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 .

[10]  P. Khargonekar,et al.  H/sub infinity /-optimal control with state-feedback , 1988 .

[11]  Hans Joachim Ferreau,et al.  Efficient Numerical Methods for Nonlinear MPC and Moving Horizon Estimation , 2009 .

[12]  Ian R. Manchester,et al.  Control Contraction Metrics and Universal Stabilizability , 2013, ArXiv.

[13]  A. Rantzer,et al.  System analysis via integral quadratic constraints , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[14]  Johan Löfberg,et al.  Pre- and Post-Processing Sum-of-Squares Programs in Practice , 2009, IEEE Transactions on Automatic Control.

[15]  J. Tsinias.  Observer design for nonlinear control systems , 1989 .

[16]  A. Isidori.  Nonlinear Control Systems , 1985 .

[17]  Murat Arcak,et al.  Constructive nonlinear control: a historical perspective , 2001, Autom..

[18]  Stephen P. Boyd,et al.  Linear Matrix Inequalities in Systems and Control Theory , 1994 .

[19]  Zhang Chong-wei.  H_∞ optimal control of a class of NCS with state-feedback , 2009 .

[20]  E. Yaz.  Linear Matrix Inequalities In System And Control Theory , 1998, Proceedings of the IEEE.

[21]  Winfried Stefan Lohmiller,et al.  Contraction analysis of nonlinear systems , 1999 .

[22]  David Angeli,et al.  A Lyapunov approach to incremental stability properties , 2002, IEEE Trans. Autom. Control..

[23]  D. Mayne.  Nonlinear and Adaptive Control Design [Book Review] , 1996, IEEE Transactions on Automatic Control.

[24]  Tryphon T. Georgiou.  Differential stability and robust control of nonlinear systems , 1993, Math. Control. Signals Syst..

[25]  Eduardo D. Sontag,et al.  A small-gain theorem with applications to input/output systems, incremental stability, detectability, and interconnections , 2002, J. Frankl. Inst..

[26]  A. Rantzer,et al.  System analysis via integral quadratic constraints , 1997, IEEE Trans. Autom. Control..

[27]  N. Wouw,et al.  Uniform Output Regulation of Nonlinear Systems: A Convergent Dynamics Approach , 2005 .

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

[29]  Pablo A. Parrilo,et al.  Nonlinear control synthesis by convex optimization , 2004, IEEE Transactions on Automatic Control.

[30]  João Pedro Hespanha,et al.  Linear Systems Theory , 2009 .

[31]  C. Desoer,et al.  Feedback Systems: Input-Output Properties , 1975 .

[32]  Pablo A. Parrilo,et al.  Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming , 2006, at - Automatisierungstechnik.

[33]  D. C. Lewis.  Metric Properties of Differential Equations , 1949 .

[34]  Jean-Jacques E. Slotine,et al.  On Contraction Analysis for Non-linear Systems , 1998, Autom..

[35]  W. Marsden.  I and J , 2012 .

[36]  M. Spivak.  A comprehensive introduction to differential geometry , 1979 .

[37]  Ian R. Manchester,et al.  Identification of nonlinear systems with stable oscillations , 2011, IEEE Conference on Decision and Control and European Control Conference.

[38]  Pablo A. Parrilo,et al.  Semidefinite programming relaxations for semialgebraic problems , 2003, Math. Program..

[39]  Michael G. Safonov,et al.  Incremental positivity nonpreservation by stability multipliers , 2002, IEEE Trans. Autom. Control..

[40]  I. Petersen,et al.  Robust Control Design Using H-? Methods , 2012 .

[41]  Eduardo Sontag.  A Lyapunov-Like Characterization of Asymptotic Controllability , 1983, SIAM Journal on Control and Optimization.

[42]  Alexandre Megretski,et al.  Convex optimization in identification of stable non-linear state space models , 2010, 49th IEEE Conference on Decision and Control (CDC).

[43]  Vincent Fromion,et al.  The weighted incremental norm approach: from linear to nonlinear Hinfinity control , 2001, Autom..

[44]  A. Schaft,et al.  L2-Gain and Passivity in Nonlinear Control , 1999 .

[45]  Rodolphe Sepulchre,et al.  A Differential Lyapunov Framework for Contraction Analysis , 2012, IEEE Transactions on Automatic Control.

[46]  Rodolphe Sepulchre,et al.  On Differentially Dissipative Dynamical Systems , 2013, NOLCOS.

[47]  Jean-Jacques E. Slotine,et al.  On partial contraction analysis for coupled nonlinear oscillators , 2004, Biological Cybernetics.

[48]  Jean-Jacques E. Slotine,et al.  Applications of contraction analysis , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[49]  Ian R. Manchester,et al.  LQR-trees: Feedback Motion Planning via Sums-of-Squares Verification , 2010, Int. J. Robotics Res..

[50]  P. Hartman.  On Stability in the Large for Systems of Ordinary Differential Equations , 1961, Canadian Journal of Mathematics.