Practical Stability of Impulsive Discrete Systems with Time Delays

The purpose of this paper is to investigate the practical stability problem for impulsive discrete systems with time delays. By using Lyapunov functions and the Razumikhin-type technique, some criteria which guarantee the practical stability and uniformly asymptotically practical stability of the addressed systems are provided. Finally, two examples are presented to illustrate the criteria

On Norm-Based Estimations for Domains of Attraction in Nonlinear Time-Delay Systems

For nonlinear time-delay systems, domains of attraction are rarely studied despite their importance for technological applications. The present paper provides methodological hints for the determination of an upper bound on the radius of attraction by numerical means. Thereby, the respective Banach space for initial functions has to be selected and primary initial functions have to be chosen. The latter are used in time-forward simulations to determine a first upper bound on the radius of attraction. Thereafter, this upper bound is refined by secondary initial functions, which result a posteriori from the preceding simulations. Additionally, a bifurcation analysis should be undertaken. This analysis results in a possible improvement of the previous estimation. An example of a time-delayed swing equation demonstrates the various aspects.Comment: 33 pages, 8 figures, "This is a pre-print of an article published in 'Nonlinear Dynamics'. The final authenticated version is available online at https://doi.org/10.1007/s11071-020-05620-8

On norm-based estimations for domains of attraction in nonlinear time-delay systems

For nonlinear time-delay systems, domains of attraction are rarely studied despite their importance for technological applications. The present paper provides methodological hints for the determination of an upper bound on the radius of attraction by numerical means. Thereby, the respective Banach space for initial functions has to be selected and primary initial functions have to be chosen. The latter are used in time-forward simulations to determine a first upper bound on the radius of attraction. Thereafter, this upper bound is refined by secondary initial functions, which result a posteriori from the preceding simulations. Additionally, a bifurcation analysis should be undertaken. This analysis results in a possible improvement of the previous estimation. An example of a time-delayed swing equation demonstrates the various aspects

Impulsive Control of Dynamical Networks

Dynamical networks (DNs) consist of a large set of interconnected nodes with each node being a fundamental unit with detailed contents. A great number of natural and man-made networks such as social networks, food networks, neural networks, WorldWideWeb, electrical power grid, etc., can be effectively modeled by DNs. The main focus of the present thesis is on delay-dependent impulsive control of DNs. To study the impulsive control problem of DNs, we firstly construct stability results for general nonlinear time-delay systems with delayed impulses by using the method of Lyapunov functionals and Razumikhin technique. Secondly, we study the consensus problem of multi-agent systems with both fixed and switching topologies. A hybrid consensus protocol is proposed to take into consideration of continuous-time communications among agents and delayed instant information exchanges on a sequence of discrete times. Then, a novel hybrid consensus protocol with dynamically changing interaction topologies is designed to take the time-delay into account in both the continuous-time communication among agents and the instant information exchange at discrete moments. We also study the consensus problem of networked multi-agent systems. Distributed delays are considered in both the agent dynamics and the proposed impulsive consensus protocols. Lastly, stabilization and synchronization problems of DNs under pinning impulsive control are studied. A pinning algorithm is incorporated with the impulsive control method. We propose a delay-dependent pinning impulsive controller to investigate the synchronization of linear delay-free DNs on time scales. Then, we apply the pinning impulsive controller proposed for the delay-free networks to stabilize time-delay DNs. Results show that the delay-dependent pinning impulsive controller can successfully stabilize and synchronize DNs with/without time-delay. Moreover, we design a type of pinning impulsive controllers that relies only on the network states at history moments (not on the states at each impulsive instant). Sufficient conditions on stabilization of time-delay networks are obtained, and results show that the proposed pinning impulsive controller can effectively stabilize the network even though only time-delay states are available to the pinning controller at each impulsive instant. We further consider the pinning impulsive controllers with both discrete and distributed time-delay effects to synchronize the drive and response systems modeled by globally Lipschitz time-delay systems. As an extension study of pinning impulsive control approach, we investigate the synchronization problem of systems and networks governed by PDEs

