Controllability of switched differential-algebraic equations
|
|
- Hester Booth
- 6 years ago
- Views:
Transcription
1 Controllability of switched differential-algebraic equations Ferdinand Küsters Markus G-M Ruppert Stephan Trenn Fachbereich Mathematik Technische Universität Kaiserslautern Postfach Kaiserslautern Germany Abstract We study controllability of switched differential algebraic equations We are able to establish a controllability characterization where we assume that the switching signal is known The characterization takes into account possible jumps induced by the switches It turns out that controllability not only depends on the actual switching sequence but also on the duration between the switching times Keywords: switched systems differential-algebraic systems; descriptor systems; controllability; Introduction In this paper we study controllability of switched differential-algebraic equations (switched DAEs) of the form E σ ẋ = A σ x + B σ u () where σ : R 2P} P N is a piecewiseconstant switching signal (in particular we assume that in each compact interval only finitely many switches occur) This class of systems plays an important role when modeling systems containing algebraic constraints together with sudden structural changes (eg electrical circuits) see 5 We assume that σ is given (and known) and not available for control hence here we view () as a linear time-varying dynamical system and adapt the notion of controllability in the behavioral sense Controllability of time-varying linear DAEs has been studied for example in but all these approaches assume smooth coefficient matrices and are therefore not applicable to study switched DAEs Controllability of switched ordinary differential equations (ODEs) is studied extensively in the literature however most references view the switching signal as a control input see eg and the references therein There are surprisingly few references concerned with the notion of controllability for a given switching signal; the apparently only exception is 5 which focuses on periodic switching signals Hence a controllability characterization for an external switching signal will go beyond the address: trenn@mathematikuni-klde (Stephan Trenn) state-of-the-art even for switched ODEs Some preliminary results concerning the controllability of switched DAEs are presented in the conference contribution 9; unfortunately this publications contain some errors (in particular the equivalence claimed in 9 Prop 3 is not correct cf Remark 36) It should also be noted that presents some duality between controllability and observability for switched linear ODEs (were the switching signal is seen as an input) and in the context of smoothly time-varying DAEs duality of observability and controllability was studied in 4 It is not clear whether any reasonable duality notion also holds for linear switched DAEs (); in particular the connection between the controllability characterization presented here and the already known observability characterization for switched DAEs 2 is a topic of future research Our main contribution is the controllability characterization for switched DAEs given in Theorem 3 which heavily builds on the controllability characterization for the single-switch case in Theorem 35 Mathematical preliminaries like distributional solutions and controllability for non-switched DAEs are revisited in Section 2 We use the following notation: The real and natural numbers are denoted by R and N respectively The indicator function for some interval I R is denoted by I ie I (t) = if t I and zero otherwise The restriction of a function f : R R to some interval ab) R is f ab) := ab) f ; this restriction is also well defined for piecewise-smooth distributions (see Section 23) The space AB R n for matrices A R n n B R n m denotes the larges A-invariant subspace which Preprint submitted to Elsevier September 9 24
2 contains imb ie AB = imb AB A 2 B A n B 2 Mathematical preliminaries 2 Regular matrix pairs Here we restrict our attention to the non-switched DAE Eẋ = Ax + Bu (2) for matrices EA R n n and B R n m We call (xu) a (classical) solution of (2) if x is continuously differentiable and (x u) satisfy (2) Note that it is possible to define weaker notions of solutions; however we will consider distributional solutions later on anyway which encompasses all other possible solution concepts For existence and uniqueness of solutions regularity of the matrix pair (EA) is important: Definition 2 (Regularity) A matrix pair (E A) R n n R n n is called regular if and only if det(se A) is not the zero polynomial The following important well known characterizations for regularity hold (see eg 5 Thm 632) Proposition 22 (Regularity characterizations) The following statements are equivalent: (i) (EA) is regular (ii) There exist invertible ST R n n such that (EA) is transformed into a quasi-weierstrass form (QWF): ( ) I J (SETSAT ) = (3) N I where N is a nilpotent matrix (iii) The DAE Eẋ = Ax + Bu has a solution for all sufficiently smooth inputs u and each corresponding solution is uniquely determined by the initial value x() The transformation matrices S and T for obtaining the QWF (3) can easily be calculated via the Wongsequences 7: V := R n V i+ := A (EV i ) i = 2 W := } W i+ := E (AW i ) i = 2 (4) where MS := Mx x S } and M S := x Mx S } denote the image and preimage respectively of S under the matrix M It is easily 2 seen that these sequences of subspaces converge after finitely many steps; denote these limits as V(EA) := V i and W(EA) := W i (5) i N i N Choosing full rank matrices V and W such that imv = V(EA) and imw = W (EA) the QWF can be obtained via the transformation matrices : T = VW and S = EVAW The following projectors play an important role in the analysis of DAEs and were first introduced in Definition 23 (Consistency differential impulse projectors) Consider the regular matrix pair (E A) with QWF (3) The consistency projector is I Π (EA) := T T The differential projector is Π diff I (EA) := T S The impulse projector is Π imp (EA) := T S I In all three cases the block structure corresponds to the block structure of the QWF Furthermore let A diff := Π diff (EA) A B diff := Π diff (EA) B Eimp := Π imp (EA) E Bimp := Π imp (EA) B Note that only the consistency projector is a projector in the usual sense; the differential and impulse projectors are not idempotent Furthermore the definitions do not depend on the specific choice of the transformation matrices S and T An important feature for DAEs is the so called consistency space defined as follows: Definition 24 (Consistency space) Consider the DAE (2) then the consistency space is } x R n classical solution x of Eẋ = Ax with x() = x
3 and the augmented consistency space is } x R n classical solution (xu) of Eẋ = Ax + Bu with x() = x Proposition 25 (3) Consider the DAE (2) then the consistency space is V(EA) and the augmented consistency space is V (EAB) := V(EA) Eimp B imp 22 Controllability of nonswitched DAEs For DAEs (2) there are many different notions of controllability see eg the survey 2 here we will only consider controllability in the behavioral sense (or equivalently R-controllability): Definition 26 (Controllability) The DAE (2) is called controllable if and only if for all solutions (x u ) and (x 2 u 2 ) of (2) there exists a solution (x 2 u 2 ) and T > such that (x 2 u 2 ) ( ) = (x u ) ( ) (x 2 u 2 ) (T ) = (x 2 u 2 ) (T ) The controllability subspace is } T > (xu) solution of (2): C (EAB) := x R x() = x x(t ) = It is well known (see eg 2 Lem 23) that the controllability space is equal to the reachability space ie } T > (xu) solution of (2): C (EAB) = x R x() = x(t ) = x The following controllability characterizations are also well known (for the specific formulation used here see 3 Cor 45) Proposition 27 Consider the regular DAE (2) and the notation from (5) and Definition 23 (i) (2) is controllable if and only if A diff B diff = V (EA) (ii) The controllability space of (2) is given by C (EAB) = A diff B diff E imp B imp In particular the DAE is controllable if and only if the controllability space equals the augmented consistency space ie C (EAB) = V (EAB) 3 For the analysis of controllability the following Kalman controllability decomposition (KCD) is useful Proposition 28 (KCD 3 Cor 46) Consider a regular DAE (2) with the notation from (5) and Definition 23 Choose full column rank matrices V V 2 W W 2 as follows: imv = A diff B diff imw = E imp B imp V(EA) imv 2 W(EA) imw 2 Then T = V W V 2 W 2 and S = EV AW EV 2 AW 2 are invertible and transform the DAE into a KCD: ( ) E E (SETSATSB) = 2 A A 2 B E 22 A 22 where (E A B ) = ( I J N I BJ B N ) with nilpotent N and full controllability space ie C (E A B ) = R rankv +rankw 23 Distributional solutions The switched DAE () usually will not have classical solutions because each mode of the switched DAE given by the DAE E i ẋ = A i x + B i u might have different (augmented) consistency spaces which enforce jumps in the state-variable x We therefore utilize the piecewisesmooth distributional solution framework as introduced in 3 ie x and u are vectors of piecewise-smooth distributions given by f C pw T R is D pwc := D = f D + D t discret t T : D t T t spanδ t δ t δ t } where Cpw denotes the space of piecewise-smooth functions f D denotes the regular distribution induced by f and δ t denotes the Dirac impulse with support t} For a piecewise smooth distribution D = f D + t T D t D pwc three types of evaluation at time t are defined: left sided evaluation D(t ) := f (t ) right sided evaluation D(t + ) := f (t + ) and the impulsive part Dt := D t if t T and Dt = otherwise It can be shown (see eg 4) that the space D pwc can be equipped with a multiplication in particular the multiplication of a piecewise-constant function with a piecewise-smooth distribution is well defined and the switched DAE ()
4 can be interpreted as an equation within the space of piecewise-smooth distribution Hence the following solution behavior (depending on σ) is well defined: B σ := (xu) D n+m pwc Eσ ẋ = A σ x + B σ u } and restrictions of x and u to intervals are well defined as well In this solution framework existence and uniqueness of solutions for () can be established: Proposition 29 (5 Cor 652) Consider the switched DAE () with regular matrix pairs (E p A p ) for all p = 2P and assume that the piecewise constant σ is constant on ( ) Then for all inputs u D m pwc there exists a solution x D n pwc of () and each solution is uniquely determined by x( ) In the following we will call () a regular switched DAE if the assumptions of Proposition 29 are satisfied Note that in particular the jumps and Dirac impulses induced by switches are uniquely determined in this solution framework (in contrast to other approaches where for example additional glueing conditions are imposed see eg 8) Furthermore a side effect of the considered distributional solution framework is the possibility to consider impulsive controls ie we allow for Dirac impulses in u It is a well known fact that for classical ODE systems any controllable states can be controlled to each other in arbitrarily short time; the following result shows that it is even possible to control two states instantaneously to each other when allowing impulsive controls: Lemma 2 (Instantaneous control) Consider the (nonswitched) DAE (2) with corresponding controllability space C (EAB) Then for all x x C (EAB) there exists a (distributional) solution (x u) of (2) with x( ) = x and x( + ) = x Proof Due to linearity it suffices to show that any controllable state x C (EAB) is reachable ie there exists an input u D m pwc such that the corresponding solution x D n pwc satisfies x( ) = and x( + ) = x Without restriction we can assume that the DAE is already in KCD as in Proposition 28 hence it remains to show that for any v R n w R n 2 where n := dim A diff B diff and n 2 := dim E imp B imp we can choose u such that the solutions of v = Jv + B J u v( ) = Nẇ = w + B N u w( ) = satisfy v( + ) = v w( + ) = w First note that (see eg 4 5) w( + n 2 ) = i= N i B N u (i) ( + ) Due the properties of the KCD dim NB N = n 2 we can find u u u n 2 R m such that n 2 i= n 2 i= N i B N u i = w Set u on (ε) (for some ε > ) equal to the polynomial t i i! ui then we achieve w( + ) = w as required To construct u such that v( + ) = v we make the following ansatz for the impulsive parts of u and v at t = : n u = i= u i δ (i) n and v = i= v i δ (i) These impulsive parts must obey the differential equation v = Jv + B J u which can be rewritten as Hence v( + ) = Jv + B J u v = Jv + B J u v n 2 = Jv n + B J u n v n = v( + n ) = i= J i B J u i Due to the KCD we have dim JB J = n and we can always achieve v( + ) = v by choosing u accordingly (which can be done independently from the choice of u on the interval (ε)) Remark 2 The proof of Lemma 2 also shows that the controllability space C (EAB) does not change when considering the DAE Eẋ = Ax + Bu within the piecewise-smooth distributional solution framework 3 Controllability of switched DAEs 3 Controllability definition Definition 3 (Controllability) The switched DAE () is called controllable if and only if the corresponding
5 solution behavior B σ is controllable in the behavioral sense on some interval (T ) ie (x u )(x 2 u 2 ) B σ (x 2 u 2 ) B σ : (x 2 u 2 ) ( ) = (x u ) ( ) (x 2 u 2 ) (T ) = (x 2 u 2 ) (T ) For s < t the (st)-controllability space is } C σ (st) := x R n (xu) B σ : x(s + ) = x x(t ) = Remark 32 If a regular switched DAE () is considered the controllability definition can be reformulated as follows: For all consistent x (ie x V (EAB)) there exists an input u defined on some interval T ) such that the solution x with initial condition x( ) = x satisfies x(t ) = Furthermore it is easy to see that u can always be chosen such that u is identically zero on ε) for some sufficiently small ε > We first like to highlight the relationship between the two controllability spaces defined so far: Lemma 33 Consider the regular switched DAE () and assume that for s < t the switching signal σ is constant on (st) Let p := σ(s + ) then C (st) σ = C (Ep A p B p ) Proof It is clear that C σ (st) C (Ep A p B p ) because the same input u defined on (st) can be used (cf Remark 2) To show the converse we have to show that any x C (Ep A p B p ) can actually be achieved by the switched system ie there exists (xu) B σ with x(s + ) = x This was already shown in Lemma 2 with the help of an impulsive input defined on ss + ε) for some arbitrarily small ε > Due to the invariance property of C (Ep A p B p ) it follows that x((s + ε) + ) C (Ep A p B p ) and we can now choose u on (s+εt) such that x(t ) = This shows x C (st) σ 32 The single switch case From a practical point of view we have to assume that the control action starts at a certain point in time Without restriction we therefore assume that the input u can only be chosen by us on the interval ) This does not exclude that the input u is non-zero on ( ) we just can t influence it in the past (in fact this is already implied by Definition 3) 5 We will now consider the simplest nontrivial switched system where the switching signal has only one switch at the time t s : σ ts} t < t s (t) := (6) t t s The controllability properties are very different for the two cases t s = and t s > because if t s = then the input cannot take advantage of the controllability properties of the mode before the switch In fact any controllable switched system with switching time t s = will also be controllable with switching time t s > but not vice versa! Example 34 Consider a switched DAE () with switching signal (6) and (E A B ) = ( ) (E A B ) = ( ) For given input u the solution of the switched DAE is given by ( ) ( ) x x x = = ( ts ) u ts ) x 2 u ( ts ) u(t s ) ts ) for some x R If t s = we cannot choose u(t s ) If u( ) this means that x 2 (t) for all t > ie the switched system is not controllable If however t s > then we are free to choose u(t s ) = as well as u ts ) = hence x ts ) = which shows that now the switched system is controllable For convenience let C p := C (Ep A p B p ) and analogously for other matrices and spaces indexed by the corresponding matrix pair or triple We are now ready to formulate our first main result: Theorem 35 (Characterization of controllability: Single switch case) Consider the regular switched DAE () with switching signal (6) If t s = then () is controllable if and only if Π C V If t s > then () is controllable if and only if C + Π C V (7) Furthermore for s < t s < t ( ) C (st) = C σ ts} + e Adiff (t s s) Π C V
6 Proof Case t s = Assume the switched DAE is controllable then for all consistent x( ) = x V there exists an input u defined on T ) such that x(t ) = This implies x( + ) C Without restriction we can assume that u = and u (i) ( + ) = for all i N (cf Remark 32) Then (see eg 5 Thm 65) x( + ) = Π x( ) and therefore x = x( ) Π C which shows V Π C To show the converse let x( ) = x V and choose u equal to zero on ε) for some ε > Then x( + ) = Π x Π V Π Π C C and consequently x(ε ) C hence there exists u defined on εt ) such that x(t ) = Case t s > Assume the switched DAE is controllable then for all consistent x( ) = x V there exists an input u such that x(t ) = If T t s this implies already V C and we are done hence assume now T > t s Then x(t s + ) C Without restriction we assume that the input u is identically zero on t s t s +ε) for some ε > and it follows that x(t s ) Π x(t+ s )} Π C Because of linearity we have x(t s ) = x(t s ) + x(t s ) where x is the solution of the switched DAE with zero input and initial value x( ) = x and x is the solution of the switched DAE with zero initial condition and the input from above This implies (invoking Lem 3) e Adiff t s x = x(t s ) = x(t s ) x(t s ) Π C + C (8) ie e Adiff t s V Π C +C Since V is e Adiff invariant (this easily follows from the fact that A diff p Π imp p = ) and e Adiff t s is invertible we have e Adiff t s V = V which shows necessity To show the converse let x V and denote by x the solution of the switched DAE with zero input and initial value x Then x(ts ) V and we can choose x C such that x(t s ) x Π C (9) Furthermore we can choose an input u defined on t s ) such that the solution x of the corresponding switched DAE with zero initial value satisfies x(t s ) = x By linearity the solution x of the switched DAE with initial 6 value x and the above input u satisfies x(t s ) = x(t s ) + x(t s ) (9) Π C Choosing u on t s t s +ε) identically zero for some ε > we have x(t + s ) = Π x(t s ) C and we can finally choose u on t s + εt ) for some T > t s + ε such that x(t ) = which shows that the switched DAE is controllable Formula for C (st) σ ts} Let x C (st) σ ts} then x V and we find an input u defined on s t) such that the corresponding solution x of () satisfies x(t ) = With the same arguments as in the first part of the t s > -case we can conclude that e Adiff (t s s) x C + Π C and therefore ( ) x C + e Adiff (t s s) Π C V To show the converse subspace inclusion let x (C + e Adiff (t s s) Π C ) V Denote by x the solution of the switched DAE with zero input and initial value x then x(t s ) ( C + Π C ) V Similar as in the second part of the t s > -case we can define an input u on t s t) such that x(t ) = for some T > t s which concludes the proof Remark 36 We can write (7) also as A diff Bdiff Eimp B imp + Π Adiff Bdiff V E imp B imp where Π C = Π A diff Bdiff follows from the facts that A diff Bdiff imπ and imπ E imp B imp = } A further simplification can be done by substracting E imp B imp on both sides resulting in the sufficient condition A diff Bdiff + Π Adiff Bdiff V () A necessary condition can be obtained from (7) by adding any complementing space of E imp B imp within resulting in the condition W W A diff Bdiff + Π Adiff Bdiff = Rn () Despite their simple transformations the three condi-
7 tions (7) () and () are not equivalent in fact only the following holds () (7) () and we will show with the following two examples that the converse implications are not true Example 37 ((7) ()) Consider the switched DAE () with switching signal (6) for t s > and (E A B ) = ( ) (E A B ) = ( ) Since the matrices are already in QWF the following can simply be read off: V = im A diff = B diff = E imp = B imp = Π = I A diff = B diff = Hence C + Π C = im + im = R 2 ie (7) holds and the switched system is controllable However () is not satisfied: A diff Bdiff + Π Adiff Bdiff = } + im im = V Example 38 (() (7)) Consider the switched DAE () with switching signal (6) for t s > and ( ) (E A B ) = ) (E A B ) = ( Since the matrices are already in QWF we can easily read of the following: V = im W = im A diff = B diff = E imp = B imp = Π = I A diff = B diff = Hence C + Π C = im + im im + im = V ie the switched system is not controllable However () is satisfied W A diff Bdiff + Π = im Adiff Bdiff + } + im = R General switching signal We now consider an arbitrary piecewise constant switching signal σ which is constant on ( ) Without restriction we can relable the matrices such that t < t σ(t) = (2) k t t k t k+ ) where t < t < t 2 < are the switching times of σ Without restriction we can assume that t = (if there was no switch at t = we can artificially insert a switch to the same mode) Lemma 39 Consider the regular switched DAE () with switching signal (2) then for all l > k > : C (t k t l ) σ = (C k + e Adiff k (t k t k ) Π k C (t kt l ) σ ) V k Proof The proof follows exactly the same line of arguments as the proof for C (st) σ ts} in Theorem 35 We are now ready to present the controllability characterization for general switched DAEs Theorem 3 Consider the switched DAEs () with switching signal (2) and corresponding consistency projector Π k controllability space C k augmented consistency space V k for each mode k N } For each l N define the following sequence of subspaces: C l l := C l C l k := C k + e Adiff k (t k t k ) Π k Ck l k = l2 Then () is controllable if and only if there exists l N such that Π C l V Proof First note that for any matrix M and subspaces S T with imm T we have that M (S T ) = M S Hence because imπ k V k we can utilize Lemma 39 to show inductively that C (t kt l+ ) σ = C l k V k Finally we can use the same argument as in the t s = - case of the proof of Theorem 35 to show the claim The dependencies of the switching times is crucial and in general cannot be avoided as the following example shows
8 Example 3 (Dependency on the switching time) Consider the switched DAE () with switching signal (2) and (E A B ) = ( ) (E A B ) = ( ) (E 2 A 2 B 2 ) = ( ) (E k A k B k ) = (E 2 A 2 B 2 ) k > 2 For t < t 2 the input is zero and thus the system cannot be controlled For t t 2 the solution is given by x(t) = cos(t2 t )x u(t) The system is controllable if and only if cos(t 2 t ) = ie t 2 = t + π( + 2k)k N 4 Conclusion We have presented a characterization of controllability for switched DAEs This is the first result for controllability of switched DAEs and many important questions remain open Duality and the connection between observability and controllability is a topic of ongoing research Another question is whether the dependencies on the switching times can be relaxed resulting in necessary or sufficient conditions for controllability Finally a long term goal is the construction of stabilizing controllers taking into account the special controllability features of switched DAEs References Thomas Berger Achim Ilchmann and Stephan Trenn The quasi-weierstraß form for regular matrix pencils Lin Alg Appl 436(): Thomas Berger and Timo Reis Controllability of linear differential-algebraic systems - a survey In Achim Ilchmann and Timo Reis editors Surveys in Differential-Algebraic Equations I Differential-Algebraic Equations Forum pages 6 Springer-Verlag Berlin-Heidelberg 23 3 Thomas Berger and Stephan Trenn Kalman controllability decompositions for differential-algebraic systems Syst Control Lett 24 in press 4 Stephen L Campbell Nancy K Nichols and William J Terrell Duality observability and controllability for linear timevarying descriptor systems Circuits Systems Signal Process (4): Jelel Ezzine and AH Haddad Controllability and observability of hybrid systems Int J Control 49(6): Achim Ilchmann and Volker Mehrmann A behavioural approach to time-varying linear systems Part : General theory SIAM J Control Optim 44(5): Achim Ilchmann and Volker Mehrmann A behavioural approach to time-varying linear systems Part 2: Descriptor systems SIAM J Control Optim 44(5): Paula Rocha Jan C Willems Paolo Rapisarda and Diego Napp On the stability of switched behavioral systems In Proc 5th IEEE Conf Decis Control and European Control Conference ECC 2 Orlando USA pages Markus G-M Ruppert and Stephan Trenn Controllability of switched DAEs: The single switch case In PAMM - Proc Appl Math Mech volume 4 Wiley-VCH Verlag GmbH 24 to appear Zhendong Sun and Shuzhi Sam Ge Switched linear systems Communications and Control Engineering Springer- Verlag London 25 Aneel Tanwani and Stephan Trenn On observability of switched differential-algebraic equations In Proc 49th IEEE Conf Decis Control Atlanta USA pages Aneel Tanwani and Stephan Trenn Observability of switched differential-algebraic equations for general switching signals In Proc 5st IEEE Conf Decis Control Maui USA pages Stephan Trenn Distributional differential algebraic equations PhD thesis Institut für Mathematik Technische Universität Ilmenau Universitätsverlag Ilmenau Ilmenau Germany 29 4 Stephan Trenn Regularity of distributional differential algebraic equations Math Control Signals Syst 2(3): Stephan Trenn Switched differential algebraic equations In Francesco Vasca and Luigi Iannelli editors Dynamics and Control of Switched Electronic Systems - Advanced Perspectives for Modeling Simulation and Control of Power Converters chapter 6 pages Springer-Verlag London 22 6 Chi-Jo Wang Controllability and observability of linear time-varying singular systems IEEE Trans Autom Control 44():9 95 October Kai-Tak Wong The eigenvalue problem λt x + Sx J Diff Eqns 6:
Impulse free solutions for switched differential algebraic equations
Impulse free solutions for switched differential algebraic equations Stephan Trenn Institute of Mathematics, Ilmenau University of Technology, Weimerarer Str. 25, 98693 Ilmenau, Germany Abstract Linear
More informationLINEAR-QUADRATIC OPTIMAL CONTROL OF DIFFERENTIAL-ALGEBRAIC SYSTEMS: THE INFINITE TIME HORIZON PROBLEM WITH ZERO TERMINAL STATE
LINEAR-QUADRATIC OPTIMAL CONTROL OF DIFFERENTIAL-ALGEBRAIC SYSTEMS: THE INFINITE TIME HORIZON PROBLEM WITH ZERO TERMINAL STATE TIMO REIS AND MATTHIAS VOIGT, Abstract. In this work we revisit the linear-quadratic
More informationDetectability and Observer Design for Switched Differential Algebraic Equations
Detectability and Observer Design for Switched Differential Algebraic Equations Aneel Tanwani a, Stephan Trenn b a Team MAC (Decision and Optimization), LAAS CNRS, Toulouse, France b Jan C Willems Center
More informationThe Kalman-Yakubovich-Popov Lemma for Differential-Algebraic Equations with Applications
MAX PLANCK INSTITUTE Elgersburg Workshop Elgersburg February 11-14, 2013 The Kalman-Yakubovich-Popov Lemma for Differential-Algebraic Equations with Applications Timo Reis 1 Matthias Voigt 2 1 Department
More informationBohl exponent for time-varying linear differential-algebraic equations
Bohl exponent for time-varying linear differential-algebraic equations Thomas Berger Institute of Mathematics, Ilmenau University of Technology, Weimarer Straße 25, 98693 Ilmenau, Germany, thomas.berger@tu-ilmenau.de.
More informationLinear relations and the Kronecker canonical form
Linear relations and the Kronecker canonical form Thomas Berger Carsten Trunk Henrik Winkler August 5, 215 Abstract We show that the Kronecker canonical form (which is a canonical decomposition for pairs
More informationEigenvalue placement for regular matrix pencils with rank one perturbations
Eigenvalue placement for regular matrix pencils with rank one perturbations Hannes Gernandt (joint work with Carsten Trunk) TU Ilmenau Annual meeting of GAMM and DMV Braunschweig 2016 Model of an electrical
More informationKalman controllability decompositions for differential-algebraic systems
Kalan controllability decopositions for differential-algebraic systes Thoas Berger a Stephan Trenn b a Fachbereich Matheatik Universität Haburg Bundesstraße 55 2146 Haburg Gerany b Fachbereich Matheatik
More informationObservability of linear differential-algebraic systems a survey
Observability of linear differential-algebraic systems a survey Thomas Berger, Timo Reis and Stephan Trenn Abstract We investigate different concepts related to observability of linear constant coefficient
More informationDifferential-Algebraic Equations Forum
Differential-Algebraic Equations Forum Editors-in-Chief Achim Ilchmann (TU Ilmenau, Ilmenau, Germany) Timo Reis (Universität Hamburg, Hamburg, Germany) Editorial Board Larry Biegler (Carnegie Mellon University,
More informationA normal form for pure differential algebraic systems
A normal form for pure differential algebraic systems Stephan Trenn December 2th 27 Abstract: In this paper linear time-invariant differential algebraic equations (DAEs) are studied; the focus is on pure
More informationOn linear quadratic optimal control of linear time-varying singular systems
On linear quadratic optimal control of linear time-varying singular systems Chi-Jo Wang Department of Electrical Engineering Southern Taiwan University of Technology 1 Nan-Tai Street, Yungkung, Tainan
More informationStructural Properties of LTI Singular Systems under Output Feedback
Structural Properties of LTI Singular Systems under Output Feedback Runyi Yu Dept. of Electrical and Electronic Eng. Eastern Mediterranean University Gazimagusa, Mersin 10, Turkey runyi.yu@emu.edu.tr Dianhui
More informationarxiv: v1 [cs.sy] 2 Apr 2019
On the Existence of a Fixed Spectrum for a Multi-channel Linear System: A Matroid Theory Approach F Liu 1 and A S Morse 1 arxiv:190401499v1 [cssy] 2 Apr 2019 Abstract Conditions for the existence of a
More informationDESCRIPTOR FRACTIONAL LINEAR SYSTEMS WITH REGULAR PENCILS
Int. J. Appl. Math. Comput. Sci., 3, Vol. 3, No., 39 35 DOI:.478/amcs-3-3 DESCRIPTOR FRACTIONAL LINEAR SYSTEMS WITH REGULAR PENCILS TADEUSZ KACZOREK Faculty of Electrical Engineering Białystok Technical
More informationThe Bang-Bang Funnel Controller
49th IEEE Conference on Decision and Control December 15-17, 2010 Hilton Atlanta Hotel, Atlanta, GA, USA The Bang-Bang Funnel Controller Daniel Liberzon and Stephan Trenn Abstract A bang-bang controller
More informationA relaxation of the strangeness index
echnical report from Automatic Control at Linköpings universitet A relaxation of the strangeness index Henrik idefelt, orkel Glad Division of Automatic Control E-mail: tidefelt@isy.liu.se, torkel@isy.liu.se
More informationControl Hierarchies and Tropical Algebras
Control Hierarchies and Tropical Algebras Jörg Raisch 1,2, Xavier David-Henriet 1,2,3, Tom Brunsch 1,3, Laurent Hardouin 3 1 Fachgebiet Regelungssysteme Fakultät Elektrotechnik und Informatik, TU Berlin
More informationA BOUNDARY VALUE PROBLEM FOR LINEAR PDAEs
Int. J. Appl. Math. Comput. Sci. 2002 Vol.12 No.4 487 491 A BOUNDARY VALUE PROBLEM FOR LINEAR PDAEs WIESŁAW MARSZAŁEK ZDZISŁAW TRZASKA DeVry College of Technology 630 US Highway One North Brunswick N8902
More informationHamburger Beiträge zur Angewandten Mathematik
Hamburger Beiträge zur Angewandten Mathematik Numerical Solution Of Matrix Equations Arising In Linear-Quadratic Optimal Control Of Differential-Algebraic Equations Timo Reis, Olaf Rendel Nr. 216-36 December
More informationProjectors for matrix pencils
Projectors for matrix pencils Roswitha März Abstract In this paper, basic properties of projector sequences for matrix pairs which can be used for analyzing differential algebraic systems are collected.
More informationDecomposition of Riesz frames and wavelets into a finite union of linearly independent sets
Decomposition of Riesz frames and wavelets into a finite union of linearly independent sets Ole Christensen, Alexander M. Lindner Abstract We characterize Riesz frames and prove that every Riesz frame
More informationOn Linear-Quadratic Control Theory of Implicit Difference Equations
On Linear-Quadratic Control Theory of Implicit Difference Equations Daniel Bankmann Technische Universität Berlin 10. Elgersburg Workshop 2016 February 9, 2016 D. Bankmann (TU Berlin) Control of IDEs February
More informationAnalysis of the regularity, pointwise completeness and pointwise generacy of descriptor linear electrical circuits
Computer Applications in Electrical Engineering Vol. 4 Analysis o the regularity pointwise completeness pointwise generacy o descriptor linear electrical circuits Tadeusz Kaczorek Białystok University
More informationDefinite versus Indefinite Linear Algebra. Christian Mehl Institut für Mathematik TU Berlin Germany. 10th SIAM Conference on Applied Linear Algebra
Definite versus Indefinite Linear Algebra Christian Mehl Institut für Mathematik TU Berlin Germany 10th SIAM Conference on Applied Linear Algebra Monterey Bay Seaside, October 26-29, 2009 Indefinite Linear
More informationOn the simplest expression of the perturbed Moore Penrose metric generalized inverse
Annals of the University of Bucharest (mathematical series) 4 (LXII) (2013), 433 446 On the simplest expression of the perturbed Moore Penrose metric generalized inverse Jianbing Cao and Yifeng Xue Communicated
More informationPeter C. Müller. Introduction. - and the x 2 - subsystems are called the slow and the fast subsystem, correspondingly, cf. (Dai, 1989).
Peter C. Müller mueller@srm.uni-wuppertal.de Safety Control Engineering University of Wuppertal D-497 Wupperta. Germany Modified Lyapunov Equations for LI Descriptor Systems or linear time-invariant (LI)
More informationStability of interval positive continuous-time linear systems
BULLETIN OF THE POLISH ACADEMY OF SCIENCES TECHNICAL SCIENCES, Vol. 66, No. 1, 2018 DOI: 10.24425/119056 Stability of interval positive continuous-time linear systems T. KACZOREK Białystok University of
More informationThe Quasi-Weierstraß form for regular matrix pencils
The Quasi-Weierstraß form for regular matrix pencils Thomas Berger Achim Ilchmann Stephan Trenn submitted to Linear Algebra Appl. July 6, 2009 Dedicated to Heinrich Voß on the occasion of his 65 th birthday
More informationDiscontinuity Propagation in Delay Differential- Algebraic Equations
Electronic Journal of Linear Algebra Volume 34 Volume 34 2018 Article 42 2018 Discontinuity Propagation in Delay Differential- Algebraic Equations Benjamin Unger Technische Universität Berlin, unger@math.tu-berlin.de
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 informationOptimization Based Output Feedback Control Design in Descriptor Systems
Trabalho apresentado no XXXVII CNMAC, S.J. dos Campos - SP, 017. Proceeding Series of the Brazilian Society of Computational and Applied Mathematics Optimization Based Output Feedback Control Design in
More informationEquivalence of dynamical systems by bisimulation
Equivalence of dynamical systems by bisimulation Arjan van der Schaft Department of Applied Mathematics, University of Twente P.O. Box 217, 75 AE Enschede, The Netherlands Phone +31-53-4893449, Fax +31-53-48938
More informationQUALITATIVE CONTROLLABILITY AND UNCONTROLLABILITY BY A SINGLE ENTRY
QUALITATIVE CONTROLLABILITY AND UNCONTROLLABILITY BY A SINGLE ENTRY D.D. Olesky 1 Department of Computer Science University of Victoria Victoria, B.C. V8W 3P6 Michael Tsatsomeros Department of Mathematics
More informationAssignment 1 Math 5341 Linear Algebra Review. Give complete answers to each of the following questions. Show all of your work.
Assignment 1 Math 5341 Linear Algebra Review Give complete answers to each of the following questions Show all of your work Note: You might struggle with some of these questions, either because it has
More informationNumerical Treatment of Unstructured. Differential-Algebraic Equations. with Arbitrary Index
Numerical Treatment of Unstructured Differential-Algebraic Equations with Arbitrary Index Peter Kunkel (Leipzig) SDS2003, Bari-Monopoli, 22. 25.06.2003 Outline Numerical Treatment of Unstructured Differential-Algebraic
More informationFINITE RANK PERTURBATIONS OF LINEAR RELATIONS AND SINGULAR MATRIX PENCILS
FINITE RANK PERTURBATIONS OF LINEAR RELATIONS AND SINGULAR MATRIX PENCILS LESLIE LEBEN, FRANCISCO MARTÍNEZ PERÍA, FRIEDRICH PHILIPP, CARSTEN TRUNK, AND HENRIK WINKLER Abstract. We elaborate on the deviation
More informationWhere is matrix multiplication locally open?
Linear Algebra and its Applications 517 (2017) 167 176 Contents lists available at ScienceDirect Linear Algebra and its Applications www.elsevier.com/locate/laa Where is matrix multiplication locally open?
More informationStructured eigenvalue/eigenvector backward errors of matrix pencils arising in optimal control
Electronic Journal of Linear Algebra Volume 34 Volume 34 08) Article 39 08 Structured eigenvalue/eigenvector backward errors of matrix pencils arising in optimal control Christian Mehl Technische Universitaet
More informationDetermining the order of minimal realization of descriptor systems without use of the Weierstrass canonical form
Journal of Mathematical Modeling Vol. 3, No. 1, 2015, pp. 91-101 JMM Determining the order of minimal realization of descriptor systems without use of the Weierstrass canonical form Kamele Nassiri Pirbazari
More informationSTABILITY OF INVARIANT SUBSPACES OF COMMUTING MATRICES We obtain some further results for pairs of commuting matrices. We show that a pair of commutin
On the stability of invariant subspaces of commuting matrices Tomaz Kosir and Bor Plestenjak September 18, 001 Abstract We study the stability of (joint) invariant subspaces of a nite set of commuting
More informationComputation of a canonical form for linear differential-algebraic equations
Computation of a canonical form for linear differential-algebraic equations Markus Gerdin Division of Automatic Control Department of Electrical Engineering Linköpings universitet, SE-581 83 Linköping,
More informationThe Quasi-Weierstraß form for regular matrix pencils
The Quasi-Weierstraß form for regular matrix pencils Thomas Berger Achim Ilchmann Stephan Trenn first submission: July 2009; revision: October 2009 Dedicated to Heinrich Voß on the occasion of his 65 th
More informationTopics in control Tracking and regulation A. Astolfi
Topics in control Tracking and regulation A. Astolfi Contents 1 Introduction 1 2 The full information regulator problem 3 3 The FBI equations 5 4 The error feedback regulator problem 5 5 The internal model
More informationModel reduction via tangential interpolation
Model reduction via tangential interpolation K. Gallivan, A. Vandendorpe and P. Van Dooren May 14, 2002 1 Introduction Although most of the theory presented in this paper holds for both continuous-time
More informationCONTROLLABILITY OF NONLINEAR DISCRETE SYSTEMS
Int. J. Appl. Math. Comput. Sci., 2002, Vol.2, No.2, 73 80 CONTROLLABILITY OF NONLINEAR DISCRETE SYSTEMS JERZY KLAMKA Institute of Automatic Control, Silesian University of Technology ul. Akademicka 6,
More informationA SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES
A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES PATRICK BROSNAN Abstract. I generalize the standard notion of the composition g f of correspondences f : X Y and g : Y Z to the case that X
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 informationObstacle problems and isotonicity
Obstacle problems and isotonicity Thomas I. Seidman Revised version for NA-TMA: NA-D-06-00007R1+ [June 6, 2006] Abstract For variational inequalities of an abstract obstacle type, a comparison principle
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 informationSTABILITY OF RESET SWITCHED SYSTEMS. University of Aveiro, Portugal University of Beira Interior, Portugal University of Aveiro, Portugal
STABILITY OF RESET SWITCHED SYSTEMS Isabel Brás, Ana Carapito, Paula Rocha, University of Aveiro, Portugal University of Beira Interior, Portugal University of Aveiro, Portugal Abstract: In this paper
More informationStatic Output Feedback Stabilisation with H Performance for a Class of Plants
Static Output Feedback Stabilisation with H Performance for a Class of Plants E. Prempain and I. Postlethwaite Control and Instrumentation Research, Department of Engineering, University of Leicester,
More informationIMPULSIVE CONTROL OF DISCRETE-TIME NETWORKED SYSTEMS WITH COMMUNICATION DELAYS. Shumei Mu, Tianguang Chu, and Long Wang
IMPULSIVE CONTROL OF DISCRETE-TIME NETWORKED SYSTEMS WITH COMMUNICATION DELAYS Shumei Mu Tianguang Chu and Long Wang Intelligent Control Laboratory Center for Systems and Control Department of Mechanics
More informationOn the Characterization Feedback of Positive LTI Continuous Singular Systems of Index 1
Advanced Studies in Theoretical Physics Vol. 8, 2014, no. 27, 1185-1190 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/astp.2014.48245 On the Characterization Feedback of Positive LTI Continuous
More informationarxiv: v1 [math.ra] 10 Nov 2018
arxiv:1811.04243v1 [math.ra] 10 Nov 2018 BURNSIDE S THEOREM IN THE SETTING OF GENERAL FIELDS HEYDAR RADJAVI AND BAMDAD R. YAHAGHI Abstract. We extend a well-known theorem of Burnside in the setting of
More informationAn asymptotic ratio characterization of input-to-state stability
1 An asymptotic ratio characterization of input-to-state stability Daniel Liberzon and Hyungbo Shim Abstract For continuous-time nonlinear systems with inputs, we introduce the notion of an asymptotic
More informationControl Systems Design, SC4026. SC4026 Fall 2009, dr. A. Abate, DCSC, TU Delft
Control Systems Design, SC4026 SC4026 Fall 2009, dr. A. Abate, DCSC, TU Delft Lecture 4 Controllability (a.k.a. Reachability) vs Observability Algebraic Tests (Kalman rank condition & Hautus test) A few
More informationwhere f is some inhomogeneity. In the context of DAEs it is natural to call matrix pencils se 1 A 1 and se 2 A 2 equivalent and write se 1 A 1
SIAM J MATRIX ANAL APPL Vol 33, No 2, pp 336 368 c 212 Society for Industrial and Applied Mathematics THE QUASI-KRONECKER FORM FOR MATRIX PENCILS THOMAS BERGER AND STEPHAN TRENN Abstract We study singular
More informationGENERALIZED EIGENVECTORS, MINIMAL POLYNOMIALS AND THEOREM OF CAYLEY-HAMILTION
GENERALIZED EIGENVECTORS, MINIMAL POLYNOMIALS AND THEOREM OF CAYLEY-HAMILTION FRANZ LUEF Abstract. Our exposition is inspired by S. Axler s approach to linear algebra and follows largely his exposition
More informationControl, Stabilization and Numerics for Partial Differential Equations
Paris-Sud, Orsay, December 06 Control, Stabilization and Numerics for Partial Differential Equations Enrique Zuazua Universidad Autónoma 28049 Madrid, Spain enrique.zuazua@uam.es http://www.uam.es/enrique.zuazua
More informationBUMPLESS SWITCHING CONTROLLERS. William A. Wolovich and Alan B. Arehart 1. December 27, Abstract
BUMPLESS SWITCHING CONTROLLERS William A. Wolovich and Alan B. Arehart 1 December 7, 1995 Abstract This paper outlines the design of bumpless switching controllers that can be used to stabilize MIMO plants
More informationOperators with numerical range in a closed halfplane
Operators with numerical range in a closed halfplane Wai-Shun Cheung 1 Department of Mathematics, University of Hong Kong, Hong Kong, P. R. China. wshun@graduate.hku.hk Chi-Kwong Li 2 Department of Mathematics,
More informationA Necessary and Sufficient Condition for Linear Systems to Be Observable
IOSR Journal of Mathematics (IOSR-JM) e-issn: 2278-5728, p-issn: 2319-765X. Volume 13, Issue 4 Ver. II (Jul. Aug. 2017), PP 06-10 www.iosrjournals.org A Necessary and Sufficient Condition for Linear Systems
More informationA Characterization of Distance-Regular Graphs with Diameter Three
Journal of Algebraic Combinatorics 6 (1997), 299 303 c 1997 Kluwer Academic Publishers. Manufactured in The Netherlands. A Characterization of Distance-Regular Graphs with Diameter Three EDWIN R. VAN DAM
More informationPerturbation Theory for Self-Adjoint Operators in Krein spaces
Perturbation Theory for Self-Adjoint Operators in Krein spaces Carsten Trunk Institut für Mathematik, Technische Universität Ilmenau, Postfach 10 05 65, 98684 Ilmenau, Germany E-mail: carsten.trunk@tu-ilmenau.de
More informationSIMPLE CONDITIONS FOR PRACTICAL STABILITY OF POSITIVE FRACTIONAL DISCRETE TIME LINEAR SYSTEMS
Int. J. Appl. Math. Comput. Sci., 2009, Vol. 19, No. 2, 263 269 DOI: 10.2478/v10006-009-0022-6 SIMPLE CONDITIONS FOR PRACTICAL STABILITY OF POSITIVE FRACTIONAL DISCRETE TIME LINEAR SYSTEMS MIKOŁAJ BUSŁOWICZ,
More informationStability and Inertia Theorems for Generalized Lyapunov Equations
Published in Linear Algebra and its Applications, 355(1-3, 2002, pp. 297-314. Stability and Inertia Theorems for Generalized Lyapunov Equations Tatjana Stykel Abstract We study generalized Lyapunov equations
More informationComputation of State Reachable Points of Second Order Linear Time-Invariant Descriptor Systems
Electronic Journal of Linear Algebra Volume 32 Volume 32 (217) Article 23 217 Computation of State Reachable Points of Second Order Linear Time-Invariant Descriptor Systems Subashish Datta Ph.D. Indian
More informationLinear System Theory
Linear System Theory Wonhee Kim Chapter 6: Controllability & Observability Chapter 7: Minimal Realizations May 2, 217 1 / 31 Recap State space equation Linear Algebra Solutions of LTI and LTV system Stability
More informationSPECTRAL THEORY EVAN JENKINS
SPECTRAL THEORY EVAN JENKINS Abstract. These are notes from two lectures given in MATH 27200, Basic Functional Analysis, at the University of Chicago in March 2010. The proof of the spectral theorem for
More informationNORMS ON SPACE OF MATRICES
NORMS ON SPACE OF MATRICES. Operator Norms on Space of linear maps Let A be an n n real matrix and x 0 be a vector in R n. We would like to use the Picard iteration method to solve for the following system
More informationTechnische Universität Graz
Technische Universität Graz Stability of the Laplace single layer boundary integral operator in Sobolev spaces O. Steinbach Berichte aus dem Institut für Numerische Mathematik Bericht 2016/2 Technische
More informationDragan S. Djordjević. 1. Introduction
UNIFIED APPROACH TO THE REVERSE ORDER RULE FOR GENERALIZED INVERSES Dragan S Djordjević Abstract In this paper we consider the reverse order rule of the form (AB) (2) KL = B(2) TS A(2) MN for outer generalized
More informationContour integral solutions of Sylvester-type matrix equations
Contour integral solutions of Sylvester-type matrix equations Harald K. Wimmer Mathematisches Institut, Universität Würzburg, 97074 Würzburg, Germany Abstract The linear matrix equations AXB CXD = E, AX
More informationSymmetric 0-1 matrices with inverses having two distinct values and constant diagonal
Symmetric 0-1 matrices with inverses having two distinct values and constant diagonal Wayne Barrett Department of Mathematics, Brigham Young University, Provo, UT, 84602, USA Steve Butler Dept. of Mathematics,
More informationISOLATED SEMIDEFINITE SOLUTIONS OF THE CONTINUOUS-TIME ALGEBRAIC RICCATI EQUATION
ISOLATED SEMIDEFINITE SOLUTIONS OF THE CONTINUOUS-TIME ALGEBRAIC RICCATI EQUATION Harald K. Wimmer 1 The set of all negative-semidefinite solutions of the CARE A X + XA + XBB X C C = 0 is homeomorphic
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 informationA q x k+q + A q 1 x k+q A 0 x k = 0 (1.1) where k = 0, 1, 2,..., N q, or equivalently. A(σ)x k = 0, k = 0, 1, 2,..., N q (1.
A SPECTRAL CHARACTERIZATION OF THE BEHAVIOR OF DISCRETE TIME AR-REPRESENTATIONS OVER A FINITE TIME INTERVAL E.N.Antoniou, A.I.G.Vardulakis, N.P.Karampetakis Aristotle University of Thessaloniki Faculty
More informationLOCALLY POSITIVE NONLINEAR SYSTEMS
Int. J. Appl. Math. Comput. Sci. 3 Vol. 3 No. 4 55 59 LOCALLY POSITIVE NONLINEAR SYSTEMS TADEUSZ KACZOREK Institute of Control Industrial Electronics Warsaw University of Technology ul. Koszykowa 75 66
More informationChapter 2: Linear Independence and Bases
MATH20300: Linear Algebra 2 (2016 Chapter 2: Linear Independence and Bases 1 Linear Combinations and Spans Example 11 Consider the vector v (1, 1 R 2 What is the smallest subspace of (the real vector space
More informationInvariance properties in the root sensitivity of time-delay systems with double imaginary roots
Invariance properties in the root sensitivity of time-delay systems with double imaginary roots Elias Jarlebring, Wim Michiels Department of Computer Science, KU Leuven, Celestijnenlaan A, 31 Heverlee,
More informationIN SIGNAL processing theory, a linear, time-invariant (LTI),
106 IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I: REGULAR PAPERS, VOL. 53, NO. 1, JANUARY 2006 A Note on Impulse Response for Continuous, Linear, Time-Invariant, Continuous-Time Systems Maurizio Ciampa,
More informationOn Friedrichs inequality, Helmholtz decomposition, vector potentials, and the div-curl lemma. Ben Schweizer 1
On Friedrichs inequality, Helmholtz decomposition, vector potentials, and the div-curl lemma Ben Schweizer 1 January 16, 2017 Abstract: We study connections between four different types of results that
More informationOn the classification of isoparametric hypersurfaces with four distinct principal curvatures in spheres
Annals of Mathematics, 168 (2008), 1011 1024 On the classification of isoparametric hypersurfaces with four distinct principal curvatures in spheres By Stefan Immervoll Abstract In this paper we give a
More informationEXTERNALLY AND INTERNALLY POSITIVE TIME-VARYING LINEAR SYSTEMS
Int. J. Appl. Math. Comput. Sci., 1, Vol.11, No.4, 957 964 EXTERNALLY AND INTERNALLY POSITIVE TIME-VARYING LINEAR SYSTEMS Tadeusz KACZOREK The notions of externally and internally positive time-varying
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 informationSome Inequalities for Commutators of Bounded Linear Operators in Hilbert Spaces
Some Inequalities for Commutators of Bounded Linear Operators in Hilbert Spaces S.S. Dragomir Abstract. Some new inequalities for commutators that complement and in some instances improve recent results
More informationA revisit to a reverse-order law for generalized inverses of a matrix product and its variations
A revisit to a reverse-order law for generalized inverses of a matrix product and its variations Yongge Tian CEMA, Central University of Finance and Economics, Beijing 100081, China Abstract. For a pair
More informationAnalysis of behavior of a simple eigenvalue of singular system
Proceedings of the 213 International onference on Systems, ontrol and Informatics nalysis of behavior of a simple eigenvalue of singular system Maria Isabel García-Planas, Sonia Tarragona Matemàtica plicada
More informationb i (µ, x, s) ei ϕ(x) µ s (dx) ds (2) i=1
NONLINEAR EVOLTION EQATIONS FOR MEASRES ON INFINITE DIMENSIONAL SPACES V.I. Bogachev 1, G. Da Prato 2, M. Röckner 3, S.V. Shaposhnikov 1 The goal of this work is to prove the existence of a solution to
More informationREGLERTEKNIK AUTOMATIC CONTROL LINKÖPING
Generating state space equations from a bond graph with dependent storage elements using singular perturbation theory. Krister Edstrom Department of Electrical Engineering Linkoping University, S-58 83
More informationA DECOMPOSITION THEOREM FOR FRAMES AND THE FEICHTINGER CONJECTURE
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 A DECOMPOSITION THEOREM FOR FRAMES AND THE FEICHTINGER CONJECTURE PETER G. CASAZZA, GITTA KUTYNIOK,
More informationOn the projection onto a finitely generated cone
Acta Cybernetica 00 (0000) 1 15. On the projection onto a finitely generated cone Miklós Ujvári Abstract In the paper we study the properties of the projection onto a finitely generated cone. We show for
More informationControl Systems Design, SC4026. SC4026 Fall 2010, dr. A. Abate, DCSC, TU Delft
Control Systems Design, SC4026 SC4026 Fall 2010, dr. A. Abate, DCSC, TU Delft Lecture 4 Controllability (a.k.a. Reachability) and Observability Algebraic Tests (Kalman rank condition & Hautus test) A few
More informationBulletin of the. Iranian Mathematical Society
ISSN 1017-060X (Print ISSN 1735-8515 (Online Bulletin of the Iranian Mathematical Society Vol 42 (2016, No 1, pp 53 60 Title The reverse order law for Moore-Penrose inverses of operators on Hilbert C*-modules
More informationThe best generalised inverse of the linear operator in normed linear space
Linear Algebra and its Applications 420 (2007) 9 19 www.elsevier.com/locate/laa The best generalised inverse of the linear operator in normed linear space Ping Liu, Yu-wen Wang School of Mathematics and
More informationSpectral inequalities and equalities involving products of matrices
Spectral inequalities and equalities involving products of matrices Chi-Kwong Li 1 Department of Mathematics, College of William & Mary, Williamsburg, Virginia 23187 (ckli@math.wm.edu) Yiu-Tung Poon 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 informationOperators with Compatible Ranges
Filomat : (7), 579 585 https://doiorg/98/fil7579d Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://wwwpmfniacrs/filomat Operators with Compatible Ranges
More informationHow to sharpen a tridiagonal pair
How to sharpen a tridiagonal pair Tatsuro Ito and Paul Terwilliger arxiv:0807.3990v1 [math.ra] 25 Jul 2008 Abstract Let F denote a field and let V denote a vector space over F with finite positive dimension.
More information