Stability of interconnected impulsive systems with and without time delays,using Lyapunov methods

In this paper, we consider the 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 prove that the whole network is uniformly ISS under the small-gain and the average 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.     

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.     

Dupire It\^{o}’s formula for the exponential synchronization of stochastic semi-Markov jump systems with mixed delay under impulsive control

This paper emphasizes the exponential synchronization for a class of stochastic semi-Markov jump systems with mixed delay via stochastic hybrid impulsive control. The impulsive sequence includes synchronous and asynchronous impulses with the impulsive gains being a sequence of stochastic variables. Inspired by the idea of average, a concept of ``average stochastic impulsive gain" is used to qualify the impulse intensity. Our approach expands Dupire functional It\^{o}$"s formula to the stochastic semi-Markov jump systems with mixed delay for the first time. Moreover, in view of the established Lyapunov functional, graph theory, and stochastic analysis theory, some exponential synchronization criteria for the systems are derived. The theoretical results are applied to a class of Chua"s circuit systems with semi-Markov jump and mixed delay. Some synchronization criteria for the circuit systems are provided. The simulation results verify the effectiveness of the theoretical results.     

Robust exponential stability of impulsive switched systems with switching delays: A Razumikhin approach

In this paper, we focus on the robust exponential stability of a class of uncertain nonlinear impulsive switched systems with switching delays. We introduce a novel type of piecewise Lyapunov-Razumikhin functions. Such functions can efficiently eliminate the impulsive and switching jump of adjacent Lyapunov functions at impulsive switching instants. By Razumikhin technique, the delay-independent criteria of exponential stability are established on the minimum dwell time. Finally, an illustrative numerical example is presented to show the effectiveness of the obtained theoretical results.     

Input-to-state stability of impulsive systems with hybrid delayed impulse effects

The goal of this paper is to study properties of input-to-state stability (ISS) and integral input-to-state stability (iISS) of impulsive systems with hybrid delayed impulses, and a set of Lyapunov-based sufficient conditions ensuring ISS/iISS properties are obtained. Those conditions reveal the effects of hybrid delayed impulses on ISS/iISS and establish the relationship between impulsive frequency and the time delay existing in hybrid impulses. When the continuous dynamics of the system are stabilizing, the ISS property can be retained under the impulse scheme even if there exist destabilizing impulses. Conversely, when the impulse dynamics are stabilizing, but the continuous dynamics are not, the ISS property can be obtained if the interval between impulses are not overly long. Two illustrative examples are presented, with their numerical simulations, to demonstrate the effectiveness of the main results.     

Input-to-state stability of nonlinear systems with hybrid inputs and delayed impulses

This paper addresses input-to-state stability (ISS) and integral input-to-state stability (iISS) problem of impulsive systems with hybrid inputs and delayed impulses. By adopting Lyapunov function method, sufficient conditions for ISS/iISS are established, and the impact of time delay in hybrid impulses, that is, the stabilizing impulses and destabilizing impulses, are further studied. Moreover, several examples are given and numerical simulations are performed to illustrate their usefulness.     

Uniform stability and ISS of discrete-time impulsive hybrid systems

This paper studies the uniform stability and ISS (input-to-state stability) properties for DIHS (discrete-time impulsive hybrid systems) via comparison approach. By employing the vector-value function, the comparison principle is established for DIHS with external inputs. Then the comparison principle is used to establish the uniform stability and ISS criteria for DIHS, respectively. Moreover, regions in which the uniform stability and ISS properties can be guaranteed are estimated. As applications, the comparison principle and the results of uniform stability and ISS are used to study the robustly globally uniformly exponential stability for uncertain DIHS and exponential ISS of DIHS. It is shown that impulses contribute to stability and ISS properties for a discrete-time system which has no such properties. Two examples with numerical simulations are worked out for illustration.     

Impulsive control systems with commutative vector fields

We consider variational problems with control laws given by systems of ordinary differential equations whose vector fields depend linearly on the time derivativeu=(u ¹,...,u ^m ) of the controlu=(u ¹,...,u ^m ). The presence of the derivativeu, which is motivated by recent applications in Lagrangian mechanics, causes an impulsive dynamics: at any jump of the control, one expects a jump of the state.The main assumption of this paper is the commutativity of the vector fields that multiply theu . This hypothesis allows us to associate our impulsive systems and the corresponding adjoint systems to suitable nonimpulsive control systems, to which standard techniques can be applied. In particular, we prove a maximum principle, which extends Pontryagin's maximum principle to impulsive commutative systems.     

Stability and robustness of quasi-linear impulsive hybrid systems

