554 research outputs found
Minimally Constrained Stable Switched Systems and Application to Co-simulation
We propose an algorithm to restrict the switching signals of a constrained
switched system in order to guarantee its stability, while at the same time
attempting to keep the largest possible set of allowed switching signals. Our
work is motivated by applications to (co-)simulation, where numerical stability
is a hard constraint, but should be attained by restricting as little as
possible the allowed behaviours of the simulators. We apply our results to
certify the stability of an adaptive co-simulation orchestration algorithm,
which selects the optimal switching signal at run-time, as a function of
(varying) performance and accuracy requirements.Comment: Technical report complementing the following conference publication:
Gomes, Cl\'audio, Beno\^it Legat, Rapha\"el Jungers, and Hans Vangheluwe.
"Minimally Constrained Stable Switched Systems and Application to
Co-Simulation." In IEEE Conference on Decision and Control. Miami Beach, FL,
USA, 201
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
A De Giorgi Iteration-based Approach for the Establishment of ISS Properties for Burgers' Equation with Boundary and In-domain Disturbances
This note addresses input-to-state stability (ISS) properties with respect to
(w.r.t.) boundary and in-domain disturbances for Burgers' equation. The
developed approach is a combination of the method of De~Giorgi iteration and
the technique of Lyapunov functionals by adequately splitting the original
problem into two subsystems. The ISS properties in -norm for Burgers'
equation have been established using this method. Moreover, as an application
of De~Giorgi iteration, ISS in -norm w.r.t. in-domain disturbances
and actuation errors in boundary feedback control for a 1- {linear}
{unstable reaction-diffusion equation} have also been established. It is the
first time that the method of De~Giorgi iteration is introduced in the ISS
theory for infinite dimensional systems, and the developed method can be
generalized for tackling some problems on multidimensional spatial domains and
to a wider class of nonlinear {partial differential equations (PDEs)Comment: This paper has been accepted for publication by IEEE Trans. on
Automatic Control, and is available at
http://dx.doi.org/10.1109/TAC.2018.2880160. arXiv admin note: substantial
text overlap with arXiv:1710.0991
A characterization of switched linear control systems with finite L 2 -gain
Motivated by an open problem posed by J.P. Hespanha, we extend the notion of
Barabanov norm and extremal trajectory to classes of switching signals that are
not closed under concatenation. We use these tools to prove that the finiteness
of the L2-gain is equivalent, for a large set of switched linear control
systems, to the condition that the generalized spectral radius associated with
any minimal realization of the original switched system is smaller than one
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
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
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
- …