On Contraction of Piecewise Smooth Dynamical Systems

Abstract In this paper we extend to a class of piecewise-smooth dynamical systems, a fundamental property of dynamical systems which has been used in a number of different applications in the case of smooth dynamical systems: contraction theory. We give analytical conditions under which trajectories of discontinuous vector fields, satisfying Caratheodory conditions for the existence and unicity of a solution, converge towards each other. In particular, we prove that if each mode of the vector field is contracting then the dynamical systems of interest is contracting. We apply our results to the problem of synchronizing a network of piecewise linear dynamical systems.

[1]  A. Michel,et al.  Stability of Dynamical Systems — Continuous , Discontinuous , and Discrete Systems , 2008 .

[2]  C. Budd,et al.  Review of ”Piecewise-Smooth Dynamical Systems: Theory and Applications by M. di Bernardo, C. Budd, A. Champneys and P. 2008” , 2020 .

[3]  Aleksej F. Filippov,et al.  Differential Equations with Discontinuous Righthand Sides , 1988, Mathematics and Its Applications.

[4]  Alessandro Astolfi,et al.  Stability of Dynamical Systems - Continuous, Discontinuous, and Discrete Systems (by Michel, A.N. et al.; 2008) [Bookshelf] , 2007, IEEE Control Systems.

[5]  Mario di Bernardo,et al.  Global Entrainment of Transcriptional Systems to Periodic Inputs , 2009, PLoS Comput. Biol..

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

[7]  G. Dahlquist Stability and error bounds in the numerical integration of ordinary differential equations , 1961 .

[8]  Nathan van de Wouw,et al.  Convergent dynamics, a tribute to Boris Pavlovich Demidovich , 2004, Syst. Control. Lett..

[9]  H. Nijmeijer,et al.  Convergent piecewise affine systems: analysis and design Part II: discontinuous case , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[10]  Mario di Bernardo,et al.  A Graphical Approach to Prove Contraction of Nonlinear Circuits and Systems , 2011, IEEE Transactions on Circuits and Systems I: Regular Papers.

[11]  Jean-Jacques E. Slotine,et al.  Stable concurrent synchronization in dynamic system networks , 2005, Neural Networks.

[12]  Nathan van de Wouw,et al.  Convergent discrete-time nonlinear systems: The case of PWA systems , 2008, 2008 American Control Conference.

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

[14]  W. Lohmiller,et al.  Contraction analysis of non-linear distributed systems , 2005 .

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

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

[17]  M. Arcak On spatially uniform behavior in reaction-diffusion PDE and coupled ODE systems , 2009, 0908.2614.

[18]  John N. Tsitsiklis,et al.  Parallel and distributed computation , 1989 .

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

[20]  J. Cortés Discontinuous dynamical systems , 2008, IEEE Control Systems.

[21]  Nathan van de Wouw,et al.  On convergence properties of piecewise affine systems , 2007, Int. J. Control.

[22]  Roy D. Williams,et al.  Error estimation for numerical differential equations , 1996 .

[23]  Mario di Bernardo,et al.  Solving the rendezvous problem for multi-agent systems using contraction theory , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[24]  Mario di Bernardo,et al.  How to Synchronize Biological Clocks , 2009, J. Comput. Biol..

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

[26]  J. Jouffroy Some ancestors of contraction analysis , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[27]  Jean-Jacques E. Slotine,et al.  Compositional Contraction Analysis of Resetting Hybrid Systems , 2006, IEEE Transactions on Automatic Control.