Both hybrid dynamical systems and impulsive dynamical systems are studied extensively in the literature. However, impulsive hybrid systems are not yet well studied. Nonetheless, many physical systems exhibit both system switching and impulsive jump phenomena. This paper investigates stability and robust stability of a class of quasi-linear impulsive hybrid systems by using the methods of Lyapunov functions and Riccati inequalities. Sufficient conditions for stability and robust stability of those systems are established. Some examples are given to illustrate the applicability of our results.     

Exponential stability of singularly perturbed systems with mixed impulses

This paper investigates the exponential stability problem for a class of singularly perturbed impulsive systems in which the flow dynamics is unstable and is affected at discrete time instants by impulses that have both destabilizing and stabilizing effects. More precisely the impulses have stabilizing effects on the slow variables but destabilizing effects on the fast ones. Thus, a first contribution of our work is related to stability analysis of singularly perturbed impulsive systems in the case when neither the flow dynamics nor the impulsive one is stable. In order to take full advantage of the jump matrix structure and its stabilizing effects on the slow dynamics, we introduce a new impulse-dependent vector Lyapunov function. This function allows us to better describe the behavior between two consecutive impulses as well as the jumps at impulse instants. Several numerically tractable criteria for stability of singularly perturbed impulsive systems are established based on vector comparison principle. Additionally, upper bounds on the singular perturbation parameter are derived. Finally, the validity of our results is verified by two numerical examples.     

Lyapunov formulation of the ISS cyclic-small-gain theorem for hybrid dynamical networks

This paper presents a Lyapunov-based cyclic-small-gain theorem for the hybrid dynamical networks composed of input-to-state stable (ISS) subsystems whose motions may be continuous, impulsive or piecewise constant on the time-line. On the one hand, it is shown that hybrid dynamic networks with interconnection gains less than the identity function are ISS by means of Lyapunov functions. Additionally, an ISS-Lyapunov function for the total network is constructed using the ISS-Lyapunov functions of the subsystems. On the other hand, a novel result of this paper shows that a hybrid dynamic network satisfying the cyclic-small-gain condition can be transformed into one with interconnection gains less than the identity. In sharp contrast with several previously known results, the impulses of the subsystems are time triggered and the impulsive times for different subsystems may be different.     

Lyapunov formulation of the ISS cyclic-small-gain theorem for hybrid dynamical networks

This paper presents a Lyapunov-based cyclic-small-gain theorem for the hybrid dynamical networks composed of input-to-state stable (ISS) subsystems whose motions may be continuous, impulsive or piecewise constant on the time-line. On the one hand, it is shown that hybrid dynamic networks with interconnection gains less than the identity function are ISS by means of Lyapunov functions. Additionally, an ISS-Lyapunov function for the total network is constructed using the ISS-Lyapunov functions of the subsystems. On the other hand, a novel result of this paper shows that a hybrid dynamic network satisfying the cyclic-small-gain condition can be transformed into one with interconnection gains less than the identity. In sharp contrast with several previously known results, the impulses of the subsystems are time triggered and the impulsive times for different subsystems may be different.     

p-Moment Stability of Stochastic Nonlinear Delay Systems with Impulsive Jump and Markovian Switching

Abstract

This article is concerned with the problem of p-moment stability of stochastic differential delay equations with impulsive jump and Markovian switching. In this model, the features of stochastic systems, delay systems, impulsive systems, and Markovian switching are all taken into account, which is scarce in the literature. Based on Lyapunov–Krasovskii functional method and stochastic analysis theory, we obtain new criteria ensuring p-moment stability of trivial solution of a class of impulsive stochastic differential delay equations with Markovian switching.     

Stability analysis and stabilization of linear symmetric matrix-valued continuous,discrete, and impulsive dynamical systems — A unified approach for the stability analysis and the stabilization of linear systems

Matrix-valued dynamical systems are an important class of systems that can describe important processes such as covariance/second-order moment processes, or processes on manifolds and Lie Groups. We address here the case of processes that leave the cone of positive semidefinite matrices invariant, thereby including covariance and second-order moment processes. Both the continuous-time and the discrete-time cases are first considered. In the LTV case, the obtained stability and stabilization conditions are expressed as differential and difference Lyapunov conditions which are equivalent, in the LTI case, to some spectral conditions for the generators of the processes. Convex stabilization conditions are also obtained in both the continuous-time and the discrete-time setting. It is proven that systems with constant delays are stable provided that the systems with zero-delays are stable—which mirrors existing results for linear positive systems. The results are then extended and unified into an impulsive formulation for which similar results are obtained. The proposed framework is very general and can recover and/or extend many of the existing results in the literature on linear systems related to (mean-square) exponential (uniform) stability. Several examples are discussed to illustrate this claim by deriving stability conditions for stochastic systems driven by Brownian motion and Poissonian jumps, Markov jump systems, (stochastic) switched systems, (stochastic) impulsive systems, (stochastic) sampled-data systems, and all their possible combinations.     

