Computation of continuous and piecewise affine Lyapunov functions for discrete-time systems

In this paper, we present a new approach for computing Lyapunov functions for nonlinear discrete-time systems with an asymptotically stable equilibrium at the origin. Given a suitable triangulation of a compact neighbourhood of the origin, a continuous and piecewise affine function can be parameterized by the values at the vertices of the triangulation. If these vertex values satisfy system-dependent linear inequalities, the parameterized function is a Lyapunov function for the system. We propose calculating these vertex values using constructions from two classical converse Lyapunov theorems originally due to Yoshizawa and Massera. Numerical examples are presented to illustrate the proposed approach.     

Problems of practical stability and stabilization of motion in discrete-time systems

The paper considers some problems of practical stability of motion for systems of difference equations. Stability theorems and criteria are given for cases with various phase constraints. Stabilization of discretetime systems to practical stability levels is considered.Translated from Vychislitel'naya i Prikladnaya Matematika, No. 65, pp. 118–124, 1988.     

Lebesgue piecewise affine approximation of nonlinear systems

This paper addresses a piecewise affine (PWA) approximation problem, i.e., a problem of finding a PWA system model which approximates a given nonlinear system. First, we propose a new class of PWA systems, called the Lebesgue PWA approximation systems, as a model to approximate nonlinear systems. Next, we derive an error bound of the PWA approximation model, and provide a technique for constructing the approximation model with specified accuracy. Finally, the proposed method is applied to a gene regulatory network with nonlinear dynamics, which shows that the method is a useful approximation tool.     

Semiglobal practical integral input-to-state stability for a family of parameterized discrete-time interconnected systems with application to sampled-data control systems

Semiglobal practical integral input-to-state stability (SP-iISS) for a feedback interconnection of two discrete-time subsystems is given. We construct a Lyapunov function from the sum of nonlinearly-weighted Lyapunov functions of individual subsystems. In particular, we consider two main cases. The former gives SP-iISS for the interconnected system when both subsystems are semiglobally practically integral input-to-state stable. The latter investigates SP-iISS for the overall system when one of subsystems is allowed to be semiglobally practically input-to-state stable. Moreover, SP-iISS for discrete-time cascades and a feedback interconnection including a semiglobally practically integral input-to-state stable subsystem and a static subsystem are given. As an application of the results, these can be exploited in controller design for a sampled-data system in the framework proposed in Nešić et al. (1999) and Nešić and Angeli (2002). We illustrate such a controller design via an example.     

Global stability and stabilization of more general stochastic nonlinear systems

This paper considers the global stability and stabilization of more general stochastic nonlinear systems. Due to the absence of the conventional assumptions (e.g., Lipschitz condition), the stochastic nonlinear systems under investigation may have more than one weak solution. However, the most associated results are only applicable to the stochastic systems having a unique strong solution, and therefore, it is meaningful to refine and extend the relevant concepts and methods to the more general case. In this paper, the concepts of stochastic stability in the more general sense are first introduced to cover the stochastic nonlinear systems having more than one weak solution. Then, the generalized stochastic Barbashin–Krasovskii theorem and LaSalle theorem are established, which present the criterions of stochastic stability for more general stochastic nonlinear systems. As one of the main contributions in this paper, we rigorously prove the generalized stochastic Barbashin–Krasovskii theorem. Moreover, based on the generalized theorems, the output-feedback and state-feedback stabilization are accomplished respectively for two classes of high-order stochastic nonlinear systems under rather weaker assumptions comparing to the existing literature.     

Robust stability and stabilization methods for a class of nonlinear discrete-time delay systems

This paper establishes new robust delay-dependent stability and stabilization methods for a class of nonlinear discrete-time systems with time-varying delays. The parameter uncertainties are convex-bounded and the unknown nonlinearities are time-varying perturbations satisfying Lipschitz conditions in the state and delayed-state. An appropriate Lyapunov functional is constructed to exhibit the delay-dependent dynamics and compensate for the enlarged time-span. The developed methods for stability and stabilization eliminate the need for over bounding and utilize smaller number of LMI decision variables. New and less conservative solutions to the stability and stabilization problems of nonlinear discrete-time system are provided in terms of feasibility-testing of new parametrized linear matrix inequalities (LMIs). Robust feedback stabilization methods are provided based on state-measurements and by using observer-based output feedback so as to guarantee that the corresponding closed-loop system enjoys the delay-dependent robust stability with an L₂ gain smaller that a prescribed constant level. All the developed results are expressed in terms of convex optimization over LMIs and tested on representative examples.     

Exponential stabilization of nonlinear discrete-time systems

In this paper, we give sufficient conditions for the exponential stabilizability of a class of perturbed non-autonomous difference equations with slowly varying coefficients. Under appropriate growth conditions on the perturbations, we establish explicit results concerning the feedback exponential stabilizability.     

A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems

In this work, the issue of estimation of reachable sets in continuous bimodal piecewise affine systems is studied. A new method is proposed, in the framework of ellipsoidal bounding, using piecewise quadratic Lyapunov functions. Although bimodal piecewise affine systems can be seen as a special class of affine hybrid systems, reachability methods developed for affine hybrid systems might be inappropriately complex for bimodal dynamics. This work goes in the direction of exploiting the dynamical structure of the system to propose a simpler approach. More specifically, because of the piecewise nature of the Lyapunov function, we first derive conditions to ensure that a given quadratic function is positive on half spaces. Then, we exploit the property of bimodal piecewise quadratic functions being continuous on a given hyperplane. Finally, linear matrix characterizations of the estimate of the reachable set are derived.     

