1 The Mads Clausen Institute, Faculty of Engineering, SDU2 Faculty of Engineering, SDU3 Mechatronics Group, The Mads Clausen Institute, Faculty of Engineering, SDU4 The Mads Clausen Institute, Faculty of Engineering, SDU
On the contrary to Lyapunov theory, contraction theory studies system behavior independently from a specific attractor, thus leading to simpler computations when verifying exponential convergence of nonlinear systems. To check the contraction property, a condition of negativity on the Jacobian of the system has to be fulfilled. In this paper, attention is paid to results for which the negativity condition can be relaxed, i.e. the maximum eigenvalue of the Jacobian may take zero or positive values. In this issue, we present a theorem and a corollary which sufficient conditions enable to conclude when the Jacobian is not uniformly negative definite but fulfils some weaker conditions. Intended as an illustrative example, a nonlinear underwater vehicle observer, which Jacobian is not uniformly negative definite, is presented and proven to be exponentially convergent using the new criterion.