14,911 research outputs found
Backstepping controller synthesis and characterizations of incremental stability
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.Comment: 23 pages, 2 figure
Lyapunov Theorems for Systems Described by Retarded Functional Differential Equations
Lyapunov-like characterizations for non-uniform in time and uniform robust
global asymptotic stability of uncertain systems described by retarded
functional differential equations are provided
Robust output stabilization: improving performance via supervisory control
We analyze robust stability, in an input-output sense, of switched stable
systems. The primary goal (and contribution) of this paper is to design
switching strategies to guarantee that input-output stable systems remain so
under switching. We propose two types of {\em supervisors}: dwell-time and
hysteresis based. While our results are stated as tools of analysis they serve
a clear purpose in design: to improve performance. In that respect, we
illustrate the utility of our findings by concisely addressing a problem of
observer design for Lur'e-type systems; in particular, we design a hybrid
observer that ensures ``fast'' convergence with ``low'' overshoots. As a second
application of our main results we use hybrid control in the context of
synchronization of chaotic oscillators with the goal of reducing control
effort; an originality of the hybrid control in this context with respect to
other contributions in the area is that it exploits the structure and chaotic
behavior (boundedness of solutions) of Lorenz oscillators.Comment: Short version submitted to IEEE TA
Recommended from our members
L-2 State Estimation With Guaranteed Convergence Speed in the Presence of Sporadic Measurements
This paper deals with the problem of estimating the state of a nonlinear time-invariant system in the presence of sporadically available measurements and external perturbations. An observer with a continuous intersample injection term is proposed. Such an intersample injection is provided by a linear dynamical system, whose state is reset to the measured output estimation error whenever a new measurement is available. The resulting system is augmented with a timer triggering the arrival of a new measurement and analyzed in a hybrid system framework. The design of the observer is performed to achieve exponential convergence with a given decay rate of the estimation error. Robustness with respect to external perturbations and L2-external stability from plant perturbations to a given performance output are considered. Computationally efficient algorithms based on the solution to linear matrix inequalities are proposed to design the observer. Finally, the effectiveness of the proposed methodology is shown in an example
Stability of interconnected impulsive systems with and without time-delays using Lyapunov methods
In this paper we consider input-to-state stability (ISS) of impulsive control
systems with and without time-delays. We prove that if the time-delay system
possesses an exponential Lyapunov-Razumikhin function or an exponential
Lyapunov-Krasovskii functional, then the system is uniformly ISS provided that
the average dwell-time condition is satisfied. Then, we consider large-scale
networks of impulsive systems with and without time-delays and we prove that
the whole network is uniformly ISS under a small-gain and a dwell-time
condition. Moreover, these theorems provide us with tools to construct a
Lyapunov function (for time-delay systems - a Lyapunov-Krasovskii functional or
a Lyapunov-Razumikhin function) and the corresponding gains of the whole
system, using the Lyapunov functions of the subsystems and the internal gains,
which are linear and satisfy the small-gain condition. We illustrate the
application of the main results on examples
- …