Impulse Controllability: From Descriptor Systems to Higher Order DAEs

Impulsive solutions in LTI dynamical systems have received ample attention, but primarily for descriptor systems, i.e., first order Differential Algebraic Equations (DAEs). This paper focuses on the impulsive behavior of higher order dynamical systems and analyzes the causes of impulses in the context of interconnection of one or more dynamical systems. We extend the definition of impulse-controllability to the higher order case. Amongst the various nonequivalent notions of impulse-controllability for first order systems available in the literature, which mostly rely on the input/output structure of the system, our definition, based on a so-called state-map obtained directly from the system equations, generalizes many key first order results to the higher order case. In particular, we show that our higher-order-extension of the definition of impulse controllability generalizes the equivalence between impulse controllability and the ability to eliminate impulses in the closed loop by interconnecting with a suitable controller. This requires an extension of the definition of regularity of interconnection from behaviors involving only smooth trajectories to behaviors on the positive half line involving impulsive-smooth trajectories.

[1]  A. Pugh,et al.  Equivalence of AR-Representations in the Light of the Impulsive-Smooth Behavior , 2007, Proceedings of the 44th IEEE Conference on Decision and Control.

[2]  J. Willems,et al.  Singular optimal control: A geometric approach , 1986 .

[3]  Jan C. Willems,et al.  Introduction to mathematical systems theory: a behavioral approach, Texts in Applied Mathematics 26 , 1999 .

[4]  Vakhtang Lomadze,et al.  Smooth/impulsive linear systems: Axiomatic description , 2010 .

[5]  T. Kailath,et al.  A generalized state-space for singular systems , 1981 .

[6]  Paolo Rapisarda,et al.  Stability of Switched Linear Differential Systems , 2013, IEEE Transactions on Automatic Control.

[7]  Thomas Kailath,et al.  Linear Systems , 1980 .

[8]  M. Belur,et al.  Impulse free interconnection of dynamical systems , 2010 .

[9]  Ton Geerts Higher-order continuous-time implicit systems: Consistency and weak consistency, impulse controllability, geometric concepts, and invertibility properties , 1996 .

[10]  H. Rosenbrock Structural properties of linear dynamical systems , 1974 .

[11]  J. Willems On interconnections, control, and feedback , 1997, IEEE Trans. Autom. Control..

[12]  C. Praagman,et al.  A note on finite memory in locally square integrable systems , 1992 .

[13]  C. Praagman Inputs, outputs and states in the representation of time series , 1988 .

[14]  J. Willems,et al.  State Maps for Linear Systems , 1994 .

[15]  J. M. Schumacher,et al.  Impulsive-smooth behavior in multimode systems part I: State-space and polynomial representations , 1996, Autom..

[16]  Arjan van der Schaft,et al.  Canonical realizations by factorization of constant matrices , 2012, Syst. Control. Lett..

[17]  L. Silverman,et al.  System structure and singular control , 1983 .

[18]  Harry L. Trentelman,et al.  On the Parametrization of All Regularly Implementing and Stabilizing Controllers , 2007, SIAM J. Control. Optim..

[19]  Cornelis Praagman Invariants of polynomial matrices , 1991 .

[20]  F. Rotella Singular Systems , 1992, Concise Encyclopedia of Modelling & Simulation.

[21]  Kiyotsugu Takaba,et al.  Concatenability of behaviors in hybrid system interconnection , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[22]  D. Cobb Controllability, observability, and duality in singular systems , 1984 .

[23]  Jeffrey S. Rosenthal,et al.  Introduction to mathematical systems theory. a behavioral approach [Book Review] , 2002, IEEE Transactions on Automatic Control.

[24]  João Yoshiyuki Ishihara,et al.  Impulse controllability and observability of rectangular descriptor systems , 2001, IEEE Trans. Autom. Control..

[25]  Ming Hou,et al.  Controllability and elimination of impulsive modes in descriptor systems , 2004, IEEE Transactions on Automatic Control.

[26]  A. Vardulakis Linear Multivariable Control: Algebraic Analysis and Synthesis Methods , 1991 .

[27]  Margreta Kuijper,et al.  Why do stabilizing controllers stabilize? , 1995, Autom..

[28]  Vakhtang Lomadze On the regular feedback interconnection problem , 2006 .

[29]  T. Berger,et al.  Hamburger Beiträge zur Angewandten Mathematik Controllability of linear differential-algebraic systems-A survey , 2012 .

[30]  A. Geerts,et al.  Impulsive-smooth behavior in multimode systems , 1994 .