STABILITY OF 2D SWITCHED LINEAR SYSTEMS WITH CONIC SWITCHING. 1. Introduction
|
|
- Estella Reeves
- 5 years ago
- Views:
Transcription
1 STABILITY OF D SWITCHED LINEAR SYSTEMS WITH CONIC SWITCHING H LENS, M E BROUCKE, AND A ARAPOSTATHIS 1 Introduction The obective of this paper is to explore necessary and sufficient conditions for stability of a class of switched linear systems in the plane The switched systems we consider consist of several linear subsystems with a conic switching law specifying the active subsystem at each point in R There is interest to understand the structure of such systems both because of existing applications in mechanical systems, switched power converters, and other fields [4], and also to promote further applications The review article [3] discusses three classes of stability questions for switched systems The maority of results are based on common Lyapunov functions or multiple Lyapunov functions Lyapunov theory typically only provides sufficient conditions for stability and, further, multiple Lyapunov function theory requires knowledge of the switched system traectories to be able to perform the analysis Also, while switched linear systems are indeed nonlinear systems if viewed as a whole, multiple Lyapunov function theory does not exploit the linearity of the subsystems A direct approach based on a qualitative analysis of the vector fields was developed by Xu and Antsaklis [7] in order to obtain necessary and sufficient conditions for asymptotic stabilizability and to construct stabilizing control laws based on conic switching for two linear subsystems Boscain [1] obtained necessary and sufficient conditions for stability of a switched linear system with two subsystems and arbitrary switching between them Holcman and Margaliot [] obtained a necessary and sufficient condition for stability of two homogeneous subsystems with arbitrary switching by constructing an appropriate common Lyapunov function Our goal is to find an intrinsic stability criterion based solely on the eigenvalues and eigenvectors of the subsystems and on the switching boundaries, in analogy with the canonical linear system theory We show this is possible for D systems with conic switching More precisely, if the plane is partitioned into a set of disoint convex cones with one linear system active in each cone and if there are no visible eigenvectors, then there is an equivalent linear system whose stability determines the stability of the switched system The eigenvalues of the equivalent system are said to be the characteristic values of the switched system Further, the eigenvalues and the eigenvectors of the subsystems can be used to provide a qualitative classification of linear switched systems, ust as in the canonical linear system theory The key notion in this classification is that of visible eigenvectors We assume throughout that the switched system exhibits no chattering Similar ideas can be found in Date: May 15, 004 The second author acknowledges the support of the Natural Sciences and Engineering Research Council of Canada (NSERC The third author was supported in part by the Office of Naval Research through the Electric Ship Research and Development Consortium, in part by the National Science Foundation under Grants ECS
2 H LENS, M E BROUCKE, AND A ARAPOSTATHIS the paper [6] They obtain a necessary and sufficient condition for stability of D switched linear systems with conic switching (SLSCS by calculating the gain of a Poincare map They also identify the relevance of visible eigenvectors In this paper we go one step further by obtaining explicit expressions for the characteristic values of the switched system Roughly speaking, for a switched system there are two mechanisms that lead to stability or instability One is the effect of the time-average of the eigenvalues of the individual linear components on each partition weighted by the fraction of the time that traectories spent on each partition The other is induced by the non-commutativity of the individual linear maps The expressions obtained in this paper distinguish between the two components and thus shed some new light on the issue of stability The paper is organized as follows In Section we present two preliminary results needed for the ensuing discussion: the effect of dominant eigenvectors on the direction of the flow in R, and a result on traectories escaping convex cones in R d In Section 3 we give our main result of computing the characteristic values of a switched linear system In Section 4 we classify SLCSC according to visible eigenvectors Preliminaries Two preliminary results are needed First, we define two types of eigenvectors to be used later: dominant and visible Second, we prove a general result in R d about traectories escaping convex cones Definition 1 Given a D linear system with real, distinct eigenvalues, we define the eigenvector corresponding to the greater eigenvalue to be the dominant eigenvector The other eigenvector is the non-dominant eigenvector Lemma 1 Traectories of a D linear system with real, distinct eigenvalues not starting on either eigenvector turn from the non-dominant to the dominant eigenvector Definition We define an eigenvector to be visible if it lies in the cone in which its subsystem is active Theorem Let K be a closed convex cone in R d, and suppose K does not contain a subspace of R d Suppose no eigenvectors of A R d d lie in K Then for any initial condition x 0 K, x 0 0, the traectory of the system ẋ = Ax eventually leaves the cone K; that is, for each x 0 K, x 0 0, there exists t 0 R such that e At 0 x 0 / K Proof We prove the theorem by contradicting the hypothesis Suppose that for some initial condition x 0 K, e At x 0 K, for all t 0 Let K denote the maximal invariant set under the semigroup {e At } contained in K Then K, and since the dynamics are linear, it is evident that K is also a closed convex cone By [5, Lemma 1], K contains an eigenvector of A, leading to a contradiction 3 Characteristic values of D switched systems In this section we compute the characteristic values of D SLSCS We start with the case when each subsystem has complex eigenvalues and then show all other cases can be mapped to this case The method is to compute the growth of traectories after one cycle around the origin (or half-cycle and use this parameter to obtain the asymptotic behavior of the switched system
3 STABILITY OF D SWITCHED LINEAR SYSTEMS WITH CONIC SWITCHING 3 Let A R have a pair of complex eigenvalues λ ± ω Let K be a closed cone generated by the pair of vectors {u 1, u } R, and suppose that ẋ = Ax governs the dynamics in K We assume the system is oriented so that a traectory starting at u 1 moves counterclockwise and exits the cone crossing the boundary generated by u The condition for this is simply u T 1 AT Ju 1 0, where J = ( Note that A takes the form: A = P ( λi + ωj P 1 (31 Letting z = P 1 x, the system transforms to ż = (λi + ωjz and the cone K is mapped to the cone K generated by the vectors { P 1 u 1, P 1 } u Let Θ(, be the angle in radians between two vectors in R in the counterclockwise sense The time τ that it takes the system ż = (λi + ωjz to transverse the sector K is τ = Θ( P 1 u 1, P 1 u (3 ω This is of course the same time that it takes the original system ẋ = Ax to transverse the sector K Remark 31 The cosine (or sine of the angle Θ ( P 1 u 1, P 1 u can be calculated in closed form from P, u 1 and u However, the inverse cosine function is needed for the calculation of the time τ Now let { u 1,, u n, u n+1 } be an ordered (say counterclockwise set of unit vectors in R such that u n+1 = u 1 Let { K 1,, K n } be a set of cones (either closed, half-closed, or open that form a partition of R such that K i is generated by { u i, u i+1 } On each K i we have the dynamics ẋ = A i x We assume that each A i R has a pair of complex eigenvalues λ i ± ω i, and that all traectories move counterclockwise (no sliding modes Then, each A i has the form A i = P i ( λi I + ω i J P 1 i, i = 1,, n (33 Define τ i = Θ( Pi 1 u i, Pi 1 u i+1, ω i i = 1,, n, (34 n τ = τ i, (35 i=1 u i = P 1 i u (36 Theorem 31 The traectory x(t of the switched system grows asymptotically as e (µ+ωt where µ = α + log β τ (37 ω = π τ, (38
4 4 H LENS, M E BROUCKE, AND A ARAPOSTATHIS and α = n i=1 τ iλ i τ β = un n u n 1 n 1 =1 u The expressions for α and β are independent of the choice of the P i s (39 u +1 (310 Remark 3 Since the stability of the SLSCS is determined by the complex numbers µ±ω, we call them the characteristic values of the switched system Proof Let B i = λ i I + ω i J Assume x 0 = u 1 We have x(τ = P n e Bnτn Pn 1 P n 1e B n 1τ n 1 Pn 1 1 P 1e B 1τ 1 P1 1 x 0 For some constant β n, x(τ = P n β n u n 1 = β n, so we must determine β n We have β n u n 1 = β n u n 1 for some constant β n 1 Hence we have that = e λnτn Pn 1 P n 1 e B n 1τ n 1 Pn 1 1 P 1e B 1τ 1 P1 1 x 0 = e λnτn Pn 1 P n 1 β n 1 un n 1 = e λnτn β n 1 u n n, β n = e λnτn un n u n 1 β n 1 Continuing this argument inductively we obtain β = e λ τ u u +1 β 1 β 1 = e λ 1τ 1 u 1 1 u 1 =,, n We obtain log β x(τ = e [α+ τ ]τ from which the first result follows The expression for ω can be obtained directly Next we must show these expressions, in particular β, are independent of the choice of P i s Suppose there exists Q P such that A = Q(λI + ωjq 1 = P (λi + ωjp 1 Then P 1 Q(λI + ωj = (λi + ωjp 1 Q (311 Let T = P 1 Q By multiplying out (311 we find T has the form [ ] t1 t T = t t 1 By direct calculation and using P 1 = T Q 1, one can verify that for any u R P 1 u = T Q 1 u,
5 STABILITY OF D SWITCHED LINEAR SYSTEMS WITH CONIC SWITCHING 5 where T = t 1 + t Thus, we have u u +1 = P 1 u P 1 u +1 1 T Q u = T Q 1 u +1 = Q 1 u Q 1 u +1 Hence β is independent of the choice of the transforming matrices Remark 33 Note that if the matrices {A i } commute pairwise, then β = 1 Therefore, in this case stability results if the time-average of the mean eigenvalue is negative (α < 0 Likewise, if λ i = 0 for all i, then stability depends only on β, which does not depend on the eigenvalues of the individual matrices A i Example 31 Consider a SLSCS with two linear systems [ ] [ 0 0 1/ A 1 = A 1/ 0 = 0 The switching boundaries are u 1 = [1 0] T and u = [0 1] T The eigenvalues of A 1 are ± and of A, ± The characteristic values of the SLSCS computed using (39-(310 are Real Eigenvalues In this section we show that the asymptotic behavior of a linear system with real distinct or real repeated eigenvalues inside a cone that does not contain the system s eigenvectors is equivalent to the asymptotic behavior of a system with complex eigenvectors Each such subsystem in the SLSCS can be replaced by its asymptotically equivalent system with complex eigenvalues, so that we only need the formulas (37-(38 to compute the characteristic values of an arbitrary D SLSCS To this end, let A R have distinct real eigenvalues λ 1 > λ, let K be a closed cone generated by the pair of vectors {u, u } R, and suppose that ẋ = Ax governs the dynamics in K Further, we assume that K contains no eigenvectors of A and the system is oriented so that the traectory starting at u moves counterclockwise and( exits the cone crossing the boundary generated by u λ1 0 The matrix A has the form A = P P 0 λ 1 so we can map to the canonical system ż(t = ] ( λ1 0 z(t (31 0 λ Define the unit vectors ũ = P 1 u, = P 1 u (313 Since K contains no eigenvectors of A it has to be the case that ũ and have the same sign (component wise By Theorem, the time τ it takes the system to traverse the cone is finite If we define the growth of the system as it tranverses the cone to be e λτ then we have ( (ũ (ũ e λ 1 τ e λ τ ũ = e λτ 1 (314 Solving (314 we obtain τ = log ( ũ 1 ũ 1ũ λ = λ 1 + λ, (315 λ 1 λ ( ( τ log ũ 1 ũ 1ũ
6 6 H LENS, M E BROUCKE, AND A ARAPOSTATHIS In the case of repeated eigenvalues coupled in a Jordan block, ie, A = P ( λr 1 P 0 λ 1, r instead of (314, we solve (e λrτ τe λrτ to obtain 0 e λrτ τ = ũ 1 ũ 1 ũ (ũ 1 ũ = 1 ũ ũ λ = λ r + 1 τ log ( ũ (ũ = e λτ 1, (317 det (ũ 1 ũ 1 ũ, (318 (319 It can be shown as before that the formulas (315-(316 and (318-(319 do not depend on the particular choice of the transforming matrix P The asymptotically equivalent system with complex eigenvalues is ( λ ω ẋ = P P ω λ 1 x, ( where ω = Θ P 1 i u,p 1 i u τ Example 3 Consider a SLSCS with two linear systems [ ] [ A 1 = A 6 5 = 3 The switching boundaries are u 1 = [1 0] T and u = [0 1] T The eigenvalues of A 1 are 1, and of A, 1, The characteristic values of the SLSCS are ] 4 Classification of D SLSCS Linear systems are usually categorized according to their eigenvalues and eigenvectors into nodes, foci, centers, and saddles Since SLSCS are essentially nonlinear, such a classification is not possible, but if we redefine the categories for linear systems and add a few categories, one can characterize the behavior of SLSCS that consist of two subsystems In the following, by stable we mean in the sense of Lyapunov Also, we assume that eigenvectors do not lie on switching boundaries By stable eigenvector, we mean an eigenvector with associated real eigenvalue that is stable Definition 41 We define a D SLSCS with two subsystems to be (1 a stable (unstable focus if traectories starting in R \ {0} are stable (unstable and orbit the origin ( a stable (unstable node if traectories starting in R \ {0} are stable (unstable and do not orbit the origin (3 a saddle if traectories starting in R \ L are unstable, where L is a line through the origin (4 pseudostable if traectories starting in R \ L are stable, where L is a line through the origin (5 semistable if there is a cone K such that traectories starting in K are stable and traectories starting in R \ K are unstable
7 STABILITY OF D SWITCHED LINEAR SYSTEMS WITH CONIC SWITCHING 7 (6 a double saddle if traectories starting in R \ L 1 L are unstable, where L 1, L are lines through the origin 41 Stability Categories SLSCS can be categorized according to the number of visible eigenvectors The number of visible eigenvectors is important since we can infer which cases in Definition 41 are at all possible 411 No visible eigenvectors This is the case studied in Section 3 The switched system is a focus and its stability is determined by its characteristic values as given in Theorem One visible eigenvector If there is one visible eigenvector, that eigenvector must be dominant, otherwise the cone would be negatively invariant and by Theorem, the other cone has a finite escape time, which together would result in chattering If the visible eigenvector is dominant, all traectories will eventually approach that eigenvector The SLSCS is therefore a node It is stable if the visible eigenvector is stable, and unstable in the other case 413 Two visible eigenvectors In this case, at least one of the vectors must be dominant otherwise both cones would be negatively invariant, indicating chattering If there is a double eigenvector visible, the behavior is equivalent to one of the first two cases below (1 Both are stable All traectories will approach the dominant (or one of them, if they are both dominant eigenvector or remain on an eigenvector Since that will in any case be a stable eigenvector, the system is a stable node ( Both are unstable The reverse is true and the system is an unstable node (3 One is stable There are three possible cases: (a Both dominant In this case they have to lie in different cones, which are both positively invariant Therefore, traectories starting in the cone with the stable eigenvector will be stable, those starting in the other cone will be unstable The system is thus semistable (b Stable dominant, unstable non-dominant All traectories except those that start on the unstable eigenvector will eventually approach the stable eigenvector and therefore be stable The system is pseudostable (c Unstable dominant, stable non-dominant All traectories except those that start on the stable eigenvector will eventually approach the unstable eigenvector and therefore be unstable The system is a saddle 414 Three visible eigenvectors As in the case of one visible eigenvector, the single eigenvector must be dominant for the system not to chatter This implies the following possible cases: (1 All are stable All traectories will approach a dominant eigenvector or remain on one of the eigenvectors Since that will in any case be a stable eigenvector, the system is a stable node ( All are unstable The reverse is true and the system is an unstable node (3 Two are stable The unstable vector will always be dominant, hence it will attract traectories starting in a cone bounded by the nearest eigenvectors or switching boundaries One of the stable vectors will also be dominant, attracting the rest of the traectories The SLSCS will therefore be semistable
8 8 H LENS, M E BROUCKE, AND A ARAPOSTATHIS (4 One is stable There are two possible cases: (a single stable The single eigenvector is dominant, so will attract traectories starting in a surrounding cone; the same holds for the dominant of the unstable eigenvectors The system is semistable (b single unstable The stable vector will necessarily be non-dominant Therefore, all traectories except those starting on the stable eigenvector will be attracted to one of the unstable vectors Hence the system is a saddle 415 Four visible eigenvectors This case is special in the sense that all eigenvectors are visible Thus, there will always be two dominant and two non-dominant eigenvectors visible From that we can immediately infer that it is not allowed that the two non-dominant eigenvectors lie next to each other, otherwise chattering would occur The first two cases are rather trivial: (1 All are stable All traectories will approach a dominant eigenvector or remain on one of the eigenvectors Since that will in any case be a stable eigenvector, the system is a stable node ( All are unstable The reverse is true and the system is an unstable node (3 Three are stable This means that there will be exactly one dominant eigenvector that is stable and one that is unstable Analogously to the case with three visible eigenvectors, this means that the system is semistable (4 Two are stable If stable eigenvectors alternate with unstable eigenvectors, ie both subsystems are saddles, both dominant eigenvectors will be unstable Therefore all traectories that do not start on either of the stable eigenvectors are unstable Hence the system is a double saddle If the subsystems are a stable and an unstable node, there will be a dominant eigenvector that is stable and one that is unstable As before, this implies that the system is semistable (5 One is stable Both dominant eigenvectors will be unstable Hence the system is a saddle References [1] U Boscain Stability of planar switched systems: the linear single input case SIAM J Control Optim, vol 41, no 1, pp 89 11, 00 [] D Holcman and M Margaliot Stability analysis of second-order switched homogeneous systems SIAM J Control Optim, vol 41, no 5, pp , 003 [3] D Liberzon, AS Morse Basic problems in stability and design of switched systems, IEEE Control Systems Magazine, vol 19, no 5, pp 59 70, October 1999 [4] AS Morse, ed Control Using Logic-Based Switching Springer-Verlag, 1997 [5] M Pachter and DH Jacobson Observability with conic observation set IEEE Trans Automatic Control, vol AC-4, pp , August 1979 [6] M Pachter and DH Jacobson The stability of planar dynamical systems linear-in-cones IEEE Trans Automatic Control, vol AC-6, pp , April 1981 [7] X Xu and PJ Antsaklis Stability of second-order LTI switched systems International Journal of Control vol 73, no 14, pp , 000
9 STABILITY OF D SWITCHED LINEAR SYSTEMS WITH CONIC SWITCHING 9 Dept of Electrical and Computer Engineering, University of Toronto, Toronto ON M5S 3G4 Canada address: hlens@gmxde Dept of Electrical and Computer Engineering, University of Toronto, Toronto ON M5S 3G4 Canada address: broucke@controlutorontoca Dept of Electrical and Computer Engineering, University of Texas, Austin Tx 7871, USA address: ari@eceutexasedu
Gramians based model reduction for hybrid switched systems
Gramians based model reduction for hybrid switched systems Y. Chahlaoui Younes.Chahlaoui@manchester.ac.uk Centre for Interdisciplinary Computational and Dynamical Analysis (CICADA) School of Mathematics
More informationSTABILITY OF PLANAR NONLINEAR SWITCHED SYSTEMS
LABORATOIRE INORMATIQUE, SINAUX ET SYSTÈMES DE SOPHIA ANTIPOLIS UMR 6070 STABILITY O PLANAR NONLINEAR SWITCHED SYSTEMS Ugo Boscain, régoire Charlot Projet TOpModel Rapport de recherche ISRN I3S/RR 2004-07
More informationOn the convergence of normal forms for analytic control systems
Chapter 1 On the convergence of normal forms for analytic control systems Wei Kang Department of Mathematics, Naval Postgraduate School Monterey, CA 93943 wkang@nps.navy.mil Arthur J. Krener Department
More informationENERGY DECAY ESTIMATES FOR LIENARD S EQUATION WITH QUADRATIC VISCOUS FEEDBACK
Electronic Journal of Differential Equations, Vol. 00(00, No. 70, pp. 1 1. ISSN: 107-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp ENERGY DECAY ESTIMATES
More informationConvergence Rate of Nonlinear Switched Systems
Convergence Rate of Nonlinear Switched Systems Philippe JOUAN and Saïd NACIRI arxiv:1511.01737v1 [math.oc] 5 Nov 2015 January 23, 2018 Abstract This paper is concerned with the convergence rate of the
More informationPractical Stabilization of Integrator Switched Systems
Practical Stabilization of Integrator Switched Systems Xuping Xu and Panos J. Antsaklis 2 Department of Electrical and Computer Engineering Penn State Erie, Erie, PA 6563, USA. E-mail: Xuping-Xu@psu.edu
More informationQuadratic and Copositive Lyapunov Functions and the Stability of Positive Switched Linear Systems
Proceedings of the 2007 American Control Conference Marriott Marquis Hotel at Times Square New York City, USA, July 11-13, 2007 WeA20.1 Quadratic and Copositive Lyapunov Functions and the Stability of
More informationL 2 -induced Gains of Switched Systems and Classes of Switching Signals
L 2 -induced Gains of Switched Systems and Classes of Switching Signals Kenji Hirata and João P. Hespanha Abstract This paper addresses the L 2-induced gain analysis for switched linear systems. We exploit
More informationB5.6 Nonlinear Systems
B5.6 Nonlinear Systems 5. Global Bifurcations, Homoclinic chaos, Melnikov s method Alain Goriely 2018 Mathematical Institute, University of Oxford Table of contents 1. Motivation 1.1 The problem 1.2 A
More informationB5.6 Nonlinear Systems
B5.6 Nonlinear Systems 4. Bifurcations Alain Goriely 2018 Mathematical Institute, University of Oxford Table of contents 1. Local bifurcations for vector fields 1.1 The problem 1.2 The extended centre
More informationAPPPHYS217 Tuesday 25 May 2010
APPPHYS7 Tuesday 5 May Our aim today is to take a brief tour of some topics in nonlinear dynamics. Some good references include: [Perko] Lawrence Perko Differential Equations and Dynamical Systems (Springer-Verlag
More information2.10 Saddles, Nodes, Foci and Centers
2.10 Saddles, Nodes, Foci and Centers In Section 1.5, a linear system (1 where x R 2 was said to have a saddle, node, focus or center at the origin if its phase portrait was linearly equivalent to one
More informationA Lie-algebraic condition for stability of switched nonlinear systems
43rd IEEE Conference on Decision and Control December 14-17, 2004 Atlantis, Paradise Island, Bahamas FrB01.6 A Lie-algebraic condition for stability of switched nonlinear systems Michael Margaliot and
More informationControl Systems. Internal Stability - LTI systems. L. Lanari
Control Systems Internal Stability - LTI systems L. Lanari outline LTI systems: definitions conditions South stability criterion equilibrium points Nonlinear systems: equilibrium points examples stable
More informationTWELVE LIMIT CYCLES IN A CUBIC ORDER PLANAR SYSTEM WITH Z 2 -SYMMETRY. P. Yu 1,2 and M. Han 1
COMMUNICATIONS ON Website: http://aimsciences.org PURE AND APPLIED ANALYSIS Volume 3, Number 3, September 2004 pp. 515 526 TWELVE LIMIT CYCLES IN A CUBIC ORDER PLANAR SYSTEM WITH Z 2 -SYMMETRY P. Yu 1,2
More information1. Find the solution of the following uncontrolled linear system. 2 α 1 1
Appendix B Revision Problems 1. Find the solution of the following uncontrolled linear system 0 1 1 ẋ = x, x(0) =. 2 3 1 Class test, August 1998 2. Given the linear system described by 2 α 1 1 ẋ = x +
More informationLECTURE 8: DYNAMICAL SYSTEMS 7
15-382 COLLECTIVE INTELLIGENCE S18 LECTURE 8: DYNAMICAL SYSTEMS 7 INSTRUCTOR: GIANNI A. DI CARO GEOMETRIES IN THE PHASE SPACE Damped pendulum One cp in the region between two separatrix Separatrix Basin
More informationOn Dwell Time Minimization for Switched Delay Systems: Free-Weighting Matrices Method
On Dwell Time Minimization for Switched Delay Systems: Free-Weighting Matrices Method Ahmet Taha Koru Akın Delibaşı and Hitay Özbay Abstract In this paper we present a quasi-convex minimization method
More informationModeling and Analysis of Dynamic Systems
Modeling and Analysis of Dynamic Systems Dr. Guillaume Ducard Fall 2017 Institute for Dynamic Systems and Control ETH Zurich, Switzerland G. Ducard c 1 / 57 Outline 1 Lecture 13: Linear System - Stability
More informationState-norm estimators for switched nonlinear systems under average dwell-time
49th IEEE Conference on Decision and Control December 15-17, 2010 Hilton Atlanta Hotel, Atlanta, GA, USA State-norm estimators for switched nonlinear systems under average dwell-time Matthias A. Müller
More information1 Continuous-time Systems
Observability Completely controllable systems can be restructured by means of state feedback to have many desirable properties. But what if the state is not available for feedback? What if only the output
More informationAverage-Consensus of Multi-Agent Systems with Direct Topology Based on Event-Triggered Control
Outline Background Preliminaries Consensus Numerical simulations Conclusions Average-Consensus of Multi-Agent Systems with Direct Topology Based on Event-Triggered Control Email: lzhx@nankai.edu.cn, chenzq@nankai.edu.cn
More informationOn the stability of switched positive linear systems
On the stability of switched positive linear systems L. Gurvits, R. Shorten and O. Mason Abstract It was recently conjectured that the Hurwitz stability of the convex hull of a set of Metzler matrices
More informationPassivity-based Stabilization of Non-Compact Sets
Passivity-based Stabilization of Non-Compact Sets Mohamed I. El-Hawwary and Manfredi Maggiore Abstract We investigate the stabilization of closed sets for passive nonlinear systems which are contained
More informationExamples include: (a) the Lorenz system for climate and weather modeling (b) the Hodgkin-Huxley system for neuron modeling
1 Introduction Many natural processes can be viewed as dynamical systems, where the system is represented by a set of state variables and its evolution governed by a set of differential equations. Examples
More information1 The Observability Canonical Form
NONLINEAR OBSERVERS AND SEPARATION PRINCIPLE 1 The Observability Canonical Form In this Chapter we discuss the design of observers for nonlinear systems modelled by equations of the form ẋ = f(x, u) (1)
More informationStability Analysis of a Proportional with Intermittent Integral Control System
American Control Conference Marriott Waterfront, Baltimore, MD, USA June 3-July, ThB4. Stability Analysis of a Proportional with Intermittent Integral Control System Jin Lu and Lyndon J. Brown Abstract
More informationOn Linear Copositive Lyapunov Functions and the Stability of Switched Positive Linear Systems
1 On Linear Copositive Lyapunov Functions and the Stability of Switched Positive Linear Systems O. Mason and R. Shorten Abstract We consider the problem of common linear copositive function existence for
More informationOn the Stabilization of Neutrally Stable Linear Discrete Time Systems
TWCCC Texas Wisconsin California Control Consortium Technical report number 2017 01 On the Stabilization of Neutrally Stable Linear Discrete Time Systems Travis J. Arnold and James B. Rawlings Department
More informationZero controllability in discrete-time structured systems
1 Zero controllability in discrete-time structured systems Jacob van der Woude arxiv:173.8394v1 [math.oc] 24 Mar 217 Abstract In this paper we consider complex dynamical networks modeled by means of state
More informationCONTROL SYSTEMS, ROBOTICS AND AUTOMATION - Vol. VII - System Characteristics: Stability, Controllability, Observability - Jerzy Klamka
SYSTEM CHARACTERISTICS: STABILITY, CONTROLLABILITY, OBSERVABILITY Jerzy Klamka Institute of Automatic Control, Technical University, Gliwice, Poland Keywords: stability, controllability, observability,
More informationClosed Loop Stabilization of Planar Bilinear Switched Systems
Closed Loop Stabilization of Planar Bilinear Switched Systems A. Bacciotti and F. Ceragioli Dipartimento di Matematica del Politecnico di Torino C.so Duca degli Abruzzi, 24-10129 Torino - Italy andrea.bacciotti@polito.it,
More information6 Linear Equation. 6.1 Equation with constant coefficients
6 Linear Equation 6.1 Equation with constant coefficients Consider the equation ẋ = Ax, x R n. This equating has n independent solutions. If the eigenvalues are distinct then the solutions are c k e λ
More informationStabilization of Second-Order LTI Switched Systems
F'roceedings of the 38' Conference on Decision & Control Phoenix, Arizona USA - December 1999 Stabilization of Second-Order LTI Switched Systems Xuping Xu' and Panos J. Antsaklis Department of Electrical
More informationOptimal Control of Switching Surfaces
Optimal Control of Switching Surfaces Y. Wardi, M. Egerstedt, M. Boccadoro, and E. Verriest {ywardi,magnus,verriest}@ece.gatech.edu School of Electrical and Computer Engineering Georgia Institute of Technology
More informationClosed Loop Stabilization of Switched Systems
Closed Loop Stabilization of Switched Systems A. Bacciotti and F. Ceragioli Dipartimento di Matematica del Politecnico di Torino C.so Duca degli Abruzzi, 24-10129 Torino - Italy bacciotti@polito.it, ceragiol@calvino.polito.it
More informationNonlinear Control Lecture 2:Phase Plane Analysis
Nonlinear Control Lecture 2:Phase Plane Analysis Farzaneh Abdollahi Department of Electrical Engineering Amirkabir University of Technology Fall 2010 r. Farzaneh Abdollahi Nonlinear Control Lecture 2 1/53
More informationChapter III. Stability of Linear Systems
1 Chapter III Stability of Linear Systems 1. Stability and state transition matrix 2. Time-varying (non-autonomous) systems 3. Time-invariant systems 1 STABILITY AND STATE TRANSITION MATRIX 2 In this chapter,
More informationStability Theory for Nonnegative and Compartmental Dynamical Systems with Time Delay
1 Stability Theory for Nonnegative and Compartmental Dynamical Systems with Time Delay Wassim M. Haddad and VijaySekhar Chellaboina School of Aerospace Engineering, Georgia Institute of Technology, Atlanta,
More informationOn one Application of Newton s Method to Stability Problem
Journal of Multidciplinary Engineering Science Technology (JMEST) ISSN: 359-0040 Vol. Issue 5, December - 204 On one Application of Newton s Method to Stability Problem Şerife Yılmaz Department of Mathematics,
More informationLie-algebraic stability conditions for nonlinear switched systems and differential inclusions
Systems & Control Letters 55 (2006) 8 16 www.elsevier.com/locate/sysconle Lie-algebraic stability conditions for nonlinear switched systems and differential inclusions Michael Margaliot a,1, Daniel Liberzon
More informationMatrix Mathematics. Theory, Facts, and Formulas with Application to Linear Systems Theory. Dennis S. Bernstein
Matrix Mathematics Theory, Facts, and Formulas with Application to Linear Systems Theory Dennis S. Bernstein PRINCETON UNIVERSITY PRESS PRINCETON AND OXFORD Contents Special Symbols xv Conventions, Notation,
More informationGlobal stabilization of feedforward systems with exponentially unstable Jacobian linearization
Global stabilization of feedforward systems with exponentially unstable Jacobian linearization F Grognard, R Sepulchre, G Bastin Center for Systems Engineering and Applied Mechanics Université catholique
More informationStability and Stabilizability of Switched Linear Systems: A Short Survey of Recent Results
Proceedings of the 2005 IEEE International Symposium on Intelligent Control Limassol, Cyprus, June 27-29, 2005 MoA01-5 Stability and Stabilizability of Switched Linear Systems: A Short Survey of Recent
More informationB. Differential Equations A differential equation is an equation of the form
B Differential Equations A differential equation is an equation of the form ( n) F[ t; x(, xʹ (, x ʹ ʹ (, x ( ; α] = 0 dx d x ( n) d x where x ʹ ( =, x ʹ ʹ ( =,, x ( = n A differential equation describes
More informationA Model of Evolutionary Dynamics with Quasiperiodic Forcing
paper presented at Society for Experimental Mechanics (SEM) IMAC XXXIII Conference on Structural Dynamics February 2-5, 205, Orlando FL A Model of Evolutionary Dynamics with Quasiperiodic Forcing Elizabeth
More informationEE222 - Spring 16 - Lecture 2 Notes 1
EE222 - Spring 16 - Lecture 2 Notes 1 Murat Arcak January 21 2016 1 Licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License. Essentially Nonlinear Phenomena Continued
More informationCharacterization of the stability boundary of nonlinear autonomous dynamical systems in the presence of a saddle-node equilibrium point of type 0
Anais do CNMAC v.2 ISSN 1984-82X Characterization of the stability boundary of nonlinear autonomous dynamical systems in the presence of a saddle-node equilibrium point of type Fabíolo M. Amaral Departamento
More informationDelay-independent stability via a reset loop
Delay-independent stability via a reset loop S. Tarbouriech & L. Zaccarian (LAAS-CNRS) Joint work with F. Perez Rubio & A. Banos (Universidad de Murcia) L2S Paris, 20-22 November 2012 L2S Paris, 20-22
More informationLinear Systems Notes for CDS-140a
Linear Systems Notes for CDS-140a October 27, 2008 1 Linear Systems Before beginning our study of linear dynamical systems, it only seems fair to ask the question why study linear systems? One might hope
More information7 Planar systems of linear ODE
7 Planar systems of linear ODE Here I restrict my attention to a very special class of autonomous ODE: linear ODE with constant coefficients This is arguably the only class of ODE for which explicit solution
More information1.7. Stability and attractors. Consider the autonomous differential equation. (7.1) ẋ = f(x),
1.7. Stability and attractors. Consider the autonomous differential equation (7.1) ẋ = f(x), where f C r (lr d, lr d ), r 1. For notation, for any x lr d, c lr, we let B(x, c) = { ξ lr d : ξ x < c }. Suppose
More informationEN Nonlinear Control and Planning in Robotics Lecture 3: Stability February 4, 2015
EN530.678 Nonlinear Control and Planning in Robotics Lecture 3: Stability February 4, 2015 Prof: Marin Kobilarov 0.1 Model prerequisites Consider ẋ = f(t, x). We will make the following basic assumptions
More informationChap. 3. Controlled Systems, Controllability
Chap. 3. Controlled Systems, Controllability 1. Controllability of Linear Systems 1.1. Kalman s Criterion Consider the linear system ẋ = Ax + Bu where x R n : state vector and u R m : input vector. A :
More informationStabilizing a Multi-Agent System to an Equilateral Polygon Formation
Stabilizing a Multi-Agent System to an Equilateral Polygon Formation Stephen L. Smith, Mireille E. Broucke, and Bruce A. Francis Abstract The problem of stabilizing a group of agents in the plane to a
More informationA Method for Determining Stabilizeability of a Class of Switched Systems
Proceedings of the 7th WSEAS International Conference on Systems Theory and Scientific Computation Athens Greece August 4-6 007 7 A Method for Determining Stabilizeability of a Class of Switched Systems
More information1. The Transition Matrix (Hint: Recall that the solution to the linear equation ẋ = Ax + Bu is
ECE 55, Fall 2007 Problem Set #4 Solution The Transition Matrix (Hint: Recall that the solution to the linear equation ẋ Ax + Bu is x(t) e A(t ) x( ) + e A(t τ) Bu(τ)dτ () This formula is extremely important
More information8.1 Bifurcations of Equilibria
1 81 Bifurcations of Equilibria Bifurcation theory studies qualitative changes in solutions as a parameter varies In general one could study the bifurcation theory of ODEs PDEs integro-differential equations
More informationLie-algebraic stability conditions for nonlinear switched systems and differential inclusions
Submitted to Systems and Control Letters 1 Lie-algebraic stability conditions for nonlinear switched systems and differential inclusions Michael Margaliot Dept. of Electrical Engineering - Systems Tel
More informationHybrid Systems Techniques for Convergence of Solutions to Switching Systems
Hybrid Systems Techniques for Convergence of Solutions to Switching Systems Rafal Goebel, Ricardo G. Sanfelice, and Andrew R. Teel Abstract Invariance principles for hybrid systems are used to derive invariance
More informationA Characterization of the Hurwitz Stability of Metzler Matrices
29 American Control Conference Hyatt Regency Riverfront, St Louis, MO, USA June -2, 29 WeC52 A Characterization of the Hurwitz Stability of Metzler Matrices Kumpati S Narendra and Robert Shorten 2 Abstract
More informationChapter 4 & 5: Vector Spaces & Linear Transformations
Chapter 4 & 5: Vector Spaces & Linear Transformations Philip Gressman University of Pennsylvania Philip Gressman Math 240 002 2014C: Chapters 4 & 5 1 / 40 Objective The purpose of Chapter 4 is to think
More informationStability lectures. Stability of Linear Systems. Stability of Linear Systems. Stability of Continuous Systems. EECE 571M/491M, Spring 2008 Lecture 5
EECE 571M/491M, Spring 2008 Lecture 5 Stability of Continuous Systems http://courses.ece.ubc.ca/491m moishi@ece.ubc.ca Dr. Meeko Oishi Electrical and Computer Engineering University of British Columbia,
More informationPOLE PLACEMENT. Sadegh Bolouki. Lecture slides for ECE 515. University of Illinois, Urbana-Champaign. Fall S. Bolouki (UIUC) 1 / 19
POLE PLACEMENT Sadegh Bolouki Lecture slides for ECE 515 University of Illinois, Urbana-Champaign Fall 2016 S. Bolouki (UIUC) 1 / 19 Outline 1 State Feedback 2 Observer 3 Observer Feedback 4 Reduced Order
More informationStructural Consensus Controllability of Singular Multi-agent Linear Dynamic Systems
Structural Consensus Controllability of Singular Multi-agent Linear Dynamic Systems M. ISAL GARCÍA-PLANAS Universitat Politècnica de Catalunya Departament de Matèmatiques Minería 1, sc. C, 1-3, 08038 arcelona
More informationMath 3301 Homework Set Points ( ) ( ) I ll leave it to you to verify that the eigenvalues and eigenvectors for this matrix are, ( ) ( ) ( ) ( )
#7. ( pts) I ll leave it to you to verify that the eigenvalues and eigenvectors for this matrix are, λ 5 λ 7 t t ce The general solution is then : 5 7 c c c x( 0) c c 9 9 c+ c c t 5t 7 e + e A sketch of
More informationEntrance Exam, Differential Equations April, (Solve exactly 6 out of the 8 problems) y + 2y + y cos(x 2 y) = 0, y(0) = 2, y (0) = 4.
Entrance Exam, Differential Equations April, 7 (Solve exactly 6 out of the 8 problems). Consider the following initial value problem: { y + y + y cos(x y) =, y() = y. Find all the values y such that the
More informationAnalysis and design of switched normal systems
Nonlinear Analysis 65 (2006) 2248 2259 www.elsevier.com/locate/na Analysis and design of switched normal systems Guisheng Zhai a,, Xuping Xu b, Hai Lin c, Anthony N. Michel c a Department of Mechanical
More informationFinding eigenvalues for matrices acting on subspaces
Finding eigenvalues for matrices acting on subspaces Jakeniah Christiansen Department of Mathematics and Statistics Calvin College Grand Rapids, MI 49546 Faculty advisor: Prof Todd Kapitula Department
More informationThe Hilbert-Mumford Criterion
The Hilbert-Mumford Criterion Klaus Pommerening Johannes-Gutenberg-Universität Mainz, Germany January 1987 Last change: April 4, 2017 The notions of stability and related notions apply for actions of algebraic
More informationComplex Dynamic Systems: Qualitative vs Quantitative analysis
Complex Dynamic Systems: Qualitative vs Quantitative analysis Complex Dynamic Systems Chiara Mocenni Department of Information Engineering and Mathematics University of Siena (mocenni@diism.unisi.it) Dynamic
More informationDisturbance Attenuation Properties for Discrete-Time Uncertain Switched Linear Systems
Disturbance Attenuation Properties for Discrete-Time Uncertain Switched Linear Systems Hai Lin Department of Electrical Engineering University of Notre Dame Notre Dame, IN 46556, USA Panos J. Antsaklis
More informationControl design using Jordan controllable canonical form
Control design using Jordan controllable canonical form Krishna K Busawon School of Engineering, Ellison Building, University of Northumbria at Newcastle, Newcastle upon Tyne NE1 8ST, UK email: krishnabusawon@unnacuk
More informationMath 266: Phase Plane Portrait
Math 266: Phase Plane Portrait Long Jin Purdue, Spring 2018 Review: Phase line for an autonomous equation For a single autonomous equation y = f (y) we used a phase line to illustrate the equilibrium solutions
More informationThe servo problem for piecewise linear systems
The servo problem for piecewise linear systems Stefan Solyom and Anders Rantzer Department of Automatic Control Lund Institute of Technology Box 8, S-22 Lund Sweden {stefan rantzer}@control.lth.se Abstract
More informationStabilization and Passivity-Based Control
DISC Systems and Control Theory of Nonlinear Systems, 2010 1 Stabilization and Passivity-Based Control Lecture 8 Nonlinear Dynamical Control Systems, Chapter 10, plus handout from R. Sepulchre, Constructive
More information4 Second-Order Systems
4 Second-Order Systems Second-order autonomous systems occupy an important place in the study of nonlinear systems because solution trajectories can be represented in the plane. This allows for easy visualization
More informationModule 07 Controllability and Controller Design of Dynamical LTI Systems
Module 07 Controllability and Controller Design of Dynamical LTI Systems Ahmad F. Taha EE 5143: Linear Systems and Control Email: ahmad.taha@utsa.edu Webpage: http://engineering.utsa.edu/ataha October
More informationConsensus Protocols for Networks of Dynamic Agents
Consensus Protocols for Networks of Dynamic Agents Reza Olfati Saber Richard M. Murray Control and Dynamical Systems California Institute of Technology Pasadena, CA 91125 e-mail: {olfati,murray}@cds.caltech.edu
More informationHYBRID LIMIT CYCLES AND HYBRID POINCARÉ-BENDIXSON. Slobodan N. Simić
HYBRID LIMIT CYCLES AND HYBRID POINCARÉ-BENDIXSON Slobodan N. Simić Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, CA 94720-1774, U.S.A. Email: simic@eecs.berkeley.edu
More informationHybrid Systems Course Lyapunov stability
Hybrid Systems Course Lyapunov stability OUTLINE Focus: stability of an equilibrium point continuous systems decribed by ordinary differential equations (brief review) hybrid automata OUTLINE Focus: stability
More informationBIFURCATION PHENOMENA Lecture 1: Qualitative theory of planar ODEs
BIFURCATION PHENOMENA Lecture 1: Qualitative theory of planar ODEs Yuri A. Kuznetsov August, 2010 Contents 1. Solutions and orbits. 2. Equilibria. 3. Periodic orbits and limit cycles. 4. Homoclinic orbits.
More information16. Local theory of regular singular points and applications
16. Local theory of regular singular points and applications 265 16. Local theory of regular singular points and applications In this section we consider linear systems defined by the germs of meromorphic
More informationResearch Article Global Dynamics of a Competitive System of Rational Difference Equations in the Plane
Hindawi Publishing Corporation Advances in Difference Equations Volume 009 Article ID 1380 30 pages doi:101155/009/1380 Research Article Global Dynamics of a Competitive System of Rational Difference Equations
More information27. Topological classification of complex linear foliations
27. Topological classification of complex linear foliations 545 H. Find the expression of the corresponding element [Γ ε ] H 1 (L ε, Z) through [Γ 1 ε], [Γ 2 ε], [δ ε ]. Problem 26.24. Prove that for any
More informationA Globally Stabilizing Receding Horizon Controller for Neutrally Stable Linear Systems with Input Constraints 1
A Globally Stabilizing Receding Horizon Controller for Neutrally Stable Linear Systems with Input Constraints 1 Ali Jadbabaie, Claudio De Persis, and Tae-Woong Yoon 2 Department of Electrical Engineering
More informationThere is a more global concept that is related to this circle of ideas that we discuss somewhat informally. Namely, a region R R n with a (smooth)
82 Introduction Liapunov Functions Besides the Liapunov spectral theorem, there is another basic method of proving stability that is a generalization of the energy method we have seen in the introductory
More informationAn efficient algorithm to compute the real perturbation values of a matrix
An efficient algorithm to compute the real perturbation values of a matrix Simon Lam and Edward J. Davison 1 Abstract In this paper, an efficient algorithm is presented for solving the nonlinear 1-D optimization
More informationGeometric Mapping Properties of Semipositive Matrices
Geometric Mapping Properties of Semipositive Matrices M. J. Tsatsomeros Mathematics Department Washington State University Pullman, WA 99164 (tsat@wsu.edu) July 14, 2015 Abstract Semipositive matrices
More informationReview of Controllability Results of Dynamical System
IOSR Journal of Mathematics (IOSR-JM) e-issn: 2278-5728, p-issn: 2319-765X. Volume 13, Issue 4 Ver. II (Jul. Aug. 2017), PP 01-05 www.iosrjournals.org Review of Controllability Results of Dynamical System
More informationA note on linear differential equations with periodic coefficients.
A note on linear differential equations with periodic coefficients. Maite Grau (1) and Daniel Peralta-Salas (2) (1) Departament de Matemàtica. Universitat de Lleida. Avda. Jaume II, 69. 251 Lleida, Spain.
More informationStability of Equilibrium Positions of Mechanical Systems with Switched Force Fields
SCIETIFIC PUBLICATIOS OF THE STATE UIVERSITY OF OVI PAZAR SER. A: APPL. MATH. IFORM. AD MECH. vol. 4, 2 2012, 35-39 Stability of Equilibrium Positions of Mechanical Systems with Switched Force Fields A.
More informationOn the Kalman-Yacubovich-Popov lemma and common Lyapunov solutions for matrices with regular inertia
On the Kalman-Yacubovich-Popov lemma and common Lyapunov solutions for matrices with regular inertia Oliver Mason, Robert Shorten and Selim Solmaz Abstract In this paper we extend the classical Lefschetz
More information1 Lyapunov theory of stability
M.Kawski, APM 581 Diff Equns Intro to Lyapunov theory. November 15, 29 1 1 Lyapunov theory of stability Introduction. Lyapunov s second (or direct) method provides tools for studying (asymptotic) stability
More informationAn homotopy method for exact tracking of nonlinear nonminimum phase systems: the example of the spherical inverted pendulum
9 American Control Conference Hyatt Regency Riverfront, St. Louis, MO, USA June -, 9 FrA.5 An homotopy method for exact tracking of nonlinear nonminimum phase systems: the example of the spherical inverted
More informationMathematical Modeling I
Mathematical Modeling I Dr. Zachariah Sinkala Department of Mathematical Sciences Middle Tennessee State University Murfreesboro Tennessee 37132, USA November 5, 2011 1d systems To understand more complex
More informationChanging sign solutions for the CR-Yamabe equation
Changing sign solutions for the CR-Yamabe equation Ali Maalaoui (1) & Vittorio Martino (2) Abstract In this paper we prove that the CR-Yamabe equation on the Heisenberg group has infinitely many changing
More informationarxiv:math/ v1 [math.oc] 12 Oct 2006
Stability of Planar Switched Systems: the Nondiagonalizable Case arxiv:math/0610401v1 [math.oc] 1 Oct 006 Moussa BALDE, Dept. de Mathématiques et Informatique, Université Cheikh Anta Diop, Dakar-Fann,
More informationMCE693/793: Analysis and Control of Nonlinear Systems
MCE693/793: Analysis and Control of Nonlinear Systems Systems of Differential Equations Phase Plane Analysis Hanz Richter Mechanical Engineering Department Cleveland State University Systems of Nonlinear
More informationAvailable online at ScienceDirect. Procedia IUTAM 19 (2016 ) IUTAM Symposium Analytical Methods in Nonlinear Dynamics
Available online at www.sciencedirect.com ScienceDirect Procedia IUTAM 19 (2016 ) 11 18 IUTAM Symposium Analytical Methods in Nonlinear Dynamics A model of evolutionary dynamics with quasiperiodic forcing
More information