Backstepping controller synthesis and characterizations of incremental stability

@article{Zamani2013BacksteppingCS,
  title={Backstepping controller synthesis and characterizations of incremental stability},
  author={Majid Zamani and Nathan van de Wouw and Rupak Majumdar},
  journal={Syst. Control. Lett.},
  year={2013},
  volume={62},
  pages={949-962}
}
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… 
Controller synthesis for incremental stability: Application to symbolic controller synthesis
TLDR
A recursive way of constructing incremental Lyapunov functions which have been identified as a key tool enabling the construction of finite abstractions of nonlinear control systems is proposed.
Backstepping design for incremental stability of stochastic Hamiltonian systems
TLDR
This work provides a backstepping controller design scheme providing controllers along with corresponding incremental Lyapunov functions rendering a class of stochastic control systems, namely stoChastic Hamiltonian systems, incrementally stable.
Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps
TLDR
A backstepping controller design scheme is provided providing controllers along with corresponding incremental Lyapunov functions rendering a class of stochastic control systems, namely, stochastically Hamiltonian systems with jumps, incrementally stable.
Distance function design and Lyapunov techniques for the stability of hybrid trajectories
TLDR
A generic distance function is designed that can be used to circumvent the so-called "peaking phenomenon" when using the Euclidean distance to compare two hybrid trajectories, and a tracking controller is presented that asymptotically stabilises a given hybrid reference trajectory.
Constructing distance functions and piecewise quadratic Lyapunov functions for stability of hybrid trajectories
TLDR
A novel and systematic way of designing appropriate distance functions is proposed that overcomes this hurdle and enables the derivation of sufficient Lyapunov-type conditions, using minimal or maximal average dwell-time arguments, for the stability of a hybrid trajectory.
Incremental passivity and stabilization for switched nonlinear systems
TLDR
A recursive feedback incremental passification design technique is adopted to achieve the incremental stability for a switched nonlinear system with any same relative degree by designing a set of feedback controllers and a state-dependent switching law, constructively.
Approximately symbolic models for a class of continuous-time nonlinear systems
  • Pian Yu, D. Dimarogonas
  • Computer Science, Engineering
    2019 IEEE 58th Conference on Decision and Control (CDC)
  • 2019
TLDR
A novel stability notion called controlled globally asymptotic/practical stability with respect to a set is proposed and it is shown that every system, under the condition that there exists an admissible control interface such that the augmented system can be made controlled globally practically stable withrespect to the given set, is approximately simulated by its discrete abstraction.
Checkable Conditions for Contraction After Small Transients in Time and Amplitude
Contraction theory is a powerful tool for proving asymptotic properties of nonlinear dynamical systems including convergence to an attractor and entrainment to a periodic excitation. We consider
Periodic optimal control of nonlinear constrained systems using economic model predictive control
TLDR
The proposed economic MPC scheme uses an online optimized artificial periodic orbit to ensure recursive feasibility and constraint satisfaction despite unpredictable changes in the economic performance index.
Contraction after small transients
TLDR
This work considers three generalizations of contraction with respect to a norm that allow contraction to take place after small transients in time and/or amplitude.
...
1
2
3
4
...

References

SHOWING 1-10 OF 55 REFERENCES
Backstepping Design for Incremental Stability
TLDR
A backstepping design approach for incremental stability is developed and it is shown that most of the existing controller design techniques provide controllers enforcing stability rather than incremental stability.
A Lyapunov approach in incremental stability
  • Majid Zamani, R. Majumdar
  • Computer Science, Mathematics
    IEEE Conference on Decision and Control and European Control Conference
  • 2011
TLDR
A backstepping design approach is developed providing a recursive way of constructing controllers, enforcing incremental stability, as well as incremental Lyapunov functions which are coordinate independent and provide the description of incremental stability in terms of the proposed Lyap unov functions.
Contraction based adaptive control of a class of nonlinear systems
  • B. Sharma, I. Kar
  • Computer Science, Mathematics
    2009 American Control Conference
  • 2009
Adaptive control problem of nonlinear systems having dynamics in parametric strict feedback form is addressed here. Effort is made to derive adaptive methodology for controller design in contraction
From convergent dynamics to incremental stability
TLDR
It is shown that incremental stability itself does not imply the convergence property, or vice versa, and characterizations of both properties in terms of Lyapunov functions are given, and it is established that the convergenceproperty implies incremental stability for systems evolving on compact sets, and also when a suitable uniformity condition is satisfied.
Reconfigurable control of piecewise affine systems with actuator and sensor faults: Stability and tracking
TLDR
The approach extends the concept of virtual actuators and virtual sensors from linear to PWA systems on the basis of the fault-hiding principle that provides the underlying conceptual idea: the fault is hidden from the nominal controller and the fault effects are compensated.
Phase-locking between Kuramoto oscillators: Robustness to time-varying natural frequencies
TLDR
The proposed Lyapunov function for the incremental dynamics allows for a new characterization of the robust asymptotically stable phase-locked states of the unperturbed dynamics in terms of its isolated local minima.
Tracking and synchronisation for a class of PWA systems
TLDR
An observer-based output-feedback control design, consisting of a feedforward, a piecewise affine feedback law and a model-based observer, solving the tracking problem is proposed and it is shown that for certain classes of PWA systems the design is characterised in terms of linear matrix inequalities.
A Smooth Converse Lyapunov Theorem for Robust Stability
This paper presents a converse Lyapunov function theorem motivated by robust control analysis and design. Our result is based upon, but generalizes, various aspects of well-known classical theorems.
Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
TLDR
The main contribution is to show that incrementally globally asymptotically stable nonlinear control systems with disturbances admit symbolic models.
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
TLDR
This paper shows that under standard assumptions ensuring incremental stability of a switched system, it is possible to construct a finite symbolic model that is approximately bisimilar to the original switched system with a precision that can be chosen a priori.
...
1
2
3
4
5
...