On continuity of solutions for parabolic control systems and input-to-state stability

We study minimal conditions under which mild solutions of linear evolutionary control systems are continuous for arbitrary bounded input functions. This question naturally appears when working with boundary controlled, linear partial differential equations. Here, we focus on parabolic equations which allow for operator-theoretic methods such as the holomorphic functional calculus. Moreover, we investigate stronger conditions than continuity leading to input-to-state stability with respect to Orlicz spaces. This also implies that the notions of input-to-state stability and integral-input-to-state stability coincide if additionally the uncontrolled equation is dissipative and the input space is finite-dimensional.     

Global stability of discrete-time competitive population models

We develop practical tests for the global asymptotic stability of interior fixed points for discrete-time competitive population models. Our method constitutes the extension to maps of the Split Lyapunov method developed for differential equations. We give ecologically-motivated sufficient conditions for global stability of an interior fixed point of a map of Kolmogorov form. We introduce the concept of a principal reproductive mode, which is linked to a normal at the interior fixed point of a hypersurface of vanishing weighted-average growth. Our method is applied to establish new global stability results for 3-species competitive systems of May-Leonard type, where previously only parameter values for local stability was known.     

Robust stability and stabilization analysis for discrete-time randomly switched fuzzy systems with known sojourn probabilities

The stability and stabilization analysis problem is considered in this paper for a class of discrete-time switched fuzzy systems with known sojourn probabilities. By using Lyapunov functional, new delay-dependent sufficient conditions are derived to ensure the stability of the system. Convex combination technique is incorporated and the stability criteria are presented in terms of Linear matrix inequalities (LMIs). Furthermore, the developed approach is extended to address the robust stability and stabilization analysis of the delayed discrete-time switched fuzzy systems with randomly occurring uncertainties. Finally numerical examples are exploited to substantiate the theoretical results.     

On stability of discrete-time switched systems

This article deals with stability of discrete-time switched systems. Given a family of nonlinear systems and the admissible switches among the systems in the family, we first propose a class of switching signals under which the resulting switched system is globally asymptotically stable. We allow unstable systems in the family and our stability condition depends solely on asymptotic behaviour of the switching signals. We then discuss algorithmic construction of the above class of switching signals, and show that in the presence of exogenous inputs and outputs, a switching signal so constructed also ensures input/output-to-state stability for discrete-time switched nonlinear systems. We finally show that our class of switching signals that ensures global asymptotic stability also extends to the continuous-time setting with minor modifications under standard assumptions. We employ multiple Lyapunov-like functions and graph theoretic tools as the main apparatuses for our analysis.     

Quantized stabilization of discrete-time systems in a networked environment

This paper is concerned with the problem of output feedback stabilization for a class of discrete-time systems with sector nonlinearities and imperfect measurements. A unified control law model is proposed to take the network-induced delay, random packet dropout and measurement quantization into consideration simultaneously. By choosing appropriate Lyapunov functional, a new stability condition, which is dependent on multiple network status, is established for the resulting closed-loop system. Based on the result, a design criterion for the static output feedback controller is formulated in the form of nonconvex matrix inequalities, and the cone complementary linearization (CCL) procedure is exploited to solve the nonconvex feasibility problem. Incidentally, a less conservative synthesis method is also developed for the state feedback stabilization purpose. Finally, two illustrative examples are provided to illustrate the effectiveness and applicability of the proposed design method.     

Generalized average dwell time approach to stability and input-to-state stability of hybrid impulsive stochastic differential systems

This paper is concerned with the stability properties of a class of impulsive stochastic differential systems with Markovian switching. Employing the generalized average dwell time (gADT) approach, some criteria on the global asymptotic stability in probability and the stochastic input-to-state stability of the systems under consideration are established. Two numerical examples are given to illustrate the effectiveness of the theoretical results, as well as the effects of the impulses and the Markovian switching on the systems stability.     

Global stability of a two-species piecewise linear volterra ecosystem

This paper extends the results of Goh [1], and Takeuchi and Adachi [2,3] concerning the generalized linear Volterra model. We introduce a piecewise linear Volterra model for a two- species system. The solution of the steady-state problem is then shown to be equivalent to finding the solution to the Generalized Linear Complementarity Problem. We show when this nonnegative equilibrium is unique and globally asymptotically stable in the sense of Goh [1].     

Event-triggered delayed impulsive control for input-to-state stability of nonlinear impulsive systems

This paper studies the input-to-state stability (ISS) and integral input-to-state stability (iISS) of nonlinear impulsive systems in the framework of event-triggered impulsive control (ETIC), where the stabilizing effect of time delays in impulses is fully considered. Some sufficient conditions which can avoid Zeno behavior and guarantee the ISS/iISS property of impulsive systems are proposed, where external inputs are considered in both the continuous dynamics and impulsive dynamics. A novel event-triggered delayed impulsive control (ETDIC) strategy which establishes a relationship among event-triggered parameters, impulse strength and time delays in impulses is presented. It is shown that time delays in impulses can contribute to the stabilization of impulsive systems in ISS/iISS sense. Finally, the effectiveness of the proposed theoretical results is illustrated by two numerical examples.