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.

Backstepping controller synthesis and characterizations of incremental stability

Lyapunov-based Backstepping Control of a Class of Linear Systems Without Overparametrization, Tuning Functions or Nonlinear Damping

Backstepping design for incremental stability

Linear Backstepping Output Feedback Control For Uncertain Linear Systems

Direct control method for improving stability and reliability of nonlinear stochastic dynamical systems

Backstepping Design for Incremental Input-to-State Stabilization of Unknown Systems

Command-filtered Incremental Backstepping Attitude Control of Spacecraft with Predefined-time Stability

Backstepping designs based on small differentiable controls

Asymptotic Stability of Controlled Nonlinear Stochastic Systems Considering the Dynamics of Sensors and Actuators

Designing System Level Synthesis Controllers for Nonlinear Systems with Stability Guarantees

Sliding Mode Control: an Incremental Perspective.

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

Certified Learning of Incremental ISS Controllers for Unknown Nonlinear Polynomial Dynamics

Relaxed and hybridized backstepping

Dynamic backstepping control for pure-feedback nonlinear systems

Incremental Stability and Contraction Via Impulsive Control for Continuous-Time Dynamical Systems

Observer-Based Controllers for Incrementally Quadratic Nonlinear Systems with Disturbances

Adaptive Backstepping Controller Design Using Stochastic Small-Gain Theorem

A small-gain approach to inverse optimal adaptive control of nonlinear systems with unmodeled dynamics

Incremental Stabilization of Cascade Nonlinear Systems and Harmonic Regulation: A Forwarding-based Design

Contraction Metrics in Adaptive Nonlinear Control