Lyapunov Methods for Time-Invariant Delay Difference Inclusions.

SIAM Journal on Control and Optimization (Impact Factor: 1.39). 01/2012; 50: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.

  • [Show abstract] [Hide abstract]
    ABSTRACT: This technical note considers stability analysis of time-delay systems described by delay difference equations (DDEs). All existing analysis methods for DDEs that rely on the Razumikhin approach provide sufficient, but not necessary conditions for asymptotic stability. Nevertheless, Lyapunov-Razumikhin functions are of interest because they induce invariant sets in the underlying state space of the dynamics. Therefore, we propose a relaxation of the Razumikhin conditions and prove that the relaxed conditions are necessary and sufficient for asymptotic stability of DDEs. For linear DDEs, it is shown that the developed conditions can be verified by solving a linear matrix inequality. Moreover, it is indicated that the proposed relaxation of Lyapunov-Razumikhin functions has an important implication for the construction of invariant sets for linear DDEs.
    IEEE Transactions on Automatic Control 10/2013; 58(10):2637-2642. · 3.17 Impact Factor
  • [Show abstract] [Hide abstract]
    ABSTRACT: The stabilisation of linear delay difference inclusions is often complicated by computational issues and the presence of constraints. In this study, to solve this problem, a receding horizon control scheme is proposed based on the Razumikhin approach and time-varying control Lyapunov functions. By allowing the control Lyapunov function to be time varying, the computational advantages of the Razumikhin approach can be exploited and at the same time the conservatism associated with this approach is avoided. Thus, a control scheme is obtained which takes constraints into account and requires solving on-line a low-dimensional semi-definite programming problem. The effectiveness of the proposed results is illustrated via an example that also shows the computational limitations of existing control strategies.
    IET Control Theory and Applications 08/2012; 6(12):1958-1964. · 1.84 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). · 1.39 Impact Factor

Full-text (2 Sources)

Available from
Jul 8, 2014