Abstract:Incremental stability is a property of dynamical and control systems, requiring the uniform asymptotic stability of every trajectory, rather than that of an equilibrium point or a particular time-varying trajectory. Similarly to stability, Lyapunov functions and contraction metrics play important roles in the study of incremental stability. In this paper, we provide characterizations and descriptions of incremental stability in terms of existence of coordinate-invariant notions of incremental Lyapunov functions and contraction metrics, respectively. Most design techniques providing controllers rendering control systems incrementally stable have two main drawbacks: they can only be applied to control systems in either parametric-strict-feedback or strict-feedback form, and they require these control systems to be smooth. In this paper, we propose a design technique that is applicable to larger classes of (not necessarily smooth) control systems. Moreover, we propose a recursive way of constructing contraction metrics (for smooth control systems) and incremental Lyapunov functions which have been identified as a key tool enabling the construction of finite abstractions of nonlinear control systems, the approximation of stochastic hybrid systems, source-code model checking for nonlinear dynamical systems and so on. The effectiveness of the proposed results in this paper is illustrated by synthesizing a controller rendering a non-smooth control system incrementally stable as well as constructing its finite abstraction, using the computed incremental Lyapunov function.

A linear dissipativity approach to incremental input-to-state stability for a class of positive Lur'e systems

A linear dissipativity approach to incremental input-to-state stability for a class of positive Lur'e systems

A New Absolute Stability and Stabilization Conditions for A Class of Lurie Uncertain Time-Delay Systems

Robust Absolute Stability For General Neutral Type Lurie Indirect Control Systems

New Delay-dependent Absolute Stability Criteria for Lurie Control Systems

Robust Stability of Lurie Nonlinear Discrete System with Time-Varying Delay Via Scaled Small Gain Theorem

Passivity theorems for input-to-state stability of forced Lur'e inclusions and equations, and consequent entrainment-type properties

Further Results on Incremental Input-to-State Stability

Exponential input-to-state stability for Lur’e systems via Integral Quadratic Constraints and Zames–Falb multipliers

Incremental Dissipativity based Control of Discrete-Time Nonlinear Systems via the LPV Framework

A Mixed Passivity/Small-Gain Theorem for Sobolev Input-Output Stability

Input-to-state stability of nonlinear impulsive systems via Lyapunov method involving indefinite derivative

Input-to-State Stability of Nonlinear Impulsive Systems Subjects to Actuator Saturation and External Disturbance

Polyhedral Estimation of L-1 and L-infinity Incremental Gains of Nonlinear Systems

The dissipativity and controllability of input affine systems

Certified Learning of Incremental ISS Controllers for Unknown Nonlinear Polynomial Dynamics

Input-to-State Stability for Bilinear Feedback Systems

Input-to-state Stability of Lur'e Hyperbolic Distributed Complex-Valued Parameter Control Systems: LOI Approach

Incremental (Q, S, R)-dissipativity and Incremental Stability for Switched Nonlinear Systems

On an integral variant of incremental input/output-to-state stability and its use as a notion of nonlinear detectability

Backstepping controller synthesis and characterizations of incremental stability