Results 1  10
of
69
Basic problems in stability and design of switched systems
 IEEE Control Systems Magazine
, 1999
"... By a switched system, we mean a hybrid dynamical system consisting of a family of continuoustime subsystems and a rule that orchestrates the switching between them. This article surveys recent developments in three basic problems regarding stability and design of switched systems. These problems ar ..."
Abstract

Cited by 244 (9 self)
 Add to MetaCart
By a switched system, we mean a hybrid dynamical system consisting of a family of continuoustime subsystems and a rule that orchestrates the switching between them. This article surveys recent developments in three basic problems regarding stability and design of switched systems. These problems are: stability for arbitrary switching sequences, stability for certain useful classes of switching sequences, and construction of stabilizing switching sequences. We also provide motivation for studying these problems by discussing how they arise in connection with various questions of interest in control theory and applications.
Perspectives and Results on the Stability and Stabilizability of Hybrid Systems
 PROCEEDINGS OF THE IEEE
, 2000
"... This paper introduces the concept of a hybrid system and some of the challenges associated with the stability of such systems, including the issues of guaranteeing stability of switched stable systems and finding conditions for the existence of switched controllers for stabilizing switched unstable ..."
Abstract

Cited by 140 (2 self)
 Add to MetaCart
This paper introduces the concept of a hybrid system and some of the challenges associated with the stability of such systems, including the issues of guaranteeing stability of switched stable systems and finding conditions for the existence of switched controllers for stabilizing switched unstable systems. In this endeavor, this paper surveys the major results in the (Lyapunov) stability of finitedimensional hybrid systems and then discusses the stronger, more specialized results of switched linear (stable and unstable) systems. A section detailing how some of the results can be formulated as linear matrix inequalities is given. Stability analyses on the regulation of the angle of attack of an aircraft and on the PI control of a vehicle with an automatic transmission are given. Other examples are included to illustrate various results in this paper.
Stability criteria for switched and hybrid systems
 SIAM Review
, 2007
"... The study of the stability properties of switched and hybrid systems gives rise to a number of interesting and challenging mathematical problems. The objective of this paper is to outline some of these problems, to review progress made in solving these problems in a number of diverse communities, an ..."
Abstract

Cited by 44 (6 self)
 Add to MetaCart
The study of the stability properties of switched and hybrid systems gives rise to a number of interesting and challenging mathematical problems. The objective of this paper is to outline some of these problems, to review progress made in solving these problems in a number of diverse communities, and to review some problems that remain open. An important contribution of our work is to bring together material from several areas of research and to present results in a unified manner. We begin our review by relating the stability problem for switched linear systems and a class of linear differential inclusions. Closely related to the concept of stability are the notions of exponential growth rates and converse Lyapunov theorems, both of which are discussed in detail. In particular, results on common quadratic Lyapunov functions and piecewise linear Lyapunov functions are presented, as they represent constructive methods for proving stability, and also represent problems in which significant progress has been made. We also comment on the inherent difficulty of determining stability of switched systems in general which is exemplified by NPhardness and undecidability results. We then proceed by considering the stability of switched systems in which there are constraints on the switching rules, through both dwell time requirements and state dependent switching laws. Also in this case the theory of Lyapunov functions and the existence of converse theorems is reviewed. We briefly comment on the classical Lur’e problem and on the theory of stability radii, both of which contain many of the features of switched systems and are rich sources of practical results on the topic. Finally we present a list of questions and open problems which provide motivation for continued research in this area.
Controller Design of Hybrid Systems
, 1997
"... In this paper we present two strategies to design a hybrid controller for a system described by several nonlinear vector fields. Besides the overall goal to find a controller that stabilizes the closedloop hybrid system, the selection will also be made in such a way that an exponentially stable clo ..."
Abstract

Cited by 35 (3 self)
 Add to MetaCart
In this paper we present two strategies to design a hybrid controller for a system described by several nonlinear vector fields. Besides the overall goal to find a controller that stabilizes the closedloop hybrid system, the selection will also be made in such a way that an exponentially stable closedloop system is obtained. The design strategies are based on stated stability and exponential stability theorems for hybrid systems. The first approach results in regions where it is possible to change vector fields guaranteeing (exponential) stability of the closedloop hybrid system. The second design strategy utilizes the fact that a system is (exponentially) stable if it is always possible to choose a vector field that points in a direction such that the trajectory approaches the equilibrium point. These conditions can be verified by solving a linear matrix inequality (LMI) problem. The presented methods are illustrated by examples. Keywords: Hybrid systems, Hybrid controller, Stabili...
Continuity analysis of programs
 SIGPLAN Not
"... We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesimal changes to its outputs. The analysis can be used to verify the robustness of programs whose inputs can have small amou ..."
Abstract

Cited by 30 (8 self)
 Add to MetaCart
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesimal changes to its outputs. The analysis can be used to verify the robustness of programs whose inputs can have small amounts of error and uncertainty— e.g., embedded controllers processing slightly unreliable sensor data, or handheld devices using slightly stale satellite data. Continuity is a fundamental notion in mathematics. However, it is difficult to apply continuity proofs from real analysis to functions that are coded as imperative programs, especially when they use diverse data types and features such as assignments, branches, and loops. We associate data types with metric spaces as opposed to just sets of values, and continuity of typed programs is phrased in terms of these spaces. Our analysis reduces questions about continuity
Stabilization of SecondOrder LTI Switched Systems
, 1999
"... In this paper, the problem of asymptotically stabilizing switched systems consisting of secondorder LTI subsystems is studied and solved. In particular, necessary and suÆcient stabilizability conditions are derived and a design procedure to construct stabilizing switching laws is introduced. Switch ..."
Abstract

Cited by 25 (5 self)
 Add to MetaCart
In this paper, the problem of asymptotically stabilizing switched systems consisting of secondorder LTI subsystems is studied and solved. In particular, necessary and suÆcient stabilizability conditions are derived and a design procedure to construct stabilizing switching laws is introduced. Switching is needed for the stabilization of a switched system if none of its subsystems is stable. Switched systems consisting of subsystems with unstable foci are studied rst and stabilizing conic switching control laws for such systems are introduced. In particular, necessary and suÆcient conditions for asymptotic stabilizability are derived for such systems. This result is then extended to switched systems with unstable nodes and saddle points. If a switched system is asymptotically stabilizable, then using the conic switching approach introduced earlier, asymptotically stabilizing switching control laws can be obtained. Furthermore, the conic switching laws derived in the paper are shown to ...
Disturbance Attenuation Properties of TimeControlled Switched Systems
 ECC2001
, 2001
"... In this paper, we investigate the disturbance attenuation properties of timecontrolled switched systems consisting of several linear timeinvariant subsystems by using a dwell time approach incorporated with piecewise Lyapunov functions. First, we show that when all subsystems are Hurwitz stable and ..."
Abstract

Cited by 24 (5 self)
 Add to MetaCart
In this paper, we investigate the disturbance attenuation properties of timecontrolled switched systems consisting of several linear timeinvariant subsystems by using a dwell time approach incorporated with piecewise Lyapunov functions. First, we show that when all subsystems are Hurwitz stable and achieve a disturbance attenuation level smaller than # 0 , then the switched system can achieve any disturbance attenuation level larger than # 0 if the dwell time is chosen sufficiently large. This result is extended to the case where not all subsystems are Hurwitz stable, by showing that if the dwell time is chosen sufficiently large and the total activation time of unstable subsystems is relatively small compared with that of Hurwitz stable subsystems, then a desirable disturbance attenuation level is guaranteed. Finally, a discussion is made on the case for which nonlinear normbounded perturbations exist in the subsystems.
Towards a Stability Theory of General Hybrid Dynamical Systems
 Automatica
, 1998
"... In recent work we proposed a general model for hybrid dynamical systems whose states are dened on arbitrary metric space and evolve along some notion of generalized abstract time. For such systems we introduced the usual concepts of Lyapunov and Lagrange stability. We showed that it is always possib ..."
Abstract

Cited by 22 (6 self)
 Add to MetaCart
In recent work we proposed a general model for hybrid dynamical systems whose states are dened on arbitrary metric space and evolve along some notion of generalized abstract time. For such systems we introduced the usual concepts of Lyapunov and Lagrange stability. We showed that it is always possible to transform this class of hybrid dynamical systems into another class of dynamical systems with equivalent qualitative properties, but dened on real time R + = [0; 1). The motions of this class of systems are in general discontinuous. This class of systems may be nite or innite dimensional. For the above discontinuous dynamical systems (and hence, for the above hybrid dynamical systems), we established the Principal Lyapunov Stability Theorems as well as Lagrange Stability Theorems. For some of these, we also established converse theorems. We demonstrated the applicability of these results by means of specic classes of hybrid dynamical systems. In the present paper we continue the...
Decentralized Motion Control of Multiple Holonomic Agents under Input Constraints
, 2003
"... Abstract: The navigation function methodology, established in previous work for centralized multiple robot navigation, is extended for decentralized navigation with input constraints. In contrast to the centralized case, each agent plans its actions without knowing the destinations of the other agen ..."
Abstract

Cited by 19 (10 self)
 Add to MetaCart
Abstract: The navigation function methodology, established in previous work for centralized multiple robot navigation, is extended for decentralized navigation with input constraints. In contrast to the centralized case, each agent plans its actions without knowing the destinations of the other agents. Asymptotic stability is guaranteed by the existence of a global Lyapunov function for the whole system, which is actually the sum of the separate navigation functions. The collision avoidance and global convergence properties as well as input requirements are verified through simulations. 1.
Proving Programs Robust ∗
"... We present a program analysis for verifying quantitative robustness properties of programs, stated generally as: “If the inputs of a program are perturbed by an arbitrary amount ɛ, then its outputs change at most by Kɛ, where K can depend on the size of the input but not its value. ” Robustness prop ..."
Abstract

Cited by 18 (2 self)
 Add to MetaCart
We present a program analysis for verifying quantitative robustness properties of programs, stated generally as: “If the inputs of a program are perturbed by an arbitrary amount ɛ, then its outputs change at most by Kɛ, where K can depend on the size of the input but not its value. ” Robustness properties generalize the analytic notion of continuity—e.g., while the function e x is continuous, it is not robust. Our problem is to verify the robustness of a function P that is coded as an imperative program, and can use diverse data types and features such as branches and loops. Our approach to the problem soundly decomposes it into two subproblems: (a) verifying that the smallest possible perturbations to the inputs of P do not change the corresponding outputs significantly, even if control now flows