Control vector Lyapunov functions for large-scale impulsive dynamical systems

Vector Lyapunov theory has been developed to weaken the hypothesis of standard Lyapunov theory in order to enlarge the class of Lyapunov functions that can be used for analyzing system stability. In this paper, we provide generalizations to the recent extensions of vector Lyapunov theory for continuous-time systems to address stability and control design of impulsive dynamical systems via vector Lyapunov functions. Specifically, we provide a generalized comparison principle involving hybrid comparison dynamics that are dependent on the comparison system states as well as the nonlinear impulsive dynamical system states. Furthermore, we develop stability results for impulsive dynamical systems that involve vector Lyapunov functions and hybrid comparison inequalities. Based on these results, we show that partial stability for state-dependent impulsive dynamical systems can be addressed via vector Lyapunov functions. Furthermore, we extend the recently developed notion of control vector Lyapunov functions to impulsive dynamical systems. Using control vector Lyapunov functions, we construct a universal hybrid decentralized feedback stabilizer for a decentralized affine in the control nonlinear impulsive dynamical system that possesses guaranteed gain and sector margins in each decentralized input channel. These results are then used to develop hybrid decentralized controllers for large-scale impulsive dynamical systems with robustness guarantees against full modeling and input uncertainty.     

Finite-time stabilization of state dependent impulsive dynamical linear systems

The problem of finite-time stabilizing control design for state-dependent impulsive dynamical linear systems (SD-IDLS) is tackled in this paper. Such systems are characterized by continuous-time, linear, possibly time-varying, dynamics coupled with discrete-time, linear, possibly time-varying, dynamics. The continuous-time part determines the system evolution in any time interval between two consecutive resetting events, while the discrete-time part governs its instantaneous state jump whenever the system trajectory intersects a resetting set, i.e. a region of the state space assumed to be time-independent. By making use of a quadratic control Lyapunov function, the finite-time stabilization of SD-IDLS through a static output feedback control design is specifically discussed in this paper. A sufficient and constructive result is provided based on the conical hulls of the resetting set subregions and on some cone copositivity properties of the chosen control Lyapunov function. Such a result is based on the solution of a feasibility problem that involves a set of coupled Difference/Differential Linear Matrix Inequalities (D/DLMI), which is shown to be less conservative and more numerically amenable with respect to other results available in the literature. An example illustrates the effectiveness of the proposed approach.     

Finite-time semistability,Filippov systems,and consensus protocols for nonlinear dynamical networks with switching topologies

This paper focuses on semistability and finite-time semistability for discontinuous dynamical systems. Semistability is the property whereby the solutions of a dynamical system converge to Lyapunov stable equilibrium points determined by the system initial conditions. In this paper, we extend the theory of semistability to discontinuous autonomous dynamical systems. In particular, Lyapunov-based tests for strong and weak semistability as well as finite-time semistability for autonomous differential inclusions are established. Using these results we then develop a framework for designing semistable and finite-time semistable protocols for dynamical networks with switching topologies. Specifically, we present distributed nonlinear static and dynamic output feedback controller architectures for multiagent network consensus and rendezvous with dynamically changing communication topologies.     

Finite-time stability and stabilization of nonlinear stochastic hybrid systems

This paper deals with the problem of finite-time stability and stabilization of nonlinear Markovian switching stochastic systems which exist impulses at the switching instants. Using multiple Lyapunov function theory, a sufficient condition is established for finite-time stability of the underlying systems. Furthermore, based on the state partition of continuous parts of systems, a feedback controller is designed such that the corresponding impulsive stochastic closed-loop systems are finite-time stochastically stable. A numerical example is presented to illustrate the effectiveness of the proposed method.     

Exponential stability preservation in semi-discretisations of BAM networks with nonlinear impulses

This paper demonstrates the reliability of a discrete-time analogue in preserving the exponential convergence of a bidirectional associative memory (BAM) network that is subject to nonlinear impulses. The analogue derived from a semi-discretisation technique with the value of the time-step fixed is treated as a discrete-time dynamical system while its exponential convergence towards an equilibrium state is studied. Thereby, a family of sufficiency conditions governing the network parameters and the impulse magnitude and frequency is obtained for the convergence. As special cases, one can obtain from our results, those corresponding to the non-impulsive discrete-time BAM networks and also those corresponding to continuous-time (impulsive and non-impulsive) systems. A relation between the Lyapunov exponent of the non-impulsive system and that of the impulsive system involving the size of the impulses and the inter-impulse intervals is obtained.     

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.     

Lyapunov stability for impulsive control affine systems

This article studies several notions of Lyapunov stability for impulsive control affine systems in the setting of nonautonomous dynamical systems. It presents some relations between the stability of an impulsive control affine system and the stability of its adjacent control system. Stability of compact sets and their components are specially investigated. Lyapunov functionals are employed to characterize each type of stability of closed sets.     

Invariance principles for hybrid systems with memory

Hybrid systems with memory are dynamical systems exhibiting both delayed and hybrid dynamics. Such systems can be described by hybrid functional inclusions. Classical invariance principles play an instrumental role in proving stability and convergence of dynamical systems. Invariance principles for general hybrid systems with delays, however, remain an open topic. In this paper, we prove invariance principles for hybrid systems with memory, using both Lyapunov–Razumikhin function and Lyapunov–Krasovskii functional methods. These invariance principles are then applied to derive two stability results as corollaries.     

Practical finite-time stability of switched nonlinear time-varying systems based on initial state-dependent dwell time methods

This paper considers the problem of practical finite-time stability (PFTS) for switched nonlinear time-varying (SNTV) systems. Starting with nonlinear time-varying (NTV) systems, a new sufficient condition is proposed to verify the PFTS of systems by using an improved Lyapunov function. Then, the results obtained are extended to study the PFTS of SNTV systems. Two stability conditions are proposed for SNTV systems under arbitrary switching, moreover, the time and region of convergence are also given. Furthermore, an initial state-dependent dwell time method is introduced to study the PFTS of SNTV systems. Three stability conditions are proposed by using the methods of initial state-dependent minimum dwell time (ISD-MDT) and initial state-dependent average dwell time (ISD-ADT), respectively. The comparisons between the obtained results and the existing results are also given, and the obtained results are extended to impulsive switched nonlinear time-varying (ISNTV) systems. Finally, a numerical example is provided to illustrate the theoretical results.     

不确定非自治混沌陀螺仪在非线性输入下的有限时间稳定性

陀螺仪是一个非常有趣,又是永恒的非线性非自治动力系统课题,它可以显示出非常复杂的动力学行为,如混沌现象.在一个给定的有限时间内,研究非线性非自治陀螺仪鲁棒稳定性问题.假设陀螺仪系统受到模型不确定的外部扰动而摄动,系统参数并不知道,同时考虑了非线性输入的影响.为未知参数提出了适当的自适应律.以自适应律和有限时间控制理论为基础,提出非连续有限时间控制理论,来研究系统的有限时间稳定性.解析证明了闭循环系统的有限时间稳定性及其收敛性.若干数值仿真结果表明,该文的有限时间控制法是有效的,同时验证了该文的理论结果.     

异维混沌动力系统的有限时间广义同步

本文研究了异维混沌动力系统的有限时间广义同步的问题.利用有限时间Lyapunov稳定性定理、Jensen不等式等理论方法,通过设置不同的控制器,从理论上提出了一般的异维驱动系统和响应系统的有限时间广义同步的两种方案,并且对方案二中的影响同步时间因素做了理论分析和证明.最后,数值模拟验证了提出理论的正确性和可行性.     

Mean square exponential synchronization for impulsive coupled neural networks with time‐varying delays and stochastic disturbances

In this article, the mean square exponential synchronization of a class of impulsive coupled neural networks with time‐varying delays and stochastic disturbances is investigated. The information transmission among the systems can be directed and lagged, that is, the coupling matrices are not needed to be symmetrical and there exist interconnection delays. The dynamical behaviors of the networks can be both continuous and discrete. Specially, the time‐varying delays are taken into consideration to describe the impulsive effects of the system. The control objective is that the trajectories of the salve system by designing suitable control schemes track the trajectories of the master system with impulsive effects. Consequently, sufficient criteria for guaranteeing the mean square exponential convergence of the two systems are obtained in view of Lyapunov stability theory, comparison principle, and mathematical induction. Finally, a numerical simulation is presented to show the verification of the main results in this article. © 2015 Wiley Periodicals, Inc. Complexity 21: 190–202, 2016     

Finite‐time control of impulsive hybrid dynamical systems in pest management

This paper deals with the dynamics of a class of hybrid dynamical systems, which are subject to time‐dependent impulsive perturbations within a finite‐time interval and describe control strategies for integrated pest management. By using suitably defined Lyapunov functionals, sufficient conditions for the finite‐time contractive stability of the null solution are found by means of monotonicity arguments. Finally, a numerical simulation illustrates the theoretical analysis. Copyright © 2014 John Wiley & Sons, Ltd.     

Weak almost periodic motions,minimality and stability in impulsive semidynamical systems

In this paper, we study topological properties of semidynamical systems whose continuous dynamics are interrupted by abrupt changes of state. First, we establish results which relate various concepts as stability of Lyapunov, weakly almost periodic motions, recurrence and minimality. In the sequel, we study the stability of Zhukovskij for impulsive systems and we obtain some results about uniform attractors.     

Gap Functions and Lyapunov Functions

Equilibrium problems play a central role in the study of complex and competitive systems. Many variational formulations of these problems have been presented in these years. So, variational inequalities are very useful tools for the study of equilibrium solutions and their stability. More recently a dynamical model of equilibrium problems based on projection operators was proposed. It is designated as globally projected dynamical system (GPDS). The equilibrium points of this system are the solutions to the associated variational inequality (VI) problem. A very popular approach for finding solution of these VI and for studying its stability consists in introducing the so-called "gap-functions", while stability analysis of an equilibrium point of dynamical systems can be made by means of Lyapunov functions. In this paper we show strict relationships between gap functions and Lyapunov functions.     

An explicit criterion for finite-time stability of linear nonautonomous systems with delays

In this paper, the problem of finite-time stability of linear nonautonomous systems with time-varying delays is considered. Using a novel approach based on some techniques developed for linear positive systems, we derive new explicit conditions in terms of matrix inequalities ensuring that the state trajectories of the system do not exceed a certain threshold over a pre-specified finite time interval. These conditions are shown to be relaxed for the Lyapunov asymptotic stability. A numerical example is given to illustrate the effectiveness of the obtained result.     

Dynamical Systems and Adaptive Timestepping in ODE Solvers

Initial value problems for ODEs are often solved numerically using adaptive timestepping algorithms. These algorithms are controlled by a user-defined tolerance which bounds from above the estimated error committed at each step. We formulate a large class of such algorithms as discrete dynamical systems which are discontinuous and of higher dimension than the underlying ODE. By assuming sufficiently strong finite-time convergence results on some neighbourhood of an attractor of the ODE we prove existence and upper semicontinuity results for a nearby numerical attractor as the tolerance tends to zero.This assumption of sufficiently strong finite-time convergence results is then examined for adaptive algorithms that use a pair of explicit Runge-Kutta methods of different order to estimate the one-step error. For arbitrary Runge-Kutta pairs the necessary finite-time convergence results fail to hold on a set of points in the phase space that includes all the equilibria of the ODE. Therefore, in general, the asymptotic convergence results cannot be applied to attractors containing equilibria. However, for a particular class of Runge-Kutta pairs, the finite-time convergence results can be strengthened to include neighbourhoods of equilibrium points for which the Jacobian is invertible.     

Chaos synchronization and chaos control of quantum-CNN chaotic system by variable structure control and impulse control

In this paper, we derive some less stringent conditions for the exponential and asymptotic stability of impulsive control systems with impulses at fixed times. These conditions are then used to design an impulsive control law for the Quantum Cellular Neural Network chaotic system, which drives the chaotic state to zero equilibrium and synchronizes two chaotic systems. An active sliding mode control method is synchronizing two chaotic systems and controlling chaotic state to periodic motion state. And a sufficient condition is drawn for the robust stability of the error dynamics, and is applied to guiding the design of the controllers. Finally, numerical results are used to show the robustness and effectiveness of the proposed control strategy.     

具概率延迟反馈金融系统的脉冲控制

研究了概率时滞脉冲金融系统平衡点的全局渐近稳定性问题。首先,通过定义合适的时滞分段区间上的随机变量,给出了概率时滞的脉冲金融系统的数学模型,根据脉冲微分不等式特点构造了一个简便合适的Lyapunov函数利用脉冲微分不等式引理、控制脉冲间隔与脉冲量以及概率时滞分析技巧,获得了较大时滞允许范畴下的平衡点的全局指数稳定,并通过数值实例验证了方法的可行性以及概率时滞的优势。特别地,稳定性判定准则的时滞允许上限的增大,扩大了准则的实用性.     

Local and global stability analysis of a two prey one predator model with help

In this paper we propose and study a three dimensional continuous time dynamical system modelling a three team consists of two preys and one predator with the assumption that during predation the members of both teams of preys help each other and the rate of predation of both teams are different. In this work we establish the local asymptotic stability of various equilibrium points to understand the dynamics of the model system. Different conditions for the coexistence of equilibrium solutions are discussed. Persistence, permanence of the system and global stability of the positive interior equilibrium solution are discussed by constructing suitable Lyapunov functional. At the end, numerical simulations are performed to substantiate our analytical findings.