40,372 research outputs found
Stability Analysis of Continuous-Time Switched Systems with a Random Switching Signal
This paper is concerned with the stability analysis of continuous-time
switched systems with a random switching signal. The switching signal manifests
its characteristics with that the dwell time in each subsystem consists of a
fixed part and a random part. The stochastic stability of such switched systems
is studied using a Lyapunov approach. A necessary and sufficient condition is
established in terms of linear matrix inequalities. The effect of the random
switching signal on system stability is illustrated by a numerical example and
the results coincide with our intuition.Comment: 6 pages, 6 figures, accepted by IEEE-TA
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
A general stability criterion for switched linear systems having stable and unstable subsystems
We report conditions on a switching signal that guarantee that solutions of a
switched linear systems converge asymptotically to zero. These conditions are
apply to continuous, discrete-time and hybrid switched linear systems, both
those having stable subsystems and mixtures of stable and unstable subsystems
Stabilizing Randomly Switched Systems
This article is concerned with stability analysis and stabilization of
randomly switched systems under a class of switching signals. The switching
signal is modeled as a jump stochastic (not necessarily Markovian) process
independent of the system state; it selects, at each instant of time, the
active subsystem from a family of systems. Sufficient conditions for stochastic
stability (almost sure, in the mean, and in probability) of the switched system
are established when the subsystems do not possess control inputs, and not
every subsystem is required to be stable. These conditions are employed to
design stabilizing feedback controllers when the subsystems are affine in
control. The analysis is carried out with the aid of multiple Lyapunov-like
functions, and the analysis results together with universal formulae for
feedback stabilization of nonlinear systems constitute our primary tools for
control designComment: 22 pages. Submitte
Stability Criteria for SIS Epidemiological Models under Switching Policies
We study the spread of disease in an SIS model. The model considered is a
time-varying, switched model, in which the parameters of the SIS model are
subject to abrupt change. We show that the joint spectral radius can be used as
a threshold parameter for this model in the spirit of the basic reproduction
number for time-invariant models. We also present conditions for persistence
and the existence of periodic orbits for the switched model and results for a
stochastic switched model
Symbolic Models for Stochastic Switched Systems: A Discretization and a Discretization-Free Approach
Stochastic switched systems are a relevant class of stochastic hybrid systems
with probabilistic evolution over a continuous domain and control-dependent
discrete dynamics over a finite set of modes. In the past few years several
different techniques have been developed to assist in the stability analysis of
stochastic switched systems. However, more complex and challenging objectives
related to the verification of and the controller synthesis for logic
specifications have not been formally investigated for this class of systems as
of yet. With logic specifications we mean properties expressed as formulae in
linear temporal logic or as automata on infinite strings. This paper addresses
these complex objectives by constructively deriving approximately equivalent
(bisimilar) symbolic models of stochastic switched systems. More precisely,
this paper provides two different symbolic abstraction techniques: one requires
state space discretization, but the other one does not require any space
discretization which can be potentially more efficient than the first one when
dealing with higher dimensional stochastic switched systems. Both techniques
provide finite symbolic models that are approximately bisimilar to stochastic
switched systems under some stability assumptions on the concrete model. This
allows formally synthesizing controllers (switching signals) that are valid for
the concrete system over the finite symbolic model, by means of mature
automata-theoretic techniques in the literature. The effectiveness of the
results are illustrated by synthesizing switching signals enforcing logic
specifications for two case studies including temperature control of a six-room
building.Comment: 25 pages, 4 figures. arXiv admin note: text overlap with
arXiv:1302.386
- …