Event-triggered and self-triggered impulsive control for two-time-scale systems

This paper studies the stability problem of two-time-scale system via event-triggered impulsive control and self-triggered impulsive control. The overall system is modeled with the hybrid formalism. Two Chang transformations are introduced to completely decouple the hybrid system states into flow set and jump set. A composite impulsive controller based on slow and fast system states is proposed, under which the slow and fast subsystems are simultaneously triggered by event-triggered and self-triggered mechanism, respectively. As a result, the stability conditions are derived for the system under event-triggered and self-triggered impulsive control, respectively. Furthermore, the theoretical result of self-triggered impulsive control is applied to the consensus of the interconnected two-time-scale systems. Finally, simulation examples and comparison study show the effectiveness of the proposed control strategies.     

Impulsive Markov jump linear systems: Stability analysis and H2 control

In this work, we present an impulsive Markov jump linear system model. We show how the present model generalises previous works from the literature, and we devise necessary and sufficient conditions for stability and performance, together with mode-dependent state-feedback control design conditions for such systems. An applied example shows how the developed theory can be used to control strategies under actuator and sensor failures.     

Local and global existence of mild solution to an impulsive fractional functional integro-differential equation with nonlocal condition

This paper is concerned with the local and global existence of mild solution for an impulsive fractional functional integro differential equations with nonlocal condition. We establish a general framework to find the mild solutions for impulsive fractional integro-differential equations, which will provide an effective way to deal with such problems. The results are obtained by using the fixed point technique and solution operator on a complex Banach space.     

Characterization and computation of control invariant sets for linear impulsive control systems

Impulsive control systems are suitable to describe and control a venue of real-life problems, going from disease treatment to aerospace guidance. The main characteristic of such systems is that they evolve freely in-between impulsive actions, which makes it difficult to guarantee its permanence in a given state-space region. In this work, we develop a method for characterizing and computing approximations to the maximal control invariant sets for linear impulsive control systems, which can be explicitly used to formulate a set-based model predictive controller. We approach this task using a tractable and non-conservative characterization of the admissible state sets, namely the states whose free response remains within given constraints, emerging from a spectrahedron representation of such sets for systems with rational eigenvalues. The so-obtained impulsive control invariant set is then explicitly used as a terminal set of a predictive controller, which guarantees the feasibly asymptotic convergence to a target set containing the invariant set. Necessary conditions under which an arbitrary target set contains an impulsive control invariant set (and moreover, an impulsive control equilibrium set) are also provided, while the controller performance are tested by means of two simulation examples.     

Impulsive control for one-side Lipschitz nonlinear MASs under semi-Markovian switching topologies with partially unknown transition probabilities

This article addresses the consensus problem of impulsive control for the multi-agent systems under uncertain semi-Markovian switching topologies. Considering the control and information exchanging cost in the implementation of multi-agent systems, an impulsive control protocol is developed not only to relieve the network burden but address the consensus problem. In addition, globally Lipschitz condition, as required in many existing literatures, is not needed in this article, so we introduce one-side Lipschitz condition to loosen the constraint of Lipschitz constant and widen the range of nonlinear application. According to cumulative distribution functions and Lyapunov functional, sufficient criteria are derived for the mean square consensus of multi-agent systems. It is shown that the impulsive sequence is not only inconsistent with switching sequence but also mode-dependent. Finally, simulation results are given to validate the superiority of the theoretical results.     

Hybrid Impulsive Control of Stochastic Systems with Multiplicative Noise Under Markovian Switching

A problem of state output feedback stabilization of discrete-time stochastic systems with multiplicative noise under Markovian switching is considered. Under some appropriate assumptions, the stability of this system under pure impulsive control is given. Further under hybrid impulsive control, the output feedback stabilization problem is investigated. The hybrid control action is formulated as a combination of the regular control along with an impulsive control action. The jump Markovian switching is modeled by a discrete-time Markov chain. The control input is simultaneously applied to both the stochastic and the deterministic terms. Sufficient conditions based on stochastic semi-definite programming and linear matrix inequalities (LMIs) for both stochastic stability and stabilization are obtained. Such a nonconvex problem is solved using the existing optimization algorithms and the nonconvex CVX package. The robustness of the stability and stabilization concepts against all admissible uncertainties are also investigated. The parameter uncertainties we consider here are norm bounded. Two examples are given to demonstrate the obtained results.