2,495 research outputs found
Stability of interconnected impulsive systems with and without time-delays using Lyapunov methods
In this paper we consider 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 we prove that
the whole network is uniformly ISS under a small-gain and a 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
Global stabilization of switched control systems with time delay
In this paper, the stabilization problem of switched control systems with time delay is investigated for both linear and nonlinear cases. First, a new global stabilizability concept with respect to state feedback and switching law is given. Then, based on multiple Lyapunov functions and delay inequalities, the state feedback controller and the switching law are devised to make sure that the resulting closed-loop switched control systems with time delay are globally asymptotically stable and exponentially stable
Stability of Hybrid Singularly Perturbed Systems with Time Delay
Hybrid singularly perturbed systems (SPSs) with time delay are considered and exponential stability of these systems is investigated. This work mainly covers switched and impulsive switched delay SPSs . Multiple Lyapunov functions technique as a tool is applied to these systems. Dwell and average dwell time approaches are used to organize the switching between subsystems (modes) so that the hybrid system is stable. Systems with all stable modes are first discussed and, after developing lemmas to ensure existence of growth rates of unstable modes, these systems are then extended to include, in addition, unstable modes. Sufficient conditions showing that impulses contribute to yield stability properties of impulsive switched systems that consist of all unstable subsystems are also established. A number of illustrative examples are presented to help motivate the study of these systems
Amplitude Death: The emergence of stationarity in coupled nonlinear systems
When nonlinear dynamical systems are coupled, depending on the intrinsic
dynamics and the manner in which the coupling is organized, a host of novel
phenomena can arise. In this context, an important emergent phenomenon is the
complete suppression of oscillations, formally termed amplitude death (AD).
Oscillations of the entire system cease as a consequence of the interaction,
leading to stationary behavior. The fixed points that the coupling stabilizes
can be the otherwise unstable fixed points of the uncoupled system or can
correspond to novel stationary points. Such behaviour is of relevance in areas
ranging from laser physics to the dynamics of biological systems. In this
review we discuss the characteristics of the different coupling strategies and
scenarios that lead to AD in a variety of different situations, and draw
attention to several open issues and challenging problems for further study.Comment: Physics Reports (2012
Qualitative Properties of Hybrid Singular Systems
A singular system model is mathematically formulated as a set of coupled differential
and algebraic equations. Singular systems, also referred to as descriptor or differential
algebraic systems, have extensive applications in power, economic, and biological systems.
The main purpose of this thesis is to address the problems of stability and stabilization for
singular hybrid systems with or without time delay.
First, some su cient conditions on the exponential stability property of both continuous
and discrete impulsive switched singular systems with time delay (ISSSD) are proposed.
We address this problem for the continuous system in three cases: all subsystems are
stable, the system consists of both stable and unstable subsystems, and all subsystems are
unstable. For the discrete system, we focus on when all subsystems are stable, and the
system consists of both stable and unstable subsystems. The stability results for both the
continuous and the discrete system are investigated by first using the multiple Lyapunov
functions along with the average-dwell time (ADT) switching signal to organize the jumps
among the system modes and then resorting the Halanay Lemma.
Second, an optimal feedback control only for continuous ISSSD is designed to guarantee
the exponential stability of the closed-loop system. Moreover, a Luenberger-type observer
is designed to estimate the system states such that the corresponding closed-loop error
system is exponentially stable. Similarly, we have used the multiple Lyapunov functions
approach with the ADT switching signal and the Halanay Lemma.
Third, the problem of designing a sliding mode control (SMC) for singular systems
subject to impulsive effects is addressed in continuous and discrete contexts. The main
objective is to design an SMC law such that the closed-loop system achieves stability.
Designing a sliding surface, analyzing a reaching condition and designing an SMC law are investigated throughly. In addition, the discrete SMC law is slightly modi ed to eliminate
chattering.
Last, mean square admissibility for singular switched systems with stochastic noise in
continuous and discrete cases is investigated. Sufficient conditions that guarantee mean
square admissibility are developed by using linear matrix inequalities (LMIs)
Stability analysis of switched systems with time-varying discontinuous delays
A new technique is proposed to ensure global asymptotic stability for nonlinear switched time-varying systems with time-varying discontinuous delays. It uses an adaptation of Halanay's inequality to switched systems and a recent trajectory based technique. The result is applied to a family of linear time-varying systems with time-varying delays. © 2017 American Automatic Control Council (AACC)
Qualitative Properties of Stochastic Hybrid Systems and Applications
Hybrid systems with or without stochastic noise and with or without time delay are addressed and the qualitative properties of these systems are investigated. The main contribution of this thesis is distributed in three parts.
In Part I, nonlinear stochastic impulsive systems with time delay (SISD) with variable impulses are formulated and some of the fundamental properties of the systems, such as existence of local and global solution, uniqueness, and forward continuation of the solution are established. After that, stability and input-to-state stability (ISS) properties of SISD with fixed impulses are developed, where Razumikhin methodology is used. These results are then carried over to discussed the same qualitative properties of large scale SISD. Applications to automated control systems and control systems with faulty actuators are used to justify the proposed approaches.
Part II is devoted to address ISS of stochastic ordinary and delay switched systems. To achieve a variety stability-like results, multiple Lyapunov technique as a tool is applied. Moreover, to organize the switching among the system modes, a newly developed initial-state-dependent dwell-time switching law and Markovian switching are separately employed.
Part III deals with systems of differential equations with piecewise constant arguments with and without random noise. These systems are viewed as a special type of hybrid systems. Existence and uniqueness results are first obtained. Then, comparison principles are established which are later applied to develop some stability results of the systems
Unified knowledge model for stability analysis in cyber physical systems
The amalgamation and coordination between computational processes and physical components represent the very basis of cyber-physical systems. A diverse range of CPS challenges had been addressed through numerous workshops and conferences over the past decade. Finding a common semantic among these diverse components which promotes system synthesis, verification and monitoring is a significant challenge in the cyber-physical research domain. Computational correctness, network timing and frequency response are system aspects that conspire to impede design, verification and monitoring. The objective of cyber-physical research is to unify these diverse aspects by developing common semantics that span each aspect of a CPS. The work of this thesis revolves around the design of a typical smart grid-type system with three PV sources built with PSCADʼ. A major amount of effort in this thesis had been focused on studying the system behavior in terms of stability when subjected to load fluctuations from the PV side. The stability had been primarily reflected in the frequency of the generator of the system. The concept of droop control had been analyzed and the parameterization of the droop constant in the shape of an invariant forms an essential part of the thesis as it predicts system behavior and also guides the system within its stable restraints. As an extension of a relationship between stability and frequency, the present study goes one step ahead in describing the sojourn of the system from stability to instability by doing an analysis with the help of tools called Lyapunov-like functions. Lyapunov-like functions are, for switched systems, a class of functions that are used to measure the stability for non linear systems. The use of Lyapunov-like functions to judge the stability of this system had been tested and discussed in detail in this thesis and simulation results provided --Abstract, page iii
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
Modeling, Control and Optimisation of Hybrid Systems in a Manufacturing Setting
This study comprises a body of work that investigates the performance of hybrid manufacturing systems. And we have provided a valuable insight into the development of the optimisation techniques for hybrid manufacturing system. With the primary objective of developing prac-tical mathematical algorithms that balance trade-o? cost between product quality and completion time. For sta-bility criterion, a sliding mode control was deployed
- …