Computation of Local ISS Lyapunov Function Via Linear Programming
|
|
- Primrose McCoy
- 5 years ago
- Views:
Transcription
1 Computation of Local ISS Lyapunov Function Via Linear Programming Huijuan Li Joint work with Robert Baier, Lars Grüne, Sigurdur F. Hafstein and Fabian Wirth Institut für Mathematik, Universität Würzburg
2 Outline 1 Introduction 2 Relation between ISS and Robust Lyapunov Functions 3 Computing Local Robust Lyapunov Functions by Linear Programming 4 Computing Local ISS Lyapunov Functions by Linear Programming 5 Example 6 Conclusion and Future Works
3 Motivation Estimate the domain of attraction of interconnected systems x 1 x 2 x n 1 ẋ 1 = f 1 (x 1,x 2,,x n ), x n. x i R n i, ẋ n = f n (x 1,x 2,,x n ), f i is Lipschitz continuous and f i (0,0,,0) = 0. n n i = N, i=1
4 Motivation Domain of attraction ẋ = f (x). (1) f (0) = 0, f is Lipschitz continuous. If 0 is locally asymptotically stable, then the domain of attraction of 0 is defined as D(0) = { x(0) R N : x(t,x(0)) 0 as t }. Here x(t,x(0)) denotes the solution of system (1).. 0 x(t,x(0))
5 Motivation Estimate the domain of attraction of interconnected systems x 1 x 2 x n 1 ẋ 1 = f 1 (x 1,x 2,,x n ), x n. x i R n i, ẋ n = f n (x 1,x 2,,x n ), n n i = N, i=1 f i is Lipschitz continuous and f i (0,0,,0) = 0. If subsystems are input to state stable(iss), an effective way to estimate the domain of attraction using small gain theorems with subsystems input to state stability (ISS) Lyapunov functions. Question: How to compute local ISS Lyapunov functions for subsystems?
6 Subsystems x j x j x i x j Treating effect of x j (j = i) as perturbation. System with perturbation Assumptions: j = i S i : ẋ i = f i (x 1,x 2,...,x i 1,x i,x i+1,...,x n ). ẋ = f (x,u), x R n,u U R, (2) f : R n R m R n is Lipschitz continuous and f (0,0) = 0. System (2) is locally input to state stable(iss). Notations: U R := B(0,R) R m, admissible input values u U R and the control input functions are u U R := {u : R R m measurable u L R}, u L = ess.sup{ u(t) 2,t 0}.
7 ISS Lyapunov function Definition (ISS Lyapunov function) A smooth function V : D R 0, with D R n open, is a local ISS Lyapunov function of system (2) if there exist ρ 0 > 0, ρ u > 0, K functions ϕ 1, ϕ 2, α and β such that B(0,ρ 0 ) D and ϕ 1 ( x 2 ) V (x) ϕ 2 ( x 2 ), V =< V (x),f (x,u) > α( x 2 ) + β ( u 2 ), for all x 2 ρ 0, u 2 ρ u. If ρ 0 = ρ u = then V is called a global ISS Lyapunov function. K function α( ) β ( ) 0
8 Relation Between ISS and Robust Lyapunov Functions Introduce two Lipschitz continuous functions η 1 : R n R n and η 2 : R m R 0, then consider the auxiliary System ẋ = f η (x,u) := f (x,u) η 1 (x)η 2 (u), u R. x(0) = x 0, f η (0,u) = 0. Theorem If there exists a local robust Lyapunov function V (x) for the auxiliary system and α( ) K such that < V (x),f η (x,u) > α( x 2 ), for all u U R, K > 0 and β ( ) K such that < V (x),η 1 (x) > K (K > 0), and η 2 (u) β ( u 2 ), then V (x) is a local ISS Lyapunov function for the original system. Question: How to compute such a robust Lyapunov function V (x) with η 1 (x) and η 2 (u)?
9 Relation Between ISS and Robust Lyapunov Functions Introduce two Lipschitz continuous functions η 1 : R n R n and η 2 : R m R 0, then consider the auxiliary System ẋ = f η (x,u) := f (x,u) η 1 (x)η 2 (u), u R. x(0) = x 0, f η (0,u) = 0. Theorem If there exists a local robust Lyapunov function V (x) for the auxiliary system and α( ) K such that < V (x),f η (x,u) > α( x 2 ), for all u U R, K > 0 and β ( ) K such that < V (x),η 1 (x) > K (K > 0), and η 2 (u) β ( u 2 ), then V (x) is a local ISS Lyapunov function for the original system. Question: How to compute such a robust Lyapunov function V (x) with η 1 (x) and η 2 (u)?
10 Computing Local Robust Lyapunov Functions by Linear Programming Grids Aim: Compute a robust Lyapunov function V (x) which is linear affine on each simplex. Such a function V (x) is Lipschitz continuous. We divide a compact set Ω R n into N n simplices T = {Γ ν ν = 1,...,N}, Γ ν := co{x 0,x 1,,x n }, h x := diam(γ ν ), diam(γ ν ) := max x y 2. x,y Γ ν We divide a compact set Ω u U R into N u m simplices T u = {Γν u ν = 1,...,N u }, Γν u := co{u 0,u 1,,u m }, h u := diam(γν u ), n or m = 2
11 Clarke s subdifferential for Lipschitz continuous functions How to extend the definition of smooth robust Lyapunov function to definition of piecewise affine robust Lyapunov function i.e. nonsmooth robust Lyapunov function? Proposition (Clarke,1998) For a Lipschitz function V : R n R Clarke s subdifferential satisfies Cl V (x) = co{lim i V (x i ) x i x, V (x i )exists and lim i V (x i ) exists}. V (x) = x,x R Cl V (0) = [ 1,1] 0 x
12 Nonsmooth robust Lyapunov function System ẋ = f (x,u), x R n,u R m, f : R n R m R n is Lipschitz continuous and f (0,u) = 0. Definition (Nonsmooth robust Lyapunov function) A Lipschitz continuous function V : D R 0, with D R n open is said to be a local nonsmooth robust Lyapunov function of system if there exist ρ 0 > 0, ρ u > 0, K functions ϕ 1 and ϕ 2, and a positive definite function α such that B(0,ρ 0 ) D and ϕ 1 ( x 2 ) V (x) ϕ 2 ( x 2 ), sup < ξ,f (x,u) > α( x 2 ), ξ cl V (x), u U R for all x 2 ρ 0, u 2 ρ u. If ρ 0 = ρ u = then V is called a global nonsmooth robust Lyapunov function.
13 Computing local robust Lyapunov functions by linear programming System ẋ = f (x,u), x R n,u R m, Assumptions: f : R n R m R n is Lipschitz continuous and f (0,u) = 0. System is locally asymptotically stable at the origin uniformly in u. Problem How to compute a local robust Lyapunov function V (x) for the system?
14 Linear programming based algorithm for computing piecewise affine Lyapunov functions Previous results of Linear programming based algorithm for computing piecewise affine Lyapunov functions 1 Linear programming based algorithm for computing piecewise affine Lyapunov function was first presented in [Marinósson,2002] for ordinary differential equations. 2 Further developed in [Hafstein,2007] for systems with switching time. 3 Extended to nonlinear differential inclusions in [Baier, Grüne, Hafstein,2012]. * Gives a true Lyapunov function, i.e., not an approximation of a Lyapunov function.
15 Computing local robust Lyapunov functions by linear programming Notation: PL(Ω): the space of continuous functions V : Ω R which are linear affine on each simplex, i.e. V ν := V intγν const, for all Γ ν Ω. System: ẋ = f (x,u), f (0,u) = 0. Assumption: System is locally asymptotically stable at the origin uniformly in u. Aim: compute a local robust Lyapunov function V (x) PL(Ω\B(0,ε))(ε > 0 small enough) satisfying by linear programming. < V (x),f (x,u) > x 2. x(0) x(t,x(0)) B(0, ε) Reason for excluding B(0, ε) < V (x),f (x,u) > x 2.
16 Computing robust Lyapunov functions by linear programming Linear programming based algorithm 1 Let T ε := {Γ ν Γ ν B(0,ε) = /0} T, ε > 0 is small enough. 1. For all vertices x i of Γ ν T ε, introduce V (x i ) as the variables and demand V (x i ) x i 2 = V (x) x 2,x Γ ν T ε. 2. For every Γ ν T ε, introduce the variables C ν,i (i = 1,2,...,n), G and require V ν,i C ν,i G, V ν,i is the i-th component of the vector V ν. 3. For every Γ ν T ε, and every Γ u ν, demand < V ν,f (x i,u j ) > + n k=1 C νk (A x (u,h x ) + A u (x,h u )) }{{} x i 2, compensate for interpolation errors for the points (x,u) with x = x i,u = u j, i = 0,1,...,n, j = 0,1,...,m.
17 Theorem (Result of linear programming based algorithm 1) If x f (x,u) is Lipschitz continuous in x uniformly in u and u f (x,u) is similar for u, and the linear programming problem with the constraints in has a feasible solution, then the values V (x i ) at all the vertices x i of all the simplices Γ ν T ε and the condition V PL(T ε ) uniquely define the function V : Γ ν R, Γ ν T ε satisfying < V ν,f (x,u) > x 2 for x Γ ν and u Γ u ν. Furthermore V is a robust Lyapunov function for system. Problem How to compute a local ISS Lyapunov function V (x) with η 1 (x) and η 2 (u) for the original system by linear programming?
18 Nonsmooth ISS Lyapunov function System ẋ = f (x,u), x R n,u R m, f : R n R m R n is Lipschitz continuous and f (0,0) = 0. Definition (Nonsmooth ISS Lyapunov function) A Lipschitz continuous function V : D R +, with D R n open is said to be a local nonsmooth ISS-Lyapunov function of system if there exist ρ 0 > 0, ρ u > 0, K functions ϕ 1, ϕ 2, α and β such that B(0,ρ 0 ) D and ϕ 1 ( x 2 ) V (x) ϕ 2 ( x 2 ), sup < ξ,f (x,u) > α( x 2 ) + β ( u 2 ), ξ cl V (x), u U R for all x 2 ρ 0, u 2 ρ u. If ρ 0 = ρ u = then V is called a global nonsmooth ISS Lyapunov function.
19 Computing Local ISS Lyapunov Functions by Linear Programming Auxiliary system Ansatz for the original system two Lipschitz continuous functions η 1 : R n R n and η 2 : R m R 0, η 2 (u) = r η 1 (x) = m j=0 Auxiliary system: n i=0 λ i η 1 (x i ), for x = µ j u j 2, for u = m j=0 n i=0 λ i x i Γ ν, n i=0 µ j u j Γ u ν and r 0, ẋ = f η (x,u) := f (x,u) η 1 (x)η 2 (u). λ i = 1, m j=0 µ j = 1.
20 Computing Local ISS Lyapunov Functions by Linear Programming Auxiliary system: ẋ = f η (x,u) := f (x,u) η 1 (x)η 2 (u). Aim: compute a local robust Lyapunov function V (x) PL(Ω\B(0,ε)) for x Γ ν Ω\B(0,ε) satisfying by linear programming K < V (x),η 1 (x) > 1 (K > 0). < V (x),f η (x,u) > x 2. Reasons for excluding B(0, ε) (i) 0 cl V (0) may hold which is contradictory with < V (x),η 1 (x) > 1. (ii) < V (x),f η (x,u) > x 2.
21 Computing Local ISS Lyapunov Functions by Linear Programming Linear programming based algorithm 2 Linear programming problem 1: 1. V (x) is positive definite. The constraints are the same as 1. in linear programming based algorithm V ν,i C ν,i G. The requirements are the same as 2. in linear programming based algorithm For every Γ ν T ε, and every Γ u ν, introduce a nonnegative variable r and demand < V ν,f (x i,u j ) > r u j 2 + Objective function: min{r + G}. n k=1 C νk (A x (u,h x )+A u (x,h u )) x i 2. After getting V PL(T ε ) defined by values V (x i ) at all the vertices x i of all the simplices Γ ν T ε, consider another linear programming problem.
22 Computing Local ISS Lyapunov Functions by Linear Programming Linear programming based algorithm 2 Linear programming problem 2: 4. Introduce a nonnegative variable K and variables η 1,k (x i ) (k = 1,2,...,n). For every Γ ν T ε, demand K < V ν,η 1 (x i ) > 1,i = 1,2,...,n, η 1 (x i ) = (η 1,1 (x i ),η 1,2 (x i ),...,η 1,n (x i )). Objective function: min{k}
23 Result of linear programming based algorithm 2 Consider ẋ = f (x,u), x R n,u U R. (3) Assumptions: f (0,0) = 0, x f (x,u) is Lipschitz continuous in x uniformly in u, and u f (x,u) is similar. Theorem If the assumptions hold and the linear programming problems constructed by the algorithm 2 have feasible solutions, then the values V (x i ) at all the vertices x i of all the simplices Γ ν T ε and the condition V PL(T ε ) uniquely define the function V : Γ ν R. Furthermore Γ ν T ε V (x) is a local ISS Lyapunov function and satisfies < V ν,f (x,u) > x 2 + rk u 2. Remark: If the assumption x u f (x,u) is two times continuously differentiable with respect to x for every fixed u and with respect to u for every fixed x hold, then we get better computation errors.
24 Existence of Solutions of Linear Programming Problems Consider ẋ = f (x,u), x R n,u U R. (4) Assumptions: f (0,0) = 0, x f (x,u) is Lipschitz continuous in x uniformly in u, and u f (x,u) is similar. Theorem If the assumptions hold, and system (4) has a local C 2 ISS Lyapunov function V : Ω R and let ε > 0, then there exist triangulations T ε and T u such that the linear programming problems constructed by the algorithm 2 have feasible solutions and deliver a local ISS Lyapunov function V PL(T ε ).
25 Example Consider system adapted from [Michel, Sarabudla, Miller, 1982] is described by S 1 : { ẋ1 = x 1 [4 (x x 2 2 )] + 0.1u 1, ẋ 2 = x 2 [4 (x x 2 2 )] 0.1u 2, on x = (x 1,x 2 ) [ 1.5,1.5] 2, u = (u 1,u 2 ) [ 0.6,0.6] 2. ε = r = k = V (x) obtained by the algorithm ε = Theoretical V 1 (x) based on V = x 2
26 Difference between V (x) and V 1 (x) Difference between contours of V (x) and V 1 (x) ε = 0.012
27 Conclusion and Future Works Conclusion A new way of computing local ISS Lyapunov functions is given. Future works Consider two linear programming problems of algorithm 2 as one quadratic problem. Consider the problem of computing local ISS Lyapunov functions without introducing auxiliary systems. Estimate the domain of attraction of interconnected systems by small gain theorems with subsystems local ISS Lyapunov functions obtained by linear programming.
28 Thanks for your attention!
Key words. Nonlinear systems, Local input-to-state stability, Local ISS Lyapunov function, Robust Lyapunov function, Linear programming
COMPUTATION OF LOCAL ISS LYAPUNOV FUNCTIONS WITH LOW GAINS VIA LINEAR PROGRAMMING H. LI, R. BAIER, L. GRÜNE, S. HAFSTEIN, AND F. WIRTH March 1, 15 Huijuan Li, Robert Baier, Lars Grüne Lehrstuhl für Angewandte
More informationComputation of CPA Lyapunov functions
Computation of CPA Lyapunov functions (CPA = continuous and piecewise affine) Sigurdur Hafstein Reykjavik University, Iceland 17. July 2013 Workshop on Algorithms for Dynamical Systems and Lyapunov Functions
More informationComputing Lyapunov functions for strongly asymptotically stable differential inclusions
Computing Lyapunov functions for strongly asymptotically stable differential inclusions R. Baier L. Grüne S. F. Hafstein Chair of Applied Mathematics, University of Bayreuth, D-95440 Bayreuth, Germany,
More informationComputation of continuous and piecewise affine Lyapunov functions by numerical approximations of the Massera construction
Computation of continuous and piecewise affine Lyapunov functions by numerical approximations of the Massera construction Jóhann Björnsson 1, Peter Giesl 2, Sigurdur Hafstein 1, Christopher M. Kellett
More informationContinuous and Piecewise Affine Lyapunov Functions using the Yoshizawa Construction
Continuous and Piecewise Affine Lyapunov Functions using the Yoshizawa Construction Sigurður Hafstein, Christopher M Kellett, Huijuan Li Abstract We present a novel numerical technique for the computation
More informationInput to state Stability
Input to state Stability Mini course, Universität Stuttgart, November 2004 Lars Grüne, Mathematisches Institut, Universität Bayreuth Part IV: Applications ISS Consider with solutions ϕ(t, x, w) ẋ(t) =
More informationIntroduction to Nonlinear Control Lecture # 3 Time-Varying and Perturbed Systems
p. 1/5 Introduction to Nonlinear Control Lecture # 3 Time-Varying and Perturbed Systems p. 2/5 Time-varying Systems ẋ = f(t, x) f(t, x) is piecewise continuous in t and locally Lipschitz in x for all t
More informationComputation of Lyapunov functions for nonlinear discrete time systems by linear programming
Vol. 00, No. 00, Month 20xx, 1 30 Computation of Lyapunov functions for nonlinear discrete time systems by linear programming Peter Giesl a and Sigurdur Hafstein b a Department of Mathematics, University
More informationOn the construction of ISS Lyapunov functions for networks of ISS systems
Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems, Kyoto, Japan, July 24-28, 2006 MoA09.1 On the construction of ISS Lyapunov functions for networks of ISS
More informationComputing Continuous and Piecewise Ane Lyapunov Functions for Nonlinear Systems
Computing Continuous and Piecewise Ane Lyapunov Functions for Nonlinear Systems Siguržur Hafstein Christopher M. Kellett Huijuan Li March 18, 2015 Abstract We present a numerical technique for the computation
More informationCalculating the domain of attraction: Zubov s method and extensions
Calculating the domain of attraction: Zubov s method and extensions Fabio Camilli 1 Lars Grüne 2 Fabian Wirth 3 1 University of L Aquila, Italy 2 University of Bayreuth, Germany 3 Hamilton Institute, NUI
More informationLecture Note 7: Switching Stabilization via Control-Lyapunov Function
ECE7850: Hybrid Systems:Theory and Applications Lecture Note 7: Switching Stabilization via Control-Lyapunov Function Wei Zhang Assistant Professor Department of Electrical and Computer Engineering Ohio
More informationNonlinear Systems and Control Lecture # 12 Converse Lyapunov Functions & Time Varying Systems. p. 1/1
Nonlinear Systems and Control Lecture # 12 Converse Lyapunov Functions & Time Varying Systems p. 1/1 p. 2/1 Converse Lyapunov Theorem Exponential Stability Let x = 0 be an exponentially stable equilibrium
More informationInput-to-state stability and interconnected Systems
10th Elgersburg School Day 1 Input-to-state stability and interconnected Systems Sergey Dashkovskiy Universität Würzburg Elgersburg, March 5, 2018 1/20 Introduction Consider Solution: ẋ := dx dt = ax,
More informationarxiv: v2 [math.oc] 4 Nov 2009
SMALL GAIN THEOREMS FOR LARGE SCALE SYSTEMS AND CONSTRUCTION OF ISS LYAPUNOV FUNCTIONS SERGEY N. DASHKOVSKIY, BJÖRN S. RÜFFER, AND FABIAN R. WIRTH arxiv:0901.1842v2 [math.oc] 4 Nov 2009 Abstract. We consider
More informationNonlinear Systems and Control Lecture # 19 Perturbed Systems & Input-to-State Stability
p. 1/1 Nonlinear Systems and Control Lecture # 19 Perturbed Systems & Input-to-State Stability p. 2/1 Perturbed Systems: Nonvanishing Perturbation Nominal System: Perturbed System: ẋ = f(x), f(0) = 0 ẋ
More informationStability Criteria for Interconnected iiss Systems and ISS Systems Using Scaling of Supply Rates
Stability Criteria for Interconnected iiss Systems and ISS Systems Using Scaling of Supply Rates Hiroshi Ito Abstract This paper deals with problems of stability analysis of feedback and cascade interconnection
More informationLecture 4. Chapter 4: Lyapunov Stability. Eugenio Schuster. Mechanical Engineering and Mechanics Lehigh University.
Lecture 4 Chapter 4: Lyapunov Stability Eugenio Schuster schuster@lehigh.edu Mechanical Engineering and Mechanics Lehigh University Lecture 4 p. 1/86 Autonomous Systems Consider the autonomous system ẋ
More informationAn introduction to Mathematical Theory of Control
An introduction to Mathematical Theory of Control Vasile Staicu University of Aveiro UNICA, May 2018 Vasile Staicu (University of Aveiro) An introduction to Mathematical Theory of Control UNICA, May 2018
More informationAN ALGORITHM FOR CONSTRUCTING LYAPUNOV FUNCTIONS
Electronic Journal of Differential Equations, Monograph 08, 2007, (101 pages). ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) AN ALGORITHM
More informationModeling & Control of Hybrid Systems Chapter 4 Stability
Modeling & Control of Hybrid Systems Chapter 4 Stability Overview 1. Switched systems 2. Lyapunov theory for smooth and linear systems 3. Stability for any switching signal 4. Stability for given switching
More informationNonlinear Control. Nonlinear Control Lecture # 8 Time Varying and Perturbed Systems
Nonlinear Control Lecture # 8 Time Varying and Perturbed Systems Time-varying Systems ẋ = f(t,x) f(t,x) is piecewise continuous in t and locally Lipschitz in x for all t 0 and all x D, (0 D). The origin
More informationA small-gain type stability criterion for large scale networks of ISS systems
A small-gain type stability criterion for large scale networks of ISS systems Sergey Dashkovskiy Björn Sebastian Rüffer Fabian R. Wirth Abstract We provide a generalized version of the nonlinear small-gain
More informationConverse Lyapunov theorem and Input-to-State Stability
Converse Lyapunov theorem and Input-to-State Stability April 6, 2014 1 Converse Lyapunov theorem In the previous lecture, we have discussed few examples of nonlinear control systems and stability concepts
More informationInput to state Stability
Input to state Stability Mini course, Universität Stuttgart, November 2004 Lars Grüne, Mathematisches Institut, Universität Bayreuth Part III: Lyapunov functions and quantitative aspects ISS Consider with
More informationFeedback stabilization methods for the numerical solution of ordinary differential equations
Feedback stabilization methods for the numerical solution of ordinary differential equations Iasson Karafyllis Department of Environmental Engineering Technical University of Crete 731 Chania, Greece ikarafyl@enveng.tuc.gr
More informationZur Konstruktion robust stabilisierender Regler mit Hilfe von mengenorientierten numerischen Verfahren
Zur Konstruktion robust stabilisierender Regler mit Hilfe von mengenorientierten numerischen Verfahren Oliver Junge Zentrum Mathematik Technische Universität München mit Lars Grüne, Bayreuth Outline optimal
More informationRobust distributed linear programming
Robust distributed linear programming Dean Richert Jorge Cortés Abstract This paper presents a robust, distributed algorithm to solve general linear programs. The algorithm design builds on the characterization
More informationNeighboring feasible trajectories in infinite dimension
Neighboring feasible trajectories in infinite dimension Marco Mazzola Université Pierre et Marie Curie (Paris 6) H. Frankowska and E. M. Marchini Control of State Constrained Dynamical Systems Padova,
More informationNonlinear Control. Nonlinear Control Lecture # 3 Stability of Equilibrium Points
Nonlinear Control Lecture # 3 Stability of Equilibrium Points The Invariance Principle Definitions Let x(t) be a solution of ẋ = f(x) A point p is a positive limit point of x(t) if there is a sequence
More informationWORKSHOP ON ALGORITHMS FOR DYNAMICAL SYSTEMS AND LYAPUNOV FUNCTIONS. 17th 19th July 2013, Reykjavik University, Iceland.
WORKSHOP ON ALGORITHMS FOR DYNAMICAL SYSTEMS AND LYAPUNOV FUNCTIONS 17th 19th July 2013, Reykjavik University, Iceland Contents 1 Program 2 2 Practical Information 4 3 Abstracts 5 MAP: http://goo.gl/maps/elu0e
More informationLocal ISS of large-scale interconnections and estimates for stability regions
Local ISS of large-scale interconnections and estimates for stability regions Sergey N. Dashkovskiy,1,a,2, Björn S. Rüffer 1,b a Zentrum für Technomathematik, Universität Bremen, Postfach 330440, 28334
More informationSet-Valued and Convex Analysis in Dynamics and Control
Set-Valued and Convex Analysis in Dynamics and Control Rafal Goebel November 12, 2013 Abstract Many developments in convex, nonsmooth, and set-valued analysis were motivated by optimization and optimal
More informationNecessary optimality conditions for optimal control problems with nonsmooth mixed state and control constraints
Necessary optimality conditions for optimal control problems with nonsmooth mixed state and control constraints An Li and Jane J. Ye Abstract. In this paper we study an optimal control problem with nonsmooth
More informationA generalization of Zubov s method to perturbed systems
A generalization of Zubov s method to perturbed systems Fabio Camilli, Dipartimento di Matematica Pura e Applicata, Università dell Aquila 674 Roio Poggio (AQ), Italy, camilli@ing.univaq.it Lars Grüne,
More informationResults on Input-to-Output and Input-Output-to-State Stability for Hybrid Systems and their Interconnections
Results on Input-to-Output and Input-Output-to-State Stability for Hybrid Systems and their Interconnections Ricardo G. Sanfelice Abstract We present results for the analysis of input/output properties
More informationZubov s method for perturbed differential equations
Zubov s method for perturbed differential equations Fabio Camilli 1, Lars Grüne 2, Fabian Wirth 3 1 Dip. di Energetica, Fac. di Ingegneria Università de l Aquila, 674 Roio Poggio (AQ), Italy camilli@axcasp.caspur.it
More informationA framework for stabilization of nonlinear sampled-data systems based on their approximate discrete-time models
1 A framework for stabilization of nonlinear sampled-data systems based on their approximate discrete-time models D.Nešić and A.R.Teel Abstract A unified framework for design of stabilizing controllers
More informationExponential stability of families of linear delay systems
Exponential stability of families of linear delay systems F. Wirth Zentrum für Technomathematik Universität Bremen 28334 Bremen, Germany fabian@math.uni-bremen.de Keywords: Abstract Stability, delay systems,
More informationOn finite gain L p stability of nonlinear sampled-data systems
Submitted for publication in Systems and Control Letters, November 6, 21 On finite gain L p stability of nonlinear sampled-data systems Luca Zaccarian Dipartimento di Informatica, Sistemi e Produzione
More informationEN Nonlinear Control and Planning in Robotics Lecture 10: Lyapunov Redesign and Robust Backstepping April 6, 2015
EN530.678 Nonlinear Control and Planning in Robotics Lecture 10: Lyapunov Redesign and Robust Backstepping April 6, 2015 Prof: Marin Kobilarov 1 Uncertainty and Lyapunov Redesign Consider the system [1]
More informationInput to state dynamical stability and its Lyapunov function characterization
Input to state dynamical stability and its Lyapunov function characterization Lars Grüne, Fachbereich Mathematik, J.W. Goethe-Universität, Postfach 111932 60054 Frankfurt a.m., Germany, gruene@math.uni-frankfurt.de
More informationOn a small gain theorem for ISS networks in dissipative Lyapunov form
On a small gain theorem for ISS networks in dissipative Lyapunov form Sergey Dashkovskiy, Hiroshi Ito and Fabian Wirth Abstract In this paper we consider several interconnected ISS systems supplied with
More informationHigh-Gain Observers in Nonlinear Feedback Control
High-Gain Observers in Nonlinear Feedback Control Lecture # 1 Introduction & Stabilization High-Gain ObserversinNonlinear Feedback ControlLecture # 1Introduction & Stabilization p. 1/4 Brief History Linear
More informationOutline. Input to state Stability. Nonlinear Realization. Recall: _ Space. _ Space: Space of all piecewise continuous functions
Outline Input to state Stability Motivation for Input to State Stability (ISS) ISS Lyapunov function. Stability theorems. M. Sami Fadali Professor EBME University of Nevada, Reno 1 2 Recall: _ Space _
More informationIN [1], an Approximate Dynamic Inversion (ADI) control
1 On Approximate Dynamic Inversion Justin Teo and Jonathan P How Technical Report ACL09 01 Aerospace Controls Laboratory Department of Aeronautics and Astronautics Massachusetts Institute of Technology
More informationTopic # /31 Feedback Control Systems. Analysis of Nonlinear Systems Lyapunov Stability Analysis
Topic # 16.30/31 Feedback Control Systems Analysis of Nonlinear Systems Lyapunov Stability Analysis Fall 010 16.30/31 Lyapunov Stability Analysis Very general method to prove (or disprove) stability of
More informationMinimum-Phase Property of Nonlinear Systems in Terms of a Dissipation Inequality
Minimum-Phase Property of Nonlinear Systems in Terms of a Dissipation Inequality Christian Ebenbauer Institute for Systems Theory in Engineering, University of Stuttgart, 70550 Stuttgart, Germany ce@ist.uni-stuttgart.de
More informationInput-to-state stability of time-delay systems: criteria and open problems
217 IEEE 56th Annual Conference on Decision and Control (CDC) December 12-15, 217, Melbourne, Australia Input-to-state stability of time-delay systems: criteria and open problems Andrii Mironchenko and
More informationGramians 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 Analysis of Nonlinear Systems with Linear Programming
Stability Analysis of Nonlinear Systems with Linear Programming A Lyapunov Functions Based Approach Von der Fakultät für Naturwissenschaften - Institut für Mathematik der Gerhard-Mercator-Universität Duisburg
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 informationSmall Gain Theorems on Input-to-Output Stability
Small Gain Theorems on Input-to-Output Stability Zhong-Ping Jiang Yuan Wang. Dept. of Electrical & Computer Engineering Polytechnic University Brooklyn, NY 11201, U.S.A. zjiang@control.poly.edu Dept. of
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 informationarxiv: v3 [math.ds] 22 Feb 2012
Stability of interconnected impulsive systems with and without time-delays using Lyapunov methods arxiv:1011.2865v3 [math.ds] 22 Feb 2012 Sergey Dashkovskiy a, Michael Kosmykov b, Andrii Mironchenko b,
More informationDesign of optimal RF pulses for NMR as a discrete-valued control problem
Design of optimal RF pulses for NMR as a discrete-valued control problem Christian Clason Faculty of Mathematics, Universität Duisburg-Essen joint work with Carla Tameling (Göttingen) and Benedikt Wirth
More informationAD for PS Functions and Relations to Generalized Derivative Concepts
AD for PS Functions and Relations to Generalized Derivative Concepts Andrea Walther 1 and Andreas Griewank 2 1 Institut für Mathematik, Universität Paderborn 2 School of Math. Sciences and Information
More informationLecture 8. Chapter 5: Input-Output Stability Chapter 6: Passivity Chapter 14: Passivity-Based Control. Eugenio Schuster.
Lecture 8 Chapter 5: Input-Output Stability Chapter 6: Passivity Chapter 14: Passivity-Based Control Eugenio Schuster schuster@lehigh.edu Mechanical Engineering and Mechanics Lehigh University Lecture
More informationarxiv: v1 [math.ca] 5 Mar 2015
arxiv:1503.01809v1 [math.ca] 5 Mar 2015 A note on a global invertibility of mappings on R n Marek Galewski July 18, 2017 Abstract We provide sufficient conditions for a mapping f : R n R n to be a global
More informationNonlinear Control Lecture # 14 Input-Output Stability. Nonlinear Control
Nonlinear Control Lecture # 14 Input-Output Stability L Stability Input-Output Models: y = Hu u(t) is a piecewise continuous function of t and belongs to a linear space of signals The space of bounded
More informationResearch Article Sufficient Optimality and Sensitivity Analysis of a Parameterized Min-Max Programming
Applied Mathematics Volume 2012, Article ID 692325, 9 pages doi:10.1155/2012/692325 Research Article Sufficient Optimality and Sensitivity Analysis of a Parameterized Min-Max Programming Huijuan Xiong,
More informationAuthor's Accepted Manuscript
Author's Accepted Manuscript Stability notions and lyapunov functions for sliding mode control systems Andrey Polyakov, Leonid Fridman PII: DOI: Reference: To appear in: S0016-0032(14)00004-0 http://dx.doi.org/10.1016/j.jfranklin.2014.01.002
More informationPersistence theory applied to Keen s model a link between mathematical biology and mathematical economics
Persistence theory applied to Keen s model a link between mathematical biology and mathematical economics Jianhong Wu and Xiang-Sheng Wang Mprime Centre for Disease Modelling York University, Toronto Persistence
More informationAnalysis of different Lyapunov function constructions for interconnected hybrid systems
Analysis of different Lyapunov function constructions for interconnected hybrid systems Guosong Yang 1 Daniel Liberzon 1 Andrii Mironchenko 2 1 Coordinated Science Laboratory University of Illinois at
More informationInput-to-state stability of infinite-dimensional control systems
Input-to-state stability of infinite-dimensional control systems von Andrii Mironchenko geboren am 5 Juli 1986 in Odessa, Ukraine Dissertation Zur Erlangung des Grades eines Doktors der Naturwissenschaften
More informationLMI Methods in Optimal and Robust Control
LMI Methods in Optimal and Robust Control Matthew M. Peet Arizona State University Lecture 15: Nonlinear Systems and Lyapunov Functions Overview Our next goal is to extend LMI s and optimization to nonlinear
More informationMyopic Models of Population Dynamics on Infinite Networks
Myopic Models of Population Dynamics on Infinite Networks Robert Carlson Department of Mathematics University of Colorado at Colorado Springs rcarlson@uccs.edu June 30, 2014 Outline Reaction-diffusion
More informationRobust distributed linear programming
1 Robust distributed linear programming Dean Richert Jorge Cortés arxiv:1409.7140v1 [math.oc] 25 Sep 2014 Abstract This paper presents a robust, distributed algorithm to solve general linear programs.
More informationWeak convergence and Brownian Motion. (telegram style notes) P.J.C. Spreij
Weak convergence and Brownian Motion (telegram style notes) P.J.C. Spreij this version: December 8, 2006 1 The space C[0, ) In this section we summarize some facts concerning the space C[0, ) of real
More informationLocal strong convexity and local Lipschitz continuity of the gradient of convex functions
Local strong convexity and local Lipschitz continuity of the gradient of convex functions R. Goebel and R.T. Rockafellar May 23, 2007 Abstract. Given a pair of convex conjugate functions f and f, we investigate
More informationAn adaptive RBF-based Semi-Lagrangian scheme for HJB equations
An adaptive RBF-based Semi-Lagrangian scheme for HJB equations Roberto Ferretti Università degli Studi Roma Tre Dipartimento di Matematica e Fisica Numerical methods for Hamilton Jacobi equations in optimal
More informationOn the representation of switched systems with inputs by perturbed control systems
Nonlinear Analysis 60 (2005) 1111 1150 www.elsevier.com/locate/na On the representation of switched systems with inputs by perturbed control systems J.L. Mancilla-Aguilar a, R. García b, E. Sontag c,,1,
More informationThis thesis is protected by copyright which belongs to the author.
A University of Sussex PhD thesis Available online via Sussex Research Online: http://sro.sussex.ac.uk/ This thesis is protected by copyright which belongs to the author. This thesis cannot be reproduced
More informationInput to state set stability for pulse width modulated control systems with disturbances
Input to state set stability for pulse width modulated control systems with disturbances A.R.eel and L. Moreau and D. Nešić Abstract New results on set stability and input-to-state stability in pulse-width
More informationNonlinear Systems Theory
Nonlinear Systems Theory Matthew M. Peet Arizona State University Lecture 2: Nonlinear Systems Theory Overview Our next goal is to extend LMI s and optimization to nonlinear systems analysis. Today we
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 informationNumerical Solutions to Partial Differential Equations
Numerical Solutions to Partial Differential Equations Zhiping Li LMAM and School of Mathematical Sciences Peking University Discretization of Boundary Conditions Discretization of Boundary Conditions On
More informationGlobal Stability and Asymptotic Gain Imply Input-to-State Stability for State-Dependent Switched Systems
2018 IEEE Conference on Decision and Control (CDC) Miami Beach, FL, USA, Dec. 17-19, 2018 Global Stability and Asymptotic Gain Imply Input-to-State Stability for State-Dependent Switched Systems Shenyu
More informationSTABILITY ANALYSIS FOR NONLINEAR SYSTEMS WITH TIME-DELAYS. Shanaz Tiwari. A Dissertation Submitted to the Faculty of
STABILITY ANALYSIS FOR NONLINEAR SYSTEMS WITH TIME-DELAYS by Shanaz Tiwari A Dissertation Submitted to the Faculty of The Charles E. Schmidt College of Science in Partial Fulfillment of the Requirements
More informationA unified framework for input-to-state stability in systems with two time scales
1 A unified framework for input-to-state stability in systems with two time scales Andrew R. Teel and Luc Moreau and Dragan Nešić Abstract This paper develops a unified framework for studying robustness
More informationAsymptotic behavior of infinity harmonic functions near an isolated singularity
Asymptotic behavior of infinity harmonic functions near an isolated singularity Ovidiu Savin, Changyou Wang, Yifeng Yu Abstract In this paper, we prove if n 2 x 0 is an isolated singularity of a nonegative
More informationOn reduction of differential inclusions and Lyapunov stability
1 On reduction of differential inclusions and Lyapunov stability Rushikesh Kamalapurkar, Warren E. Dixon, and Andrew R. Teel arxiv:1703.07071v5 [cs.sy] 25 Oct 2018 Abstract In this paper, locally Lipschitz
More informationOrthogonality of hat functions in Sobolev spaces
1 Orthogonality of hat functions in Sobolev spaces Ulrich Reif Technische Universität Darmstadt A Strobl, September 18, 27 2 3 Outline: Recap: quasi interpolation Recap: orthogonality of uniform B-splines
More informationHybrid Systems - Lecture n. 3 Lyapunov stability
OUTLINE Focus: stability of equilibrium point Hybrid Systems - Lecture n. 3 Lyapunov stability Maria Prandini DEI - Politecnico di Milano E-mail: prandini@elet.polimi.it continuous systems decribed by
More informationA Novel Integral-Based Event Triggering Control for Linear Time-Invariant Systems
53rd IEEE Conference on Decision and Control December 15-17, 2014. Los Angeles, California, USA A Novel Integral-Based Event Triggering Control for Linear Time-Invariant Systems Seyed Hossein Mousavi 1,
More informationOn a small-gain approach to distributed event-triggered control
On a small-gain approach to distributed event-triggered control Claudio De Persis, Rudolf Sailer Fabian Wirth Fac Mathematics & Natural Sciences, University of Groningen, 9747 AG Groningen, The Netherlands
More informationJoint work with Nguyen Hoang (Univ. Concepción, Chile) Padova, Italy, May 2018
EXTENDED EULER-LAGRANGE AND HAMILTONIAN CONDITIONS IN OPTIMAL CONTROL OF SWEEPING PROCESSES WITH CONTROLLED MOVING SETS BORIS MORDUKHOVICH Wayne State University Talk given at the conference Optimization,
More informationThe Euler Method for Linear Control Systems Revisited
The Euler Method for Linear Control Systems Revisited Josef L. Haunschmied, Alain Pietrus, and Vladimir M. Veliov Research Report 2013-02 March 2013 Operations Research and Control Systems Institute of
More informationResearch Article Optimality Conditions and Duality in Nonsmooth Multiobjective Programs
Hindawi Publishing Corporation Journal of Inequalities and Applications Volume 2010, Article ID 939537, 12 pages doi:10.1155/2010/939537 Research Article Optimality Conditions and Duality in Nonsmooth
More informationLyapunov small-gain theorems for not necessarily ISS hybrid systems
Lyapunov small-gain theorems for not necessarily ISS hybrid systems Andrii Mironchenko, Guosong Yang and Daniel Liberzon Institute of Mathematics University of Würzburg Coordinated Science Laboratory University
More informationUNIQUENESS OF POSITIVE SOLUTION TO SOME COUPLED COOPERATIVE VARIATIONAL ELLIPTIC SYSTEMS
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9947(XX)0000-0 UNIQUENESS OF POSITIVE SOLUTION TO SOME COUPLED COOPERATIVE VARIATIONAL ELLIPTIC SYSTEMS YULIAN
More informationFrom convergent dynamics to incremental stability
51st IEEE Conference on Decision Control December 10-13, 01. Maui, Hawaii, USA From convergent dynamics to incremental stability Björn S. Rüffer 1, Nathan van de Wouw, Markus Mueller 3 Abstract This paper
More informationGENERAL NONCONVEX SPLIT VARIATIONAL INEQUALITY PROBLEMS. Jong Kyu Kim, Salahuddin, and Won Hee Lim
Korean J. Math. 25 (2017), No. 4, pp. 469 481 https://doi.org/10.11568/kjm.2017.25.4.469 GENERAL NONCONVEX SPLIT VARIATIONAL INEQUALITY PROBLEMS Jong Kyu Kim, Salahuddin, and Won Hee Lim Abstract. In this
More informationL -Bounded Robust Control of Nonlinear Cascade Systems
L -Bounded Robust Control of Nonlinear Cascade Systems Shoudong Huang M.R. James Z.P. Jiang August 19, 2004 Accepted by Systems & Control Letters Abstract In this paper, we consider the L -bounded robust
More informationSUPERCONVERGENCE PROPERTIES FOR OPTIMAL CONTROL PROBLEMS DISCRETIZED BY PIECEWISE LINEAR AND DISCONTINUOUS FUNCTIONS
SUPERCONVERGENCE PROPERTIES FOR OPTIMAL CONTROL PROBLEMS DISCRETIZED BY PIECEWISE LINEAR AND DISCONTINUOUS FUNCTIONS A. RÖSCH AND R. SIMON Abstract. An optimal control problem for an elliptic equation
More informationLocal Stability Analysis For Uncertain Nonlinear Systems Using A Branch-and-Bound Algorithm
28 American Control Conference Westin Seattle Hotel, Seattle, Washington, USA June 11-13, 28 ThC15.2 Local Stability Analysis For Uncertain Nonlinear Systems Using A Branch-and-Bound Algorithm Ufuk Topcu,
More informationParameter Dependent Extremal Norms for Linear Parameter Varying Systems
Parameter Dependent Extremal Norms for Linear Parameter Varying Systems Fabian Wirth Zentrum für Technomathematik Universität Bremen 28344 Bremen, Germany email: fabian@math.uni-bremen.de Abstract We study
More informationConvexity of the Reachable Set of Nonlinear Systems under L 2 Bounded Controls
1 1 Convexity of the Reachable Set of Nonlinear Systems under L 2 Bounded Controls B.T.Polyak Institute for Control Science, Moscow, Russia e-mail boris@ipu.rssi.ru Abstract Recently [1, 2] the new convexity
More informationError estimates for the finite-element approximation of a semilinear elliptic control problem
Error estimates for the finite-element approximation of a semilinear elliptic control problem by Eduardo Casas 1 and Fredi röltzsch 2 1 Departamento de Matemática Aplicada y Ciencias de la Computación
More informationNonlinear Control Systems
Nonlinear Control Systems António Pedro Aguiar pedro@isr.ist.utl.pt 3. Fundamental properties IST-DEEC PhD Course http://users.isr.ist.utl.pt/%7epedro/ncs2012/ 2012 1 Example Consider the system ẋ = f
More information