Switched differential algebraic equations: Jumps and impulses Stephan Trenn Technomathematics group, University of Kaiserslautern, Germany Seminar at LAMIH , University of Valenciennes, France, 20.09.2012
Introduction Distributions as solutions Regularity & Solution formulas Conclusions Contents Introduction 1 Distributions as solutions 2 Review: classical distribution theory Piecewise smooth distributions Regularity of matrix pairs and solution formulas 3 Regularity and the quasi-Weierstrass form Solution properties: the homogenous case Solution properties: the inhomogenous case Conclusions 4 Stephan Trenn Technomathematics group, University of Kaiserslautern, Germany Switched differential algebraic equations:Jumps and impulses
Introduction Distributions as solutions Regularity & Solution formulas Conclusions Standard modeling of circuits i L i L + u C u L C L − d t i L = − 1 d L u C d t i L = 1 d L u d t u C = 1 d C i L General form: x = Ax + Bu ˙ Stephan Trenn Technomathematics group, University of Kaiserslautern, Germany Switched differential algebraic equations:Jumps and impulses
Introduction Distributions as solutions Regularity & Solution formulas Conclusions Switched ODE? i L d t i L = 1 d Mode 1: L u L + d t i L = − 1 d Mode 2: L u C u C u C − d t u C = 1 d C i L No switched ODE Not possible to write as x ( t ) = A σ ( t ) x ( t ) + B σ ( t ) u ( t ) . ˙ Stephan Trenn Technomathematics group, University of Kaiserslautern, Germany Switched differential algebraic equations:Jumps and impulses
Introduction Distributions as solutions Regularity & Solution formulas Conclusions Include algebraic equations in description i L With x := ( i L , u L , i C , u C ) write each mode as: u L L E p ˙ x = A p x + B p u + u u C C − i C Algebraic equations ⇒ E p singular L d d t i L = u L , C d Mode 1: d t u C = i C , 0 = u L − u , 0 = i C L 0 0 0 0 1 0 0 0 0 0 0 C 0 0 1 0 0 ˙ x = x + u 0 0 0 0 0 1 0 0 − 1 0 0 0 0 0 0 1 0 0 L d d t i L = u L , C d Mode 2: d t u C = i C , 0 = i L − i C , 0 = u L + u C Stephan Trenn Technomathematics group, University of Kaiserslautern, Germany Switched differential algebraic equations:Jumps and impulses
Introduction Distributions as solutions Regularity & Solution formulas Conclusions Switched DAEs DAE = Differential algebraic equation Switched DAE E σ ( t ) ˙ x ( t ) = A σ ( t ) x ( t ) + B σ ( t ) u ( t ) ( swDAE ) or short E σ ˙ x = A σ x + B σ u with switching signal σ : R → { 1 , 2 , . . . , p } piecewise constant locally finitely many jumps modes ( E 1 , A 1 , B 1 ) , . . . , ( E p , A p , B p ) E p , A p ∈ R n × n , p = 1 , . . . , p B p : R n × m , p = 1 , . . . , p input u : R → R m Question Existence and nature of solutions? Stephan Trenn Technomathematics group, University of Kaiserslautern, Germany Switched differential algebraic equations:Jumps and impulses
Introduction Distributions as solutions Regularity & Solution formulas Conclusions Impulse example i L i L + + u L u L u u L L − − L d inductivity law: d t i L = u L switch dependent: 0 = u L − u 0 = i L Stephan Trenn Technomathematics group, University of Kaiserslautern, Germany Switched differential algebraic equations:Jumps and impulses
Introduction Distributions as solutions Regularity & Solution formulas Conclusions Impulse example i L i L + + u L u L u u L L − − x = [ i L , u L ] ⊤ x = [ i L , u L ] ⊤ � 0 � L � � 0 � � � L � � 0 � � 0 � 0 1 0 1 x = ˙ x + u x = ˙ x + u 0 0 0 1 − 1 0 0 1 0 0 Stephan Trenn Technomathematics group, University of Kaiserslautern, Germany Switched differential algebraic equations:Jumps and impulses
Introduction Distributions as solutions Regularity & Solution formulas Conclusions Solution of example L d d t i L = u L , 0 = u L − u or 0 = i L Assume: u constant, i L (0) = 0 � 1 , t < t s switch at t s > 0: σ ( t ) = 2 , t ≥ t s u L ( t ) i L ( t ) u t t t s t s δ t s Stephan Trenn Technomathematics group, University of Kaiserslautern, Germany Switched differential algebraic equations:Jumps and impulses
Introduction Distributions as solutions Regularity & Solution formulas Conclusions Contents Introduction 1 Distributions as solutions 2 Review: classical distribution theory Piecewise smooth distributions Regularity of matrix pairs and solution formulas 3 Regularity and the quasi-Weierstrass form Solution properties: the homogenous case Solution properties: the inhomogenous case Conclusions 4 Stephan Trenn Technomathematics group, University of Kaiserslautern, Germany Switched differential algebraic equations:Jumps and impulses
Introduction Distributions as solutions Regularity & Solution formulas Conclusions Distribution theorie - basic ideas Distributions - overview Generalized functions Arbitrarily often differentiable Dirac-Impulse δ 0 is “derivative” of Heaviside step function ✶ [0 , ∞ ) Two different formal approaches Functional analytical: Dual space of the space of test functions 1 (L. Schwartz 1950) Axiomatic: Space of all “derivatives” of continuous functions 2 (J. Sebasti˜ ao e Silva 1954) Stephan Trenn Technomathematics group, University of Kaiserslautern, Germany Switched differential algebraic equations:Jumps and impulses
Introduction Distributions as solutions Regularity & Solution formulas Conclusions Distributions - formal Definition (Test functions) C ∞ := { ϕ : R → R | ϕ is smooth with compact support } 0 Definition (Distributions) D := { D : C ∞ → R | D is linear and continuous } 0 Definition (Regular distributions) f D : C ∞ � f ∈ L 1 , loc ( R → R ): → R , ϕ �→ R f ( t ) ϕ ( t )d t ∈ D 0 Definition (Derivative) Dirac Impulse at t 0 ∈ R δ t 0 : C ∞ D ′ ( ϕ ) := − D ( ϕ ′ ) → R , ϕ �→ ϕ ( t 0 ) 0 Stephan Trenn Technomathematics group, University of Kaiserslautern, Germany Switched differential algebraic equations:Jumps and impulses
Introduction Distributions as solutions Regularity & Solution formulas Conclusions Multiplication with functions Definition (Multiplication with smooth functions) α ∈ C ∞ : ( α D )( ϕ ) := D ( αϕ ) (swDAE) E σ ˙ x = A σ x + B σ u Coefficients not smooth ∈ C ∞ Problem: E σ , A σ , B σ / Multiplication cannot be defined for general distributions! Stephan Trenn Technomathematics group, University of Kaiserslautern, Germany Switched differential algebraic equations:Jumps and impulses
Introduction Distributions as solutions Regularity & Solution formulas Conclusions Dilemma Switched DAEs Distributions Examples: distributional Multiplication with non-smooth solutions coefficients not possible Multiplication with non-smooth Initial value problems cannot be coefficients formulated Underlying problem Space of distributions too big. Stephan Trenn Technomathematics group, University of Kaiserslautern, Germany Switched differential algebraic equations:Jumps and impulses
Introduction Distributions as solutions Regularity & Solution formulas Conclusions Piecewise smooth distributions Define a suitable smaller space: Definition (Piecewise smooth distributions D pw C ∞ ) f ∈ C ∞ � pw , � � D pw C ∞ := � T ⊆ R locally finite , f D + D t � i δ ( i ) � ∀ t ∈ T : D t = � n t i =0 a t t ∈ T � t f D D t i − 1 D t i +1 D t i t i − 1 t i t i +1 Stephan Trenn Technomathematics group, University of Kaiserslautern, Germany Switched differential algebraic equations:Jumps and impulses
Introduction Distributions as solutions Regularity & Solution formulas Conclusions Properties of D pw C ∞ D ∈ D pw C ∞ ⇒ D ′ ∈ D pw C ∞ Multiplication with C ∞ pw -functions well defined Left and right sided evaluation at t ∈ R : D ( t − ) , D ( t +) Impulse at t ∈ R : D [ t ] with input u ∈ ( D pw C ∞ ) m (swDAE) E σ ˙ x = A σ x + B σ u Application to (swDAE) x ∈ ( D pw C ∞ ) n and (swDAE) holds in D pw C ∞ x solves (swDAE) : ⇔ Stephan Trenn Technomathematics group, University of Kaiserslautern, Germany Switched differential algebraic equations:Jumps and impulses
Introduction Distributions as solutions Regularity & Solution formulas Conclusions Relevant questions Consider E σ ˙ x = A σ x + B σ u with regular matrix pairs ( E p , A p ). Existence of solutions? Uniqueness of solutions? Inconsistent initial value problems? Jumps and impulses in solutions? Conditions for impulse free solutions? Theorem (Existence and uniqueness, T. 2009) ∀ x 0 ∈ ( D pw C ∞ ) n ∀ t 0 ∈ R ∀ u ∈ ( D pw C ∞ ) m ∃ ! x ∈ ( D pw C ∞ ) n : x ( −∞ , t 0 ) = x 0 ( −∞ , t 0 ) ( E σ ˙ x ) [ t 0 , ∞ ) = ( A σ x + B σ u ) [ t 0 , ∞ ) Stephan Trenn Technomathematics group, University of Kaiserslautern, Germany Switched differential algebraic equations:Jumps and impulses
Recommend
More recommend