4,607 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
Approximately bisimilar symbolic models for incrementally stable switched systems
Switched systems constitute an important modeling paradigm faithfully
describing many engineering systems in which software interacts with the
physical world. Despite considerable progress on stability and stabilization of
switched systems, the constant evolution of technology demands that we make
similar progress with respect to different, and perhaps more complex,
objectives. This paper describes one particular approach to address these
different objectives based on the construction of approximately equivalent
(bisimilar) symbolic models for switched systems. The main contribution of this
paper consists in showing that under standard assumptions ensuring incremental
stability of a switched system (i.e. existence of a common Lyapunov function,
or multiple Lyapunov functions with dwell time), it is possible to construct a
finite symbolic model that is approximately bisimilar to the original switched
system with a precision that can be chosen a priori. To support the
computational merits of the proposed approach, we use symbolic models to
synthesize controllers for two examples of switched systems, including the
boost DC-DC converter.Comment: 17 page
Stabilizing Scheduling Policies for Networked Control Systems
This paper deals with the problem of allocating communication resources for
Networked Control Systems (NCSs). We consider an NCS consisting of a set of
discrete-time LTI plants whose stabilizing feedback loops are closed through a
shared communication channel. Due to a limited communication capacity of the
channel, not all plants can exchange information with their controllers at any
instant of time. We propose a method to find periodic scheduling policies under
which global asymptotic stability of each plant in the NCS is preserved. The
individual plants are represented as switched systems, and the NCS is expressed
as a weighted directed graph. We construct stabilizing scheduling policies by
employing cycles on the underlying weighted directed graph of the NCS that
satisfy appropriate contractivity conditions. We also discuss algorithmic
design of these cycles
Resonance and marginal instability of switching systems
We analyse the so-called Marginal Instability of linear switching systems,
both in continuous and discrete time. This is a phenomenon of unboundedness of
trajectories when the Lyapunov exponent is zero. We disprove two recent
conjectures of Chitour, Mason, and Sigalotti (2012) stating that for generic
systems, the resonance is sufficient for marginal instability and for
polynomial growth of the trajectories. We provide a characterization of
marginal instability under some mild assumptions on the sys- tem. These
assumptions can be verified algorithmically and are believed to be generic.
Finally, we analyze possible types of fastest asymptotic growth of
trajectories. An example of a pair of matrices with sublinear growth is given
Contraction analysis of nonlinear systems and its application
The thesis addresses various issues concerning the convergence properties of switched systems and differential algebraic equation (DAE) systems. Specifically, we focus on contraction analysis problem, as well as tackling problems related to stabilization and synchronization. We consider the contraction analysis of switched systems and DAE systems. To address this, a transformation is employed to convert the contraction analysis problem into a stabilization analysis problem. This transformation involves the introduction of virtual systems, which exhibit a strong connection with the Jacobian matrix of the vector field. Analyzing these systems poses a significant challenge due to the distinctive structure of their Jacobian matrices. Regarding the switched systems, a time-dependent switching law is established to guarantee uniform global exponential stability (UGES). As for the DAE system, we begin by embedding it into an ODE system. Subsequently, the UGES property is ensured by analyzing its matrix measure. As our first application, we utilize our approach to stabilize time-invariant switched systems and time-invariant DAE systems, respectively. This involves designing control laws to achieve system contractivity, thereby ensuring that the trajectory set encompasses the equilibrium point. In oursecond application, we propose the design of a time-varying observer by treating the system’s output as an algebraic equation of the DAE system. In our study on synchronization problems, we investigate two types of synchronization issues: the trajectory tracking of switched oscillators and the pinning state synchronization. In the case of switched oscillators, we devise a time-dependent switching law to ensure that these oscillators effectively follow the trajectory of a time-varying system. As for the pinning synchronization problem, we define solvable conditions and, building upon these conditions, we utilize contraction theory to design dynamic controllers that guarantee synchronization is achieved among the agents
- …