Lyapunov Methods for Time-Invariant Delay Difference Inclusions.

SIAM Journal on Control and Optimization (Impact Factor: 1.39). 01/2012; 50(1):110-132. DOI: 10.1137/100807065
Source: DBLP

ABSTRACT Motivated by the fact that Delay Difference Inclusions (DDIs) form a rich modeling class that includes, for example, uncertain time-delay systems and certain types of networked control systems, this paper provides a comprehensive collection of Lyapunov methods for DDIs. First, the Lyapunov-Krasovskii approach, which is an extension of the classical Lyapunov theory to time-delay systems, is considered. It is shown that a DDI is Kℒ-stable if and only if it admits a Lyapunov-Krasovskii Function (LKF). Second, the Lyapunov-Razumikhin method, which is a type of small-gain approach for time-delay systems, is studied. It is proved that a DDI is Kℒ-stable if it admits a Lyapunov-Razumikhin Function (LRF). Moreover, an example of a linear delay difference equation which is globally exponentially stable but does not admit an LRF is provided. Thus, it is established that the existence of an LRF is not a necessary condition for Kℒ-stability of a DDI. Then, it is shown that the existence of an LRF is a sufficient condition for the existence of an LKF and that only under certain additional assumptions is the converse true. Furthermore, it is shown that an LRF induces a family of sets with certain contraction properties that are particular to time-delay systems. On the other hand, an LKF is shown to induce a type of contractive set similar to those induced by a classical Lyapunov function. The class of quadratic candidate functions is used to illustrate the results derived in this paper in terms of both LKFs and LRFs, respectively. Both stability analysis and stabilizing controller synthesis methods for linear DDIs are proposed.

  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: Methods for the construction of positively invariant (PI) sets, both for interconnected and time-delay systems, either suffer from computational intractability or come with considerable conservatism, with respect to their ability to provide a nontrivial PI set as well as their ability to recover or even approximate the maximal positively invariant (mPI) set. Therefore, we apply the notion of PI families of sets to interconnected and time-delay systems. We show that for such systems, this notion enjoys computational practicability and, at the same time, is nonconservative, both in terms of the type of sets it produces and its ability to approximate and recover the mPI set. Moreover, this technique also provides a tractable stability analysis tool. In this paper, for both interconnected and time-delay systems, the properties of PI families of sets are analyzed, their use is illustrated via several examples, and their construction via convex optimization algorithms is discussed.
    SIAM Journal on Control and Optimization 07/2014; 52(4):2261–2283. DOI:10.1137/120897420 · 1.39 Impact Factor
  • [Show abstract] [Hide abstract]
    ABSTRACT: This paper proposes a new stability analysis method called the Hybrid-event-Time Lyapunov Function (HTLF) approach for Discrete-time Delayed Switched Systems (DDSS). Two types of stability notions (GUAS and event-GUAS) are proposed to reflect the effects on stability from events. A basic stability result is derived: a DDSS has event-GUAS if and only if there exists an HTLF which is strictly decreasing and converges to zero. Moreover, some sufficient conditions expressed by HTLF-Razumikhin-type stability theorems are established. The issue of impulsive stabilization for DDSS is studied. It is proved that an unstable DDSS can be stabilized by impulsive control. And the impulsive stabilization to input-to-state stability of DDSS is also achieved.
    SIAM Journal on Control and Optimization 04/2014; 52(2). DOI:10.1137/110839096 · 1.39 Impact Factor
  • [Show abstract] [Hide abstract]
    ABSTRACT: This paper studies the stability issue for discrete-time delayed impulsive systems (DDIS). The DDIS model is formulated from a discrete-time delayed system with impulses. By using the matrix spectrum theory, the estimates of solution with growth exponent are derived for delayed difference inequalities. Based on these results, two types of criteria on exponential stability with an estimated convergence rate have been established for DDIS. The first type investigates the effect of destabilising impulses, while the second is for the case in which the impulses stabilise the unstable discrete-time delayed systems. As the application, the stability results are used to solve the multi-tracking issue for discrete-time dynamical networks by mixed impulsive networked control (MINC), in which the impulsive control signals are transmitted via a communication network. The effect of data dropout of impulsive control signals is also investigated and the maximal allowable dropout rate is estimated for the designed MINC. Finally, one example with numerical simulations is worked out for illustration.
    International Journal of Control 05/2014; 87(5). DOI:10.1080/00207179.2013.861930 · 1.14 Impact Factor

Full-text (2 Sources)

Available from
Jul 8, 2014