Search

This paper addresses the problems of determining the \mathcal H_2 norm and the root mean square (RMS) gain of continuous-time switched linear systems. A novel class of Lyapunov functions is proposed for reaching this goal, called homogeneous rational Lyapunov functions (HRLFs). It is shown that sufficient conditions for establishing upper bounds of the sought performance indexes in the case of arbitrary switching can be given in terms of linear matrix inequality (LMI) feasibility tests by searching for an HRLF of chosen degree. Moreover, it is shown that these conditions are also necessary by searching for an HRLF of degree sufficiently large. It is worth mentioning that necessary and sufficient LMI conditions have not been proposed yet in the literature for the considered problems. Hence, the paper continues by considering the case of switching with dwell time constraints, showing that analogous LMI conditions can be obtained for this case by searching for a family of HRLFs mutually constrained by the dwell time specification. Some numerical examples illustrate the proposed methodology and highlight the advantages with respect to the existing works. [ABSTRACT FROM AUTHOR]

In this paper, input-to-state stability (ISS) for discrete-time switched nonlinear time-varying (SNTV) systems is investigated. Starting with discrete-time nonlinear time-varying (NTV) systems, some improved sufficient conditions are proposed to verify the ISS of systems by using the weak implication-form ISS (WI-ISS) Lyapunov function, weak dissipative-form ISS (WD-ISS) Lyapunov function, and interval descent technique. Then, the results obtained are extended to study the ISS of discrete-time SNTV systems, several relaxed conditions are given by using piecewise WI-ISS and WD-ISS Lyapunov functions, minimum dwell time, and infinite switching methods, respectively. Comparing with the existing results, the obtained conditions release the requirement on negative definiteness of the differences of (piecewise) Lyapunov functions, moreover, all subsystems are allowed to be unstable in the case of infinite switching. Finally, a numerical example is given to illustrate the theoretical results. [ABSTRACT FROM AUTHOR]

The joint spectral radius (JSR) of a set of matrices characterizes the maximal asymptotic growth rate of an infinite product of matrices of the set. This quantity appears in a number of applications including the stability of switched and hybrid systems. A popular method used for the stability analysis of these systems searches for a Lyapunov function with convex optimization tools. We analyze the accuracy of this method for constrained switched systems, a class of systems that has attracted increasing attention recently. We provide a new guarantee for the upper bound provided by the sum of squares implementation of the method. This guarantee relies on the $p$ -radius of the system and the entropy of the language of allowed switching sequences. We end this paper with a method to reduce the computation of the JSR of low-rank matrices to the computation of the constrained JSR of matrices of small dimension. [ABSTRACT FROM AUTHOR]

This paper studies the stability for impulsive switched time-delay systems with state-dependent impulses. Since the impulses and the switches are not necessarily synchronous, we start from a stability analysis of impulsive switched time-delay systems with time-dependent impulses. Sufficient conditions are derived to guarantee the stability property, which extends the previous results for the synchronous switch and impulse case. For the state-dependent impulse case, using the B-equivalent method, impulsive switched time-delay systems with state-dependent impulses are transformed into impulsive switched time-delay systems with time-dependent impulses. The equivalence between the original system and the transformed system is established, and stability conditions are obtained for impulsive switched time-delay systems with state-dependent impulses. Finally, a numerical example is given to demonstrate the obtained results. [ABSTRACT FROM AUTHOR]

In this paper we study the stability of nonlinear and time-varying switched systems under restricted switching. We approach the problem by decomposing the system dynamics into a nominal-like part and a perturbation-like one. Most stability results for perturbed systems are based on the use of strong Lyapunov functions, i.e. functions of time and state whose total time derivative along the nominal system trajectories is bounded by a negative definite function of the state. However, switched systems under restricted switching may not admit strong Lyapunov functions, even when asymptotic stability is uniform over the set of switching signals considered. The main contribution of the current paper consists in providing stability results that are based on the stability of the nominal-like part of the system and require only a weak Lyapunov function. These results may have wider applicability than results based on strong Lyapunov functions. The results provided follow two lines. First, we give very general global uniform asymptotic stability results under reasonable boundedness conditions on the functions that define the dynamics of the nominal-like and the perturbation-like parts of the system. Second, we provide input-to-state stability (ISS) results for the case when the nominal-like part is switched linear-time-varying. We provide two types of ISS results: standard ISS that involves the essential supremum norm of the input and a modified ISS that involves a power-type norm. [ABSTRACT FROM AUTHOR]

