Abstract:We consider linear differential-algebraic equations (DAEs) of the form and the Kronecker canonical form (KCF) [L. Kronecker, Sitzungsberichte der Königlich Preußischen Akademie der Wissenschaften zu Berlin , 1890, pp. 1225--1237] of the corresponding matrix pencils . We also consider linear control systems and their Morse canonical form (MCF) [A. Morse, SIAM J. Control , 11 (1973), pp. 446--465; B. P. Molinari, Internat. J. Control , 28 (1978), pp. 493--510]. For a linear DAE, a procedure called 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 called internal equivalence for DAEs and discuss its relation with internal regularity, i.e., the existence and uniqueness of solutions.

Model theory and the DME: a survey

Differentially Closed Fields: a Model-Theoretic Tour

Model theory of algebraically closed fields

A model theory for meromorphic vector fields

Model Theory of Differentially Closed Fields with a Generic Automorphism

A differential graded model for derived analytic geometry

Six lectures on model theory and differential-algebraic geometry

Poisson Dixmier-Moeglin Equivalence from a Topological Point of View

On diffeologies for power sets and measures

Differential torsion theories on Eilenberg-Moore categories of monads

Some contributions to sheaf model theory

A survey on the model theory of tracial von Neumann algebras

Geometric Analysis of Differential-Algebraic Equations via Linear Control Theory

Commutative families in DIM algebra, integrable many-body systems and q, t matrix models

Existentially closed De Morgan algebras

On Theories of Superalgebras of Differentiable Functions

An Equational Metalogic for Monadic Equational Systems

Differential models for B-type open-closed topological Landau-Ginzburg theories

Towards a Model Theory for Transseries

ALGEBRAS , REPRESENTATIONS AND THEIR DERIVED CATEGORIES OVER FINITE FIELDS

Duality and the equations of Rees rings and tangent algebras