On Stability and Stabilization of Hybrid Systems

The thesis addresses the stability, input-to-state stability (ISS), and stabilization problems for deterministic and stochastic hybrid systems with and without time delay. The stabilization problem is achieved by reliable, state feedback controllers, i.e., controllers experience possible faulty in actuators and/or sensors. The contribution of this thesis is presented in three main parts. Firstly, a class of switched systems with time-varying norm-bounded parametric uncertainties in the system states and an external time-varying, bounded input is addressed. The problems of ISS and stabilization by a robust reliable $H_{\infty}$ control are established by using multiple Lyapunov function technique along with the average dwell-time approach. Then, these results are further extended to include time delay in the system states, and delay systems subject to impulsive effects. In the latter two results, Razumikhin technique in which Lyapunov function, but not functional, is used to investigate the qualitative properties. Secondly, the problem of designing a decentralized, robust reliable control for deterministic impulsive large-scale systems with admissible uncertainties in the system states to guarantee exponential stability is investigated. Then, reliable observers are also considered to estimate the states of the same system. Furthermore, a time-delayed large-scale impulsive system undergoing stochastic noise is addressed and the problems of stability and stabilization are investigated. The stabilization is achieved by two approaches, namely a set of decentralized reliable controllers, and impulses. Thirdly, a class of switched singularly perturbed systems (or systems with different time scales) is also considered. Due to the dominant behaviour of the slow subsystem, the stabilization of the full system is achieved through the slow subsystem. This approach results in reducing some unnecessary sufficient conditions on the fast subsystem. In fact, the singular system is viewed as a large-scale system that is decomposed into isolated, low order subsystems, slow and fast, and the rest is treated as interconnection. Multiple Lyapunov functions and average dwell-time switching signal approach are used to establish the stability and stabilization. Moreover, switched singularly perturbed systems with time-delay in the slow system are considered

Qualitative Studies of Nonlinear Hybrid Systems

A hybrid system is a dynamical system that exhibits both continuous and discrete dynamic behavior. Hybrid systems arise in a wide variety of important applications in diverse areas, ranging from biology to computer science to air traffic dynamics. The interaction of continuous- and discrete-time dynamics in a hybrid system often leads to very rich dynamical behavior and phenomena that are not encountered in purely continuous- or discrete-time systems. Investigating the dynamical behavior of hybrid systems is of great theoretical and practical importance. The objectives of this thesis are to develop the qualitative theory of nonlinear hybrid systems with impulses, time-delay, switching modes, and stochastic disturbances, to develop algorithms and perform analysis for hybrid systems with an emphasis on stability and control, and to apply the theory and methods to real-world application problems. Switched nonlinear systems are formulated as a family of nonlinear differential equations, called subsystems, together with a switching signal that selects the continuous dynamics among the subsystems. Uniform stability is studied emphasizing the situation where both stable and unstable subsystems are present. Uniformity of stability refers to both the initial time and a family of switching signals. Stabilization of nonlinear systems via state-dependent switching signal is investigated. Based on assumptions on a convex linear combination of the nonlinear vector fields, a generalized minimal rule is proposed to generate stabilizing switching signals that are well-defined and do not exhibit chattering or Zeno behavior. Impulsive switched systems are hybrid systems exhibiting both impulse and switching effects, and are mathematically formulated as a switched nonlinear system coupled with a sequence of nonlinear difference equations that act on the switched system at discrete times. Impulsive switching signals integrate both impulsive and switching laws that specify when and how impulses and switching occur. Invariance principles can be used to investigate asymptotic stability in the absence of a strict Lyapunov function. An invariance principle is established for impulsive switched systems under weak dwell-time signals. Applications of this invariance principle provide several asymptotic stability criteria. Input-to-state stability notions are formulated in terms of two different measures, which not only unify various stability notions under the stability theory in two measures, but also bridge this theory with the existent input/output theories for nonlinear systems. Input-to-state stability results are obtained for impulsive switched systems under generalized dwell-time signals. Hybrid time-delay systems are hybrid systems with dependence on the past states of the systems. Switched delay systems and impulsive switched systems are special classes of hybrid time-delay systems. Both invariance property and input-to-state stability are extended to cover hybrid time-delay systems. Stochastic hybrid systems are hybrid systems subject to random disturbances, and are formulated using stochastic differential equations. Focused on stochastic hybrid systems with time-delay, a fundamental theory regarding existence and uniqueness of solutions is established. Stabilization schemes for stochastic delay systems using state-dependent switching and stabilizing impulses are proposed, both emphasizing the situation where all the subsystems are unstable. Concerning general stochastic hybrid systems with time-delay, the Razumikhin technique and multiple Lyapunov functions are combined to obtain several Razumikhin-type theorems on both moment and almost sure stability of stochastic hybrid systems with time-delay. Consensus problems in networked multi-agent systems and global convergence of artificial neural networks are related to qualitative studies of hybrid systems in the sense that dynamic switching, impulsive effects, communication time-delays, and random disturbances are ubiquitous in networked systems. Consensus protocols are proposed for reaching consensus among networked agents despite switching network topologies, communication time-delays, and measurement noises. Focused on neural networks with discontinuous neuron activation functions and mixed time-delays, sufficient conditions for existence and uniqueness of equilibrium and global convergence and stability are derived using both linear matrix inequalities and M-matrix type conditions. Numerical examples and simulations are presented throughout this thesis to illustrate the theoretical results

Synchronous behavior in networks of coupled systems : with applications to neuronal dynamics

Synchronization in networks of interacting dynamical systems is an interesting phenomenon that arises in nature, science and engineering. Examples include the simultaneous flashing of thousands of fireflies, the synchronous firing of action potentials by groups of neurons, cooperative behavior of robots and synchronization of chaotic systems with applications to secure communication. How is it possible that systems in a network synchronize? A key ingredient is that the systems in the network "communicate" information about their state to the systems they are connected to. This exchange of information ultimately results in synchronization of the systems in the network. The question is how the systems in the network should be connected and respond to the received information to achieve synchronization. In other words, which network structures and what kind of coupling functions lead to synchronization of the systems? In addition, since the exchange of information is likely to take some time, can systems in networks show synchronous behavior in presence of time-delays? The first part of this thesis focusses on synchronization of identical systems that interact via diffusive coupling, that is a coupling defined through the weighted difference of the output signals of the systems. The coupling might contain timedelays. In particular, two types of diffusive time-delay coupling are considered: coupling type I is diffusive coupling in which only the transmitted signals contain a time-delay, and coupling type II is diffusive coupling in which every signal is timedelayed. It is proven that networks of diffusive time-delay coupled systems that satisfy a strict semipassivity property have solutions that are ultimately bounded. This means that the solutions of the interconnected systems always enter some compact set in finite time and remain in that set ever after. Moreover, it is proven that nonlinear minimum-phase strictly semipassive systems that interact via diffusive coupling always synchronize provided the interaction is sufficiently strong. If the coupling functions contain time-delays, then these systems synchronize if, in addition to the sufficiently strong interaction, the product of the time-delay and the coupling strength is sufficiently small. Next, the specific role of the topology of the network in relation to synchronization is discussed. First, using symmetries in the network, linear invariant manifolds for networks of the diffusively time-delayed coupled systems are identified. If such a linear invariant manifold is also attracting, then the network possibly shows partial synchronization. Partial synchronization is the phenomenon that some, at least two, systems in the network synchronize with each other but not with every system in the network. It is proven that a linear invariant manifold defined by a symmetry in a network of strictly semipassive systems is attracting if the coupling strength is sufficiently large and the product of the coupling strength and the time-delay is sufficiently small. The network shows partial synchronization if the values of the coupling strength and time-delay for which this manifold is attracting differ from those for which all systems in the network synchronize. Next, for systems that interact via symmetric coupling type II, it is shown that the values of the coupling strength and time-delay for which any network synchronizes can be determined from the structure of that network and the values of the coupling strength and time-delay for which two systems synchronize. In the second part of the thesis the theory presented in the first part is used to explain synchronization in networks of neurons that interact via electrical synapses. In particular, it is proven that four important models for neuronal activity, namely the Hodgkin-Huxley model, the Morris-Lecar model, the Hindmarsh-Rose model and the FitzHugh-Nagumo model, all have the semipassivity property. Since electrical synapses can be modeled by diffusive coupling, and all these neuronal models are nonlinear minimum-phase, synchronization in networks of these neurons happens if the interaction is sufficiently strong and the product of the time-delay and the coupling strength is sufficiently small. Numerical simulations with various networks of Hindmarsh-Rose neurons support this result. In addition to the results of numerical simulations, synchronization and partial synchronization is witnessed in an experimental setup with type II coupled electronic realizations of Hindmarsh-Rose neurons. These experimental results can be fully explained by the theoretical findings that are presented in the first part of the thesis. The thesis continues with a study of a network of pancreatic -cells. There is evidence that these beta-cells are diffusively coupled and that the synchronous bursting activity of the network is related to the secretion of insulin. However, if the network consists of active (oscillatory) beta-cells and inactive (dead) beta-cells, it might happen that, due to the interaction between the active and inactive cells, the activity of the network dies out which results in a inhibition of the insulin secretion. This problem is related to Diabetes Mellitus type 1. Whether the activity dies out or not depends on the number of cells that are active relative to the number of inactive cells. A bifurcation analysis gives estimates of the number of active cells relative to the number of inactive cells for which the network remains active. At last the controlled synchronization problem for all-to-all coupled strictly semipassive systems is considered. In particular, a systematic design procedure is presented which gives (nonlinear) coupling functions that guarantee synchronization of the systems. The coupling functions have the form of a definite integral of a scalar weight function on a interval defined by the outputs of the systems. The advantage of these coupling functions over linear diffusive coupling is that they provide high gain only when necessary, i.e. at those parts of the state space of the network where nonlinearities need to be suppressed. Numerical simulations in networks of Hindmarsh-Rose neurons support the theoretical results

Qualitative Theory of Switched Integro-differential Equations with Applications

Switched systems, which are a type of hybrid system, evolve according to a mixture of continuous/discrete dynamics and experience abrupt changes based on a switching rule. Many real-world phenomena found in branches of applied math, computer science, and engineering are naturally modelled by hybrid systems. The main focus of the present thesis is on hybrid impulsive systems with distributed delays (HISD). That is, studying the qualitative behaviour of switched integro-differential systems with impulses. Important applications of impulsive systems can be found in stabilizing control (e.g. using impulsive control in combination with switching control) and epidemiology (e.g. pulse vaccination control strategies), both of which are studied in this work. In order to ensure the models are well-posed, some fundamental theory is developed for systems with bounded or unbounded time-delays. Results on existence, uniqueness, and continuation of solutions are established. As solutions of HISD are generally not known explicitly, a stability analysis is performed by extending the current theoretical approaches in the switched systems literature (e.g. Halanay-like inequalities and Razumikhin-type conditions). Since a major field of research in hybrid systems theory involves applying hybrid control to problems, contributions are made by extending current results on stabilization by state-dependent switching and impulsive control for unstable systems of integro-differential equations. The analytic results found are applied to epidemic models with time-varying parameters (e.g. due to changes in host behaviour). In particular, we propose a switched model of Chikungunya disease and study its long-term behaviour in order to develop threshold conditions guaranteeing disease eradication. As a sequel to this, we look at the stability of a more general vector-borne disease model under various vaccination schemes. Epidemic models with general nonlinear incidence rates and age-dependent population mixing are also investigated. Throughout the thesis, computational methods are used to illustrate the theoretical results found