This paper investigates standard $H_\infty$ control of switched systems via dwell-time switchings without posing any internal stability requirements on subsystems of the switched systems. First, a sufficient condition is formed by specifying lower and upper bounds of the dwell time, constraining upper bound of derivative of a Lyapunov function of the active subsystem, and forcing the Lyapunov function values of the overall switched system to decrease at switching times to achieve standard $H_\infty$ control of unforced switched linear systems. Then, in the same framework of the dwell time, sufficient conditions are given for that of the corresponding forced switched linear systems by further designing state feedback controllers. Finally, numerical examples are provided to demonstrate the effectiveness of the proposed results. [ABSTRACT FROM AUTHOR]

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 weak 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 detectability property. These sufficient conditions in conjunction with the existence of multiple weak Lyapunov functions yield a criterion for the (global) uniform asymptotic stability of families of trajectories of the switched system. This criterion can be seen as an extension of the classical Krasovskii-LaSalle theorem. An interesting feature of the results is that no dwell-time assumptions are made. Moreover, they can be used for establishing the global uniform asymptotic stability of the switched NLTV system under arbitrary switchings. The effectiveness of the proposed results is illustrated by means of various interesting examples, including the stability analysis of a semiquasi-Z-source inverter [ABSTRACT FROM AUTHOR]

This paper considers the input-to-state stability (ISS) of time-varying switched systems with time delays, where the upper bound estimation for the operator of Lyapunov function (UBEOL) is assumed to be time varying and mode dependent. The ISS and integral ISS are investigated for time-varying switched systems with time delays by using the Lyapunov–Razumikhin and comparison theorem methods. Since the coefficient in the UBEOL is time varying and takes a positive/negative value, the subsystems consist of both ISS and non-ISS subsystems, simultaneously. It is shown that our presented results have wider applications than some existing works. Two examples, including one of the consensus for time-varying multiagent systems with cooperative and competitive protocols, are presented to demonstrate the effectiveness of the proposed results. [ABSTRACT FROM AUTHOR]

This paper addresses the stability problem for linear continuous-time Markovian switching singular systems. Considering the inherent state jump behavior at the switching instants, a necessary and sufficient condition of exponential stability in the mean square sense for the Markovian switching singular system is established in terms of linear matrix inequalities by means of a stochastic Lyapunov approach. Based on the obtained stability result, sufficient conditions of exponential stability in the mean square sense for the Markovian switching singular system with uncertain and partly unknown transition probability are presented. Numerical examples are presented to illustrate the effectiveness of the proposed approach. [ABSTRACT FROM AUTHOR]

This paper studies the stabilization problem via the co-design of controllers and a switching policy for a new class of nonstrict feedback switched nonlinear systems whose subsystems consist of a chain of integrators, feedback paths, and first-order feedforward paths. Designing only smooth feedback controllers cannot deal with the unstabilizable factors caused by feedforward paths. By exploiting the single control Lyapunov function method, an effective switching policy is co-designed to compensate the controllers. In addition, we present a generalized backstepping process, based on which the solvability of virtual controllers is guaranteed, the algebraic condition for stabilizability is identified, and the transient response of the closed-loop systems is improved. Two examples demonstrate the effectiveness. [ABSTRACT FROM AUTHOR]

In this paper, we consider the event-triggered control problem for continuous-time switched linear systems. It is assumed that only the sampled information of system state and switching signal is available to the controller at each sampling instant. Based on a mode-dependent event-triggered transmission scheme, the closed-loop system is modeled as a switched system with delayed state and augmented switching signal. Then, an exponential stability condition, characterized by the dwell time and average dwell time of the switching signal, is obtained. The condition presents an extension of the multiple Lyapunov functional method based stability analysis for sampled-data control of nonswitched system. Consequently, the design methods for state-feedback controller gains and event-triggered parameters are then formulated by the properly selected quadratic Lyapunov functional. The analysis results are significant and also lead to an important step to study the event-triggered control for switched system. Finally, based on the definition of event-trigger efficiency, the effectiveness and improvement of the proposed approach are illustrated by two numerical examples. [ABSTRACT FROM AUTHOR]

This paper generalizes the LaSalle–Yoshizawa Theorem to switched nonsmooth systems. The Filippov and Krasovskii regularizations of a switched system are shown to be contained within the convex hull of the Filippov and Krasovskii regularizations of the subsystems, respectively. A common candidate Lyapunov function that has a negative semidefinite generalized time derivative along the trajectories of the subsystems is shown to be sufficient to establish LaSalle–Yoshizawa-like results for the switched system. Of independent interest, are the results on approximate continuity and Filippov regularization of set-valued maps, reduction of differential inclusions using Lipschitz continuous regular functions, and comparative remarks on different generalizations of the time derivative along the trajectories of a nonsmooth system. [ABSTRACT FROM AUTHOR]

This paper is concerned with studying Lyapunov characterization of integral input-to-state stability (iISS) for switched nonlinear time-varying systems. Sufficient conditions are given to verify iISS for switched nonlinear time-varying systems under a time-varying state-dependent switching law designed, which allow all subsystems to be not integral input-to-state stable (iISS) and the time derivative of Lyapunov functions of individual subsystems to be indefinite. An indefinite multiple Lyapunov functions (iMLFs) method for analyzing the dynamic behavior of switched nonlinear time-varying systems is provided. Also, an iMLFs-based small-gain theorem for switched interconnected nonlinear time-varying systems is presented, where each lower dimensional subsystem is allowed to be not iISS, which extends the small-gain technique from its original nonswitched nonlinear time-invariant version to a switched nonlinear time-varying version. Finally, an illustrative example is used to demonstrate the feasibility of the theoretical results. [ABSTRACT FROM AUTHOR]

The stability and stabilization problems for a class of switched discrete-time nonlinear systems are studied in this paper. Each nonlinear subsystem of the presented switched system is modeled as a piecewise affine (PWA) one by splitting the state space into polyhedron regions. With the aid of a simple searching strategy for active state transition pairs at a switching instant, i.e., the so-called $\mathbb {S}$ -arbitrary switching approach, the stability criteria are derived via the relaxed piecewise quadratic Lyapunov function technique. Then, using the descriptor system approach, a family of PWA stabilizing controllers are designed to guarantee exponential stability of the resulting closed-loop control system, and the corresponding PWA controller gains could be calculated using numerical software. The validity and potential of the developed techniques are verified through a numerical example. [ABSTRACT FROM AUTHOR]

This paper is concerned with dynamic output feedback control for a class of switched systems with mode-dependent average dwell-time switching. By constructing a quasi-time-dependent Lyapunov function, the issues of global uniform asymptotic stability and $\ell _{2}$ -gain analysis for the switched system are addressed first. Then, a set of reduced-order output feedback controllers is designed, which is both mode-dependent and quasi-time-dependent. Compared with time-independent criteria, the new results greatly reduce the conservatism. The effectiveness and merits of the proposed method are illustrated with a numerical example. [ABSTRACT FROM AUTHOR]

This paper addresses the output reachable set estimation problem for continuous-time switched linear systems consisting of Hurwtiz stable subsystems. Based on a common Lyapunov function approach, the output reachable set is estimated by a union of bounding ellipsoids. Then, multiple Lyapunov functions with time-scheduled structure are employed to estimate the output reachable set for switched systems under dwell-time constraint. Furthermore, the safety verification problem of uncertain switched systems is investigated based on the result of output reachable set estimation. First, a sufficient condition ensuring the existence of an approximate bisimulation relation between two switched linear systems with a prescribed precision is proposed. Then, the safety verification for an uncertain switched system can be performed through an alternative safety verification for a switched system with exact parameters. Numerical examples are provided to illustrate our results. [ABSTRACT FROM AUTHOR]

This paper introduces the notion of common zeroing-output systems (CZOS) to analyze the stability of switched systems. The concept of CZOS allows one to verify weak zero-state detectability. It characterizes a common behavior of any individual subsystem when the output signal for each subsystem is “approaching” zero. Heuristically speaking, it removes the effect of switching behavior, and thus enables one to analyze stability properties in systems with complex switching signals. With the help of CZOS, the Krasovskii–LaSalle theorem can be extended to switched nonlinear time-varying systems with both arbitrary switching and more general restricted switching cases. For switched nonlinear time-invariant systems, the needed detectability condition is further simplified, leading to several new stability results. Particularly, when a switched linear time-invariant system is considered, it is possible to generate a recursive method, which combines a Krasovskii–LaSalle result and a nested Matrosov result, to find a CZOS if it exists. The power of the proposed CZOS is demonstrated by consensus problems in literature to obtain a stronger convergence result with weaker conditions. [ABSTRACT FROM AUTHOR]

Multiple Lyapunov functions (MLFs)-based small-gain theorems are presented for switched interconnected nonlinear systems with unstable subsystems, which extend the small-gain technique from its original non-switched nonlinear version to a switched nonlinear version. Each low dimensional subsystem does not necessarily have the input-to-state stability (ISS) property in the whole state space, and it only has individual ISS property in some subregions of the state space. The novelty of this paper is that integral-type MLFs and small-gain techniques are utilized to establish some MLFs-based small-gain theorems for switched interconnected nonlinear systems, which derive various stability results under some novel switching laws designed and construct integral-type MLFs. The small-gain theorems proposed cover several recent results as special cases, which also permit removal of a common restriction in which all low dimensional subsystems in switched interconnected systems are ISS or only some are ISS and others are not. Finally, two illustrative examples are presented to demonstrate the effectiveness of the results provided. [ABSTRACT FROM AUTHOR]

This paper addresses the problem of designing time-varying quantizers for the stabilization of switched linear systems with quantized output and switching delays. The detection delays of switches are assumed to be time-varying but bounded, and the dwell time of the switching signal is assumed to be larger than the maximum delay. Given a switching controller, we analyze reachable sets of the closed-loop state by using a common Lyapunov function and then construct a quantizer that guarantees asymptotic stability. A sufficient condition for the existence of such a quantizer is characterized by the maximum switching delay and the dwell time. [ABSTRACT FROM AUTHOR]

In this paper, exponential stabilizability of continuous-time positive switched systems is investigated. For two-dimensional systems, exponential stabilizability by means of a switching control law can be achieved if and only if there exists a Hurwitz convex combination of the (Metzler) system matrices. In the higher dimensional case, it is shown by means of an example that the existence of a Hurwitz convex combination is only sufficient for exponential stabilizability, and that such a combination can be found if and only if there exists a smooth, positively homogeneous and co-positive control Lyapunov function for the system. In the general case, exponential stabilizability ensures the existence of a concave, positively homogeneous and co-positive control Lyapunov function, but this is not always smooth. The results obtained in the first part of the paper are exploited to characterize exponential stabilizability of positive switched systems with delays, and to provide a description of all the “switched equilibrium points” of an affine positive switched system. [ABSTRACT FROM AUTHOR]

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. [ABSTRACT FROM AUTHOR]

This paper is concerned with the study of, both local and global, uniform asymptotic stability for general nonlinear and time-varying switched systems. Two concepts of Lyapunov functions are introduced and used to establish uniform Lyapunov stability and uniform global stability. With the help of output functions, an almost bounded output energy condition and an output persistent excitation condition are then proposed and employed to guarantee uniform local and global asymptotic stability. Based on this result, a generalized version of Krasovskii-LaSalle theorem in time-varying switched systems is proposed. For switched systems with persistent dwell-time, the output persistent excitation condition is guaranteed to hold under a zero-state observability condition. It is shown that several existing results in past literature can be covered as special cases using the proposed criteria. Interestingly, as opposed to previous work, the main results of this paper are applicable to the situation where some switching systems are not asymptotically stable at the origin. The robust practical regulation problem of nonholonomic mobile robots is studied as a way of demonstrating the power of the proposed new criteria. A novel switching controller is proposed with guaranteed robustness to orientation error and unknown parameters in mobile robots. [ABSTRACT FROM AUTHOR]

This paper addresses the problem of determining switching rules for affine switched systems such that the system state is driven to a desired point and a guaranteed cost is minimized. The switching rule is determined by solving an LMI problem and global asymptotic stability of the tracking error dynamics is guaranteed even if sliding motions occur on any switching surface of the system. The potential of the results is illustrated on a true refrigeration system, namely a domestic refrigerator, where the purpose is to control the temperature in the fresh food and the freezer compartments. [ABSTRACT FROM PUBLISHER]

In this paper we deal with the stabilizability property for discrete-time switched linear systems. A recent necessary and sufficient characterization of stabilizability, based on set theory, is considered as the reference for comparing the computation-oriented sufficient conditions. The classical BMI conditions based on Lyapunov-Metzler inequalities are considered and extended. Novel LMI conditions for stabilizability, derived from the geometric ones, are presented that permit to combine generality with computational affordability. For the different conditions, the geometrical interpretations are provided and the induced stabilizing switching laws are given. The relations and the implications between the stabilizability conditions are analyzed to infer and compare their conservatism and their complexity. [ABSTRACT FROM AUTHOR]

In this paper we consider the class of discrete-time switched systems switching between p autonomous positive subsystems. First, sufficient conditions for testing stability, based on the existence of special classes of common Lyapunov functions, are investigated, and these conditions are mutually related, thus proving that if a linear copositive common Lyapunov function can be found, then a quadratic positive definite common function can be found, too, and this latter, in turn, ensures the existence of a quadratic copositive common function. Secondly, stabilizability is introduced and characterized. It is shown that if these systems are stabilizable, they can be stabilized by means of a periodic switching sequence, which asymptotically drives to zero every positive initial state. Conditions for the existence of state-dependent stabilizing switching laws, based on the values of a copositive (linear/quadratic) Lyapunov function, are investigated and mutually related, too. [ABSTRACT FROM PUBLISHER]

This paper first investigates the stability and ℓ2-gain problems for a class of discrete-time switched systems with average dwell time (ADT) switching by allowing the Lyapunov-like functions to increase during the running time of subsystems. The obtained results then facilitate the studies on the issue of asynchronous control, where "asynchronous" means the switching of the controllers has a lag to the switching of system modes. In light of the proposed Lyapunov-like functions, the desired mode-dependent controllers can be designed since the unmatched controllers are allowed to perform in the interval of asynchronous switching before the matched ones are applied. The problem of asynchronous H∞, control for the underlying systems in linear cases is then formulated. The conditions of the existence of admissible asynchronous H∞, controllers are derived, and a numerical example is provided to show the potential of the developed results. [ABSTRACT FROM AUTHOR]

During the past several years, there have been increasing research activities in the field of stability analysis and switching stabilization for switched systems. This paper aims to briefly survey recent results in this field. First, the stability analysis for switched systems is reviewed. We focus on the stability analysis for switched linear systems under arbitrary switching, and we highlight necessary and sufficient conditions for asymptotic stability. After a brief review of the stability analysis under restricted switching and the multiple Lyapunov function theory, the switching stabilization problem is studied, and a variety of switching stabilization methods found in the literature are outlined. Then the switching stabilizability problem is investigated, that is under what condition it is possible to stabilize a switched system by properly designing switching control laws. Note that the switching stabilizability problem has been one of the most elusive problems in the switched systems literature. A necessary and sufficient condition for asymptotic stabilizability of switched linear systems is described here. [ABSTRACT FROM AUTHOR]

This paper is devoted to stability analysis and control design of switched linear systems in both continuous and discrete-time domains. A particular class of matrix inequalities, the so-called Lyapunov-Metzler inequalities, provides conditions for open-loop stability analysis and closed-loop switching control using state and output feedback. Switched linear systems are analyzed in a general framework by introducing a quadratic in the state cost determined from a series of impulse perturbations. Lower bounds on the cost associated with the optimal switching control strategy are derived from the determination of a feasible solution to the Hamilton-Jacobi-Bellman inequality. An upper bound on the optimal cost associated with a closed-loop stabilizing switching strategy is provided as well. The solution of the output feedback problem is based on the construction of a full-order linear switched filter whose state variable is used by the mechanism for the determination of the switching rule. Throughout, the theoretical results are illustrated by means of academic examples. A realistic practical application related to the optimal control of semiactive suspensions in road vehicles is reported. [ABSTRACT FROM AUTHOR]

This paper investigates the switching stabilizability problem for a class of continuous-time switched linear systems with time-variant parametric uncertainties. First, a necessary and sufficient condition for the asymptotic stabilizability of such uncertain switched linear system is derived, under the assumption that the closed-loop switched system does not generate sliding motions. Then, an additional condition is introduced to exclude the possibility of unstable sliding motions. Finally, a necessary and sufficient for the asymptotic stabilizability of such continuous-time uncertain switched linear systems is presented. This result improves upon conditions found in the literature which are either sufficient only or necessary only. [ABSTRACT FROM AUTHOR]

In this paper, we consider the design of globally asymptotically stabilizing state-dependent switching rules for multimodal systems, first restricting attention to linear time-in-variant (LTI) systems with only two states for the switch, and then generalizing the results to multimodal LTI systems and to nonlinear systems. In all cases, the systems considered do not allow the construction of a single quadratic Lyapunov function and, hence, fall in the class of problems that require multiple Lyapunov functions and thus are nonconvex. To address the challenge of nonconvexity, we introduce probabilistic algorithms, and prove their probability-one convergence under a new notion of convergence. Then, to reduce complexity, we develop modified versions of the algorithm. We also present a class of more general nonconvex problems to which this approach can be applied. The results are illustrated using two- and three-dimensional systems with multiple switch states. [ABSTRACT FROM AUTHOR]

This paper addresses the uniform stability of switched linear systems, where uniformity refers to the convergence rate of the multiple solutions that one obtains as the switching signal ranges over a given set. We provide a collection of results that can be viewed as extensions of LaSalle's Invariance Principle to certain classes of switched linear systems. Using these results one can deduce asymptotic stability using multiple Lyapunov functions whose Lie derivatives are only negative semidefinite. Depending on the regularity assumptions placed on the switching signals, one may be able to conclude just asymptotic stability or (uniform) exponential stability. We show by counter-example that the results obtained are tight. [ABSTRACT FROM AUTHOR]