A differential lyapunov framework for contraction analysis

IEEE Transactions on Automatic Control

Volumn 59, Issue 3, 2014, Pages 614-628

  Forni, Fulvio ^a   Sepulchre, Rodolphe ^a,b  

^a UNIVERSITY OF LIÈGE   (Belgium)

^b UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

Contraction; incremental stability; linearization; Lyapunov methods; nonlinear systems

Indexed keywords

DIFFERENTIAL EQUATIONS; LINEARIZATION; LYAPUNOV FUNCTIONS; NONLINEAR SYSTEMS; SHRINKAGE;

INCREMENTAL STABILITY; STABILITY ANALYSIS;

LYAPUNOV METHODS;

EID: 84897695659     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2013.2285771     Document Type: Article

References (58)

1. P.-A Absil, R. Mahony, and R. Sepulchre, Optimization Algorithms on Matrix Manifolds. Princeton, NJ, USA: Princeton Univ. Press, 2008.
2. N. Aghannan and P. Rouchon, "An intrinsic observer for a class of Lagrangian systems," IEEE Trans. Autom. Control, vol. 48, no. 6, pp. 936-945, Jun. 2003.
3. D. Angeli, "A Lyapunov approach to incremental stability properties," IEEE Trans. Autom. Control, vol. 47, no. 3, pp. 410-421, Mar. 2000.
4. D. Angeli, "Further results on incremental input-to-state stability," IEEE Trans. Autom. Control, vol. 54, no. 6, pp. 1386-1391, 2009.
5. D. Angeli and E. D. Sontag, "Monotone control systems," IEEE Trans. Autom. Control, vol. 48, no. 10, pp. 1684-1698, Oct. 2003.
6. D. Bao, S. S. Chern, and Z. Shen, An Introduction to Riemann-Finsler Geometry. New York: Springer-Verlag, 2000.
7. W. M. Boothby, An Introduction to Differentiable Manifolds and Riemannian Geometry, Revised, ser. Pure and Applied Mathematics. Amsterdam, The Netherlands: Academic, 2003.
8. P. J. Bushell, "Hilbert's metric and positive contraction mappings in a banach space," Archive for Rational Mechanics and Anal., vol. 52, pp. 330-338, 1973.
9. M. Chamberland, "Global asymptotic stability, additive neural networks, and the Jacobian conjecture," Can. Appl. Math. Q., vol. 5, no. 4, pp. 331-339, 1997.
10. D. D. Vecchio and J. Slotine, "A contraction theory approach to singularly perturbed systems," IEEE Trans. Autom. Control, vol. 58, no. 3, pp. 752-757, Mar. 2012.
11. M. P. Do-Carmo, Riemannian Geometry. Boston, MA, USA: Birkhäuser, 1992.
12. G. Escobar, D. Chevreau, R. Ortega, and E.Mendes, "An adaptive passivity-based controller for a unity power factor rectifier," IEEE Trans. Control Syst. Technol., vol. 9, no. 4, pp. 637-644, Jul. 2001.
13. F. Forni and R. Sepulchre, "On differentially dissipative dynamical systems," in 9th IFAC Symp. Nonlinear Control Syst., 2013.
14. F. Forni, R. Sepulchre, and A. J. van der Schaft, "On differential passivity of physical systems," in Proc. 52nd IEEE Conf. Decision and Control, 2013, pp. 6580-6585.
15. J. K. Hale, Ordinary Differential Equations Pure and Applied Mathematics. Hoboken, NJ, USA: Wiley-Interscience, 1980.
16. A. Isidori, Nonlinear Control Systems, 3rd ed. New York, NY, USA: Springer, 1995.
17. M. Jankovic, R. Sepulchre, and P. V. Kokotovic, "Constructive Lyapunov stabilization of nonlinear cascade systems," IEEE Trans. Autom. Control, vol. 41, no. 12, pp. 1723-1735, Dec. 1996. (Pubitemid 126767969)
18. J. Jouffroy, "A simple extension of contraction theory to study incremental stability properties," presented at the Eur. Control Conf., 2003.
19. J. Jouffroy, "Some ancestors of contraction analysis," in Proc. 44th IEEE Conf. Eur. Control Conf. (CDC-ECC '05), Dec. 2005, pp. 5450-5455.
20. J. Jouffroy and T. I. Fossen, "A tutorial on incremental stability analysis using contraction theory," Model, Identif. Control, vol. 31, no. 3, pp. 93-106, 2010.
21. H. K. Khalil, Nonlinear Systems, 3rd ed. Englewood Cliffs, NJ, USA: Prentice-Hall, 2002.
22. J. Lasalle, "Some extensions of Liapunov's second method," IRE Trans. Circuit Theory, vol. 7, no. 4, pp. 520-527, Dec. 1960.
23. R. I. Leine andN. Wouw, Stability and Convergence ofMechanical Systems with Unilateral Constraints, 1st ed. New York, NY, USA: Springer, 2008.
24. D. C. Lewis, "Metric properties of differential equations," Amer. J. Math., vol. 71, no. 2, pp. 294-312, Apr. 1949.
25. Y. Li and J. S.Muldowney, "On Bendixson's criterion," J. Diff. Equat., vol. 106, no. 1, pp. 27-39, 1993.
26. W. Lohmiller and J. E. Slotine, "On contraction analysis for non-linear systems," Automatica, vol. 34, no. 6, pp. 683-696, Jun. 1998. (Pubitemid 128400392)
27. J. Mierczynski, "Finsler structures as Lyapunov function," in Proc. 11th Conf. Nonlinear Oscillations, Budapest, Hungary, 1987.
28. J. Mierczynski, "A class of strongly cooperative systems without compactness," Colloq. Math., vol. 62, no. 1, pp. 43-47, 1991.
29. J. Mierczynski, "Cooperative irreducibile systems of ordinary differential equations with first integral," in Proc. 2nd Marrakesh Conf. Differential Equations, 1995.
30. L. Moreau, "Stability of continuous-time distributed consensus algorithms," in Proc. 43rd IEEE Conf. Decision and Control, 2004, vol. 4, pp. 3998-4003. (Pubitemid 40287031)
31. J. S. Muldowney, "Compound matrices and ordinary differential equations," Rocky Mountain J. Math., vol. 20, no. 4, pp. 857-872, 1990.
32. A. Pavlov and L. Marconi, "Incremental passivity and output regulation," Syst. Control Lett., vol. 57, no. 5, pp. 400-409, 2008. (Pubitemid 351444761)
33. A. Pavlov,A. Pogromsky, N. van deWouw, andH.Nijmeijer, "Convergent dynamics, a tribute to Boris Pavlovich Demidovich," Syst. Control Lett., vol. 52, no. 3-4, pp. 257-261, 2004.
34. A. Pavlov, N. Wouw, and H. Nijmeijer, "Convergent systems: Analysis and synthesis," in Control andObserver Design for Nonlinear Finite and Infinite Dimensional Systems, ser. LectureNotes in Control and Information Science, T.Meurer, K. Graichen, and E. Gilles, Eds. Berlin/Heidelberg, Germany: Springer, 2005, vol. 322, pp. 131-146.
35. A. Pavlov, N. van de Wouw, and H. Nijmeijer, Uniform Output Regulation of Nonlinear Systems: A Convergent Dynamics Approach. Boston, MA, USA: Birkhäuser, 2006.
36. Q. C. Pham and J. J. Slotine, "Stable concurrent synchronization in dynamic system networks," Neural Netw., vol. 20, no. 1, pp. 62-77, 2007.
37. J. F. Plante, "Anosov flows," Amer. J. Math., vol. 94, no. 3, pp. 729-754, 1972.
38. L. Praly and R. Sanfelice, "Convergence of nonlinear observers on Rn with a Riemannian metric Part I," IEEE Trans. Autom. Control, vol. 57, no. 7, pp. 1709-1722, Jul. 2012.
39. B. S. Rüffer, N. Wouw, and M. Mueller, Convergent systems vs. incremental stability. Univ. Paderborn, Paderborn, Germany, Tech. Rep, 2011.
40. G. Russo, M. D. Bernardo, and E. D. Sontag, "Global entrainment of transcriptional systems to periodic inputs," PLoS Comput. Biol., vol. 6, no. 4, p. E1000739, 2010.
41. G. Russo and J. J. Slotine, "Symmetries, stability, and control in nonlinear systems and networks," Phys. Rev. E, vol. 84, pp. 041929-041929, Oct. 2011.
42. R. Sepulchre, D. A. Paley, and N. E. Leonard, "Stabilization of planar collective motion: All-to-all communication," IEEE Trans. Autom. Control, vol. 52, no. 5, pp. 811-824, May 2007. (Pubitemid 46796067)
43. R. Sepulchre, A. Sarlette, and P. Rouchon, "Consensus in non-commutative spaces," in Proc. 49th IEEE Conf. Decision and Control (CDC'10), 2010, pp. 6596-6601.
44. H. Sira-Ramirez, R. A. Perez-Moreno, R. Ortega, and M. Garcia-Esteban, "Passivity-based controllers for the stabilization of dc-to-dc power converters," Automatica, vol. 33, no. 4, pp. 499-513, 1997. (Pubitemid 127417085)
45. J. J. Slotine andW. Li, Appied Nonlinear Control. Englewood Cliffs, NJ, USA: Prentice-Hall International Editors, 1991.
46. S. Smale, "Differentiable dynamical systems," Bull. Amer. Math. Soc., vol. 73, pp. 747-817, 1967.
47. H. L. Smith, "Monotone dynamical systems: An introduction to the theory of competitive and cooperative systems," in Mathematical Surveys and Monographs. Providence, RI, USA: AMSH.
48. L. Smith, "Monotone dynamical systems: An introduction to the theory of competitive and cooperative systems," Mathematical Surveys and Monographs, vol. 41, 1995.
49. R. A. Smith, "Some applications of Hausdorff dimension inequalities for ordinary differential equations," Proc. R. Soc. Edinburgh, Section: A Math., vol. 104, no. 3-4, pp. 235-259, 1986.
50. E. D. Sontag, "Smooth stabilization implies coprime factorization," IEEE Trans. Autom. Control, vol. 34, no. 4, pp. 435-443, Apr. 1989.
51. E. D. Sontag, "Contractive systems with inputs," in Perspectives in Mathematical System Theory, Control, and Signal Processing, J. Willems, S. Hara, Y. Ohta, and H. Fujioka, Eds. Berlin, Germany: Springer-verlag, 2010, pp. 217-228.
52. G. B. Stan and R. Sepulchre, "Analysis of interconnected oscillators by dissipativity theory," IEEE Trans. Autom. Control, vol. 52, no. 2, pp. 256-270, Feb. 2007. (Pubitemid 46444280)
53. L. Tamássy, "Relation between metric spaces and Finsler spaces," Differential Geom. Appl., vol. 26, no. 5, pp. 483-494, 2008.
54. J. N. Tsitsiklis, D. P. Bertsekas, and M. Athans, "Distributed asynchronous deterministic and stochastic gradient optimization algorithms," IEEE Trans. Autom. Control, vol. 31, no. 9, pp. 803-812, Sep. 1986. (Pubitemid 16629805)
55. M. Vidyasagar, Nonlinear Systems Analysis, 2nd ed. Englewood Cliffs, NJ, USA: Prentice-Hall, 1993.
56. W.Wang and J. E. Slotine, "On partial contraction analysis for coupled nonlinear oscillators," Biol. Cybern., vol. 92, no. 1, pp. 38-53, 2005. (Pubitemid 40134701)
57. J. L. Willems, "Stability theory of dynamical systems," in Studies in Dynamical Systems. Hoboken, NJ, USA: Wiley Interscience Division, 1970.
58. M. Zamani and P. Tabuada, "Backstepping design for incremental stability," IEEE Trans. Autom. Control, vol. 56, no. 9, pp. 2184-2189, Sep. 2011.