Further Geometric and Lyapunov Characterizations of Incrementally Stable Systems on Finsler Manifolds
In this paper, we report several new geometric and Lyapunov characterizations of incrementally stable systems on Finsler and Riemannian manifolds. A new and intrinsic proof of an important theorem in contraction analysis is given via the complete lift of the system. Based on this, two Lyapunov characterizations of incrementally stable systems are derived, namely, converse contraction theorems, and revelation of the connection between incremental stability and stability of an equilibrium point, in which the second result recovers and extends the classical Krasovskii's method.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Neural Incremental Input-to-State Stable Control Lyapunov Functions for Unknown Continuous-time Systems
This work primarily focuses on synthesizing a controller that guarantees an unknown continuous-time system to be incrementally input-to-state stable ($\delta$-ISS). In this context, the notion of $\delta$-ISS control Lya…
Optimizing Parallel Schemes with Lyapunov Exponents and kNN-LLE Estimation
Inverse parallel schemes remain indispensable tools for computing the roots of nonlinear systems, yet their dynamical behavior can be unexpectedly rich, ranging from strong contraction to oscillatory or chaotic transient…
Further characterizations of integral input-to-state stability for hybrid systems
In this work we present further characterizations of integral input-to-state stability (iISS) for hybrid systems. In particular, the equivalence between 0-input uniform global asymptotic stability (0-UGAS) plus uniform b…
Robust stability of moving horizon estimation for continuous-time systems
We consider a moving horizon estimation (MHE) scheme involving a discounted least squares objective for general nonlinear continuous-time systems. Provided that the system is detectable (incrementally integral input/outp…
Stable Robot Motions on Manifolds: Learning Lyapunov-Constrained Neural Manifold ODEs
Learning stable dynamical systems from data is crucial for safe and reliable robot motion planning and control. However, extending stability guarantees to trajectories defined on Riemannian manifolds poses significant ch…
Motion Planning