This paper deals with the stability analysis problem of discrete-time switched linear systems with ranged dwell time. A novel concept called L-switching-cycle is proposed, which contains sequences of multiple activation cycles satisfying the prescribed ranged dwell time constraint. Based on L-switching-cycle, two sufficient conditions are proposed to ensure the global uniform asymptotic stability of discrete-time switched linear systems. It is noted that two conditions are equivalent in stability analysis with the same $L$-switching-cycle. These two sufficient conditions can be viewed as gener…
We propose an extension of the theory of control sets to the case of inputs satisfying a dwell-time constraint. Although the class of such inputs is not closed under concatenation, we propose a suitably modified definition of control sets that allows to recover some important properties known in the concatenable case. In particular we apply the control set construction to dwell-time linear switched systems, characterizing their maximal Lyapunov exponent looking only at trajectories whose angular component is periodic. We also use such a construction to characterize supports of invariant measur…
This paper presents an efficient suboptimal model predictive control (MPC) algorithm for nonlinear switched systems subject to minimum dwell time constraints (MTC). While MTC are required for most physical systems due to stability, power and mechanical restrictions, MPC optimization problems with MTC are challenging to solve. To efficiently solve such problems, the on-line MPC optimization problem is decomposed into a sequence of simpler problems, which include two nonlinear programs (NLP) and a rounding step, as typically done in mixed-integer optimal control (MIOC). Unlike the classical appr…
Practical Stabilization of Switched Affine Systems under Dwell Time: From Polytopic to p-Norm Lyapunov Functions
Centro Internacional Franco-Argentino de Cs. de la Información y de Sistemas (CIFASIS), UNR–CONICET(中法阿根廷信息与系统国际中心(CIFASIS),罗萨里奥国立大学-国家科学研究委员会);Military Institute of Engineering(军事工程学院)
This paper deals with input/output-to-state stability (IOSS) of switched nonlinear systems in the discrete-time setting. We present an algorithm to construct periodic switching signals that obey pre-specified restrictions on admissible switches between the subsystems and admissible dwell times on the subsystems, and identify sufficient conditions on the individual subsystems, the admissible switches and admissible dwell times under which a switching signal obtained from our algorithm preserves stability of a switched system with overwhelming probability. We recover our earlier result on probab…
This paper is concerned with the problem of robust reliable control for a class of uncertain 2D discrete switched systems with state delays represented by a model of Roesser type. The parameter uncertainties are assumed to be norm-bounded. Firstly, delay-dependent sufficient condition for the exponential stability of the discrete 2D systems with state delays is established. Then, the concept of average dwell time is extended to 2D switched systems, and a reliable state feedback controller is developed in terms of linear matrix inequalities (LMIs) such that the resulting closed-loop system is e…
Switched linear hyperbolic partial differential equations are considered in this paper. They model infinite dimensional systems of conservation laws and balance laws, which are potentially affected by a distributed source or sink term. The dynamics and the boundary conditions are subject to abrupt changes given by a switching signal, modeled as a piecewise constant function and possibly a dwell time. By means of Lyapunov techniques some sufficient conditions are obtained for the exponential stability of the switching system, uniformly for all switching signals. Different cases are considered w…
This paper proposes a unified approach for studying global exponential stability of a general class of switched systems described by time-varying nonlinear functional differential equations. Some new delay-independent criteria of global exponential stability are established for this class of systems under arbitrary switching which satisfies some assumptions on the average dwell time. The obtained criteria are shown to cover and improve many previously known results, including, in particular, sufficient conditions for absolute exponential stability of switched time-delay systems with sector non…
Switched linear systems are time-varying nonlinear systems whose dynamics switch between different modes, where each mode corresponds to different linear dynamics. They arise naturally to model unexpected failures, environment uncertainties or system noises during system operation. In this paper, we consider a special class of switched linear systems where the mode switches are governed by Markov decision processes (MDPs). We study the problem of synthesizing a policy in an MDP that stabilizes the switched system. Given a policy, the switched linear system becomes a Markov jump linear system w…
In this paper, we study the application of switched systems stability criteria to derive delay-dependent conditions for systems affected by both a constant and a time-varying delay. The main novelty of our approach lies on the use of path-complete Lyapunov techniques along with the proposition of a new modified functional to obtain convex analysis conditions while avoiding the need of computing a dwell time for each mode in a switched system representation, as usual in the \textit{switched approach} for time-delay systems. Furthermore, we leverage the developed analysis to obtain LMIs for the …
In this paper, we study the problem of stabilizing switched linear systems when only limited information about the state and the mode of the system is available, which occurs in many applications involving networked switched systems (such as cyber-physical systems, IoT, etc.). First, we show that switched linear systems with arbitrary switching, i.e., with no constraint on the switching signal, are in general not stabilizable with a finite data rate. Then, drawing on this result, we restrict our attention to systems satisfying a fairly mild slow-switching assumption, in the sense that the swit…
Stability and $L_1/\ell_1$-to-$L_1/\ell_1$ performance analysis of uncertain impulsive linear positive systems with applications to the interval observation of impulsive and switched systems with constant delays
This paper is concerned with the study of both, local and global, uniform asymptotic stability for switched nonlinear time-varying (NLTV) systems through the detectability of output-maps. With this aim the notion of reduced limiting control systems for switched NLTV systems whose switchings verify time/state dependent constraints, and the concept of weakly zero-state detectability for those reduced limiting systems are introduced. Necessary and sufficient conditions for the (global)uniform asymptotic stability of families of trajectories of the switched system are obtained in terms of this det…
$L_1/\ell_1$-to-$L_1/\ell_1$ analysis of linear positive impulsive systems with application to the $L_1/\ell_1$-to-$L_1/\ell_1$ interval observation of linear impulsive and switched systems
Recent works have shown that the $L_1$ and $L_\infty$-gains are natural performance criteria for linear positive systems as they can be characterized using linear programs. Those performance measures have also been extended to linear positive impulsive and switched systems through the concept of hybrid $L_1\times\ell_1$-gain. For LTI positive systems, the $L_\infty$-gain is known to coincide with the $L_1$-gain of the transposed system and, as a consequence, one can use linear copositive Lyapunov functions for characterizing the $L_\infty$-gain of LTI positive systems. Unfortunately, this does…
This paper treats the global stabilization problem of continuous-time switched affine systems that have rank-deficient convex combinations of their dynamic matrices. For these systems, the already known set of attainable equilibrium points has higher dimensionality than in the full-rank case due to the existence of what we define as singular equilibrium points. Our main goal is to design a state-dependent switching function to ensure global asymptotic stability of a chosen point inside this set with conditions expressed in terms of linear matrix inequalities. For this class of systems, global …
A design framework recently has been developed to stabilize interconnected multiagent systems in a distributed manner, and systematically capture the architectural aspect of cyber-physical systems. Such a control theoretic framework, however, results in a stabilization protocol which is passive with respect to the cyber attacks and conservative regarding the guaranteed level of resiliency. We treat the control layer topology and stabilization gains as the degrees of freedom, and develop a mixed control and cybersecurity design framework to address the above concerns. From a control perspective…
This paper deals with an event-triggered boundary control of constant-parameters reaction-diffusion PDE systems. The approach relies on the emulation of backstepping control along with a suitable triggering condition which establishes the time instants at which the control value needs to be sampled/updated. In this paper, it is shown that under the proposed event-triggered boundary control, there exists a minimal dwell-time (independent of the initial condition) between two triggering times and furthermore the well-posedness and global exponential stability are guaranteed. The analysis follows…
Uniform Exponential Stability Analysis of Impulsive Linear Time-Invariant Systems on Banach and Hilbert Spaces: Non-Coercive and Coercive Stability Conditions
School of Life Sciences, University of Applied Sciences, Muttenz, Switzerland(瑞士穆滕兹应用科学大学生命科学学院);Department of Engineering, University of Perugia, Perugia, Italy(意大利佩鲁贾大学工程学院);Université Grenoble Alpes, CNRS, Grenoble INP, GIPSA-lab, Grenoble, France(法国格勒诺布尔阿尔卑斯大学、法国国家科学研究中心、格勒诺布尔理工学院、GIPSA实验室)
We analyze robust stability, in an input-output sense, of switched stable systems. The primary goal (and contribution) of this paper is to design switching strategies to guarantee that input-output stable systems remain so under switching. We propose two types of {\em supervisors}: dwell-time and hysteresis based. While our results are stated as tools of analysis they serve a clear purpose in design: to improve performance. In that respect, we illustrate the utility of our findings by concisely addressing a problem of observer design for Lur'e-type systems; in particular, we design a hybrid ob…
This paper provides observer-based sampled-data and event-triggered boundary control strategies for a class of reaction-diffusion PDEs with collocated sensing and Robin actuation. Infinite-dimensional backstepping design is used as the underlying control approach. It is shown that the continuous-time output feedback boundary control applied in a sample-and-hold fashion ensures global closed-loop exponential stability, provided that the sampling period is sufficiently small. Further, robustness to perturbations of the sampling schedule is guaranteed. For the event-triggered implementation of th…