Geometric analysis of differential-algebraic equations via linear control theory

Abstract

We consider linear differential-algebraic equations DAEs and the Kronecker canonical form KCF of the corresponding matrix pencils. We also consider linear control systems and their Morse canonical form MCF. For a linear DAE, a procedure named explicitation is proposed, which attaches to any linear DAE a linear control system defined up to a coordinates change, a feedback transformation and an output injection. Then we compare subspaces associated to a DAE in a geometric way with those associated (also in a geometric way) to a control system, namely, we compare the Wong sequences of DAEs and invariant subspaces of control systems. We prove that the KCF of linear DAEs and the MCF of control systems have a perfect correspondence and that their invariants are related. In this way, we connect the geometric analysis of linear DAEs with the classical geometric linear control theory. Finally, we propose a concept named internal equivalence for DAEs and discuss its relation with internal regularity, i.e., the existence and uniqueness of solutions.

34 pages, submitted to SIAM Journal on Matrix Analysis and Applications

Cited by in corpus (4)

• Geometric analysis of nonlinear differential-algebraic equations via nonlinear control theory
• From Morse Triangular Form of ODE Control Systems to Feedback Canonical Form of DAE Control Systems
• Feedback linearization of nonlinear differential-algebraic control systems
• An approximation for nonlinear differential-algebraic equations via singular perturbation theory