, We discuss the differences of the two explicitation procedure in Remark 3.2.5 of Chapter 3 for linear DAE systems and show in Theorem 4.3.27 that a nonlinear DAE ? = (E, F ) admits an explicitation without driving variables if and only if the distribution defined by ker E(x) is of constant rank and involutive, which also explains when ? is externally equivalent to a SE DAE ? se . 4. Connections between DAE and ODE systems. The connections between the two classes of systems are built up depending on the results that the external (feedback) equivalence for DAE systems is a true counterpart of the system (feedback) equivalence (the (extended) Morse equivalence for the linear case) for ODE systems, order to "explicitate" the "implicit" DAE systems and connect DAE systems with ODE systems, we propose two kinds of explicitation procedures, i.e., the explicitation with driving variables (or (Q, v)-explicitation) and without driving variables (or (Q, P )-explicitation)

, 1) to simplify the construction of the Morse normal form MNF (Proposition 3.3.2) of classical ODE control systems and then the MTF and MNF are generalized, respectively, to the extended Morse triangular form EMTF (Theorem 3.3.4) and the extended Morse normal form EMNF (Theorem 3.3.5) for ODE control systems with two kinds of inputs

H. and J. M. Schumacher, A nine-fold canonical decomposition for linear systems, International Journal of Control, vol.39, pp.779-805, 1984.

J. D. Aplevich, Minimal representations of implicit linear systems, Automatica, vol.21, pp.259-269, 1985.

H. Arai, K. Tanie, and A. N. Shiroma, Nonholonomic control of a three-dof planar underactuated manipulator, IEEE Transactions on Robotics and Automation, vol.14, pp.681-695, 1998.

E. Aranda-bricaire-and-r and . Hirschorn, Equivalence of nonlinear systems to prime systems under generalized output transformations, SIAM Journal on Control and Optimization, vol.37, pp.118-130, 1998.

E. Aranda-bricaire, C. Moog, and A. Pomet, A linear algebraic framework for dynamic feedback linearization, IEEE Transactions on Automatic Control, vol.40, pp.127-132, 1995.

R. Bachmann, L. Brüll, T. Mrziglod, and A. U. Pallaske, On methods for reducing the index of differential algebraic equations, Computers & Chemical Engineering, vol.14, pp.1271-1273, 1990.

G. Basile-and-g and . Marro, Controlled and conditioned invariant subspaces in linear system theory, Journal of Optimization Theory and Applications, vol.3, pp.306-315, 1969.

, On the observability of linear, time-invariant systems with unknown inputs, Journal of Optimization Theory and Applications, vol.3, pp.410-415, 1969.

, Controlled and Conditioned Invariants in Linear System Theory, 1992.

T. Beelen and P. Van-dooren, An improved algorithm for the computation of Kronecker's canonical form of a singular pencil, Linear Algebra and its Applications, vol.105, pp.9-65, 1988.

T. Berger, BIBLIOGRAPHY [12] , Controlled invariance for nonlinear differential-algebraic systems, On Differential-Algebraic Control Systems, Univ.-Verlag, vol.64, pp.226-233, 2013.

, The zero dynamics form for nonlinear differential-algebraic systems, IEEE Transactions on Automatic Control, pp.1-1, 2016.

, Disturbance decoupling by behavioral feedback for linear differentialalgebraic systems, Automatica, pp.272-283, 2017.

T. Berger, A. Ilchmann, and A. T. Reis, Zero dynamics and funnel control of linear differential-algebraic systems, Mathematics of Control, Signals, and Systems, vol.24, pp.219-263, 2012.

T. Berger, A. Ilchmann, and A. S. Trenn, The quasi-Weierstraß form for regular matrix pencils, Linear Algebra and its Applications, vol.436, pp.4052-4069, 2012.

T. Berger-and-t and . Reis, Controllability of linear differential-algebraic systems-a survey, Surveys in Differential-Algebraic Equations I, pp.1-61, 2013.

, Regularization of linear time-invariant differential-algebraic systems, Systems & Control Letters, vol.78, pp.40-46, 2015.

T. Berger, T. Reis, and A. S. Trenn, Observability of linear differential-algebraic systems: a survey, Surveys in Differential-Algebraic Equations IV, pp.161-219, 2017.

T. Berger-and-s and . Trenn, The quasi-Kronecker form for matrix pencils, SIAM Journal on Matrix Analysis and Applications, vol.33, pp.336-368, 2012.

T. Berger-and-s and . Trenn, Addition to "The quasi-Kronecker form for matrix pencils, SIAM Journal on Matrix Analysis and Applications, vol.34, pp.94-101, 2013.

P. Betsch-and-p and . Steinmann, A DAE approach to flexible multibody dynamics, Multibody System Dynamics, vol.8, pp.365-389, 2002.

W. Blajer, Modelling of aircraft program motion with application to circular loop simulation, The Aeronautical Journal, vol.92, pp.289-296, 1988.

W. Blajer, J. Graffstein, and A. M. Krawczyk, Prediction of the dynamic characteristics and control of aircraft in prescribed trajectory flight, Journal of Theoretical and Applied Mechanics, vol.39, pp.79-103, 2001.

W. Blajer-and-k and . Ko?odziejczyk, A geometric approach to solving problems of control constraints: theory and a DAE framework, Multibody System Dynamics, vol.11, pp.343-364, 2004.

, Control of underactuated mechanical systems with servo-constraints, Nonlinear Dynamics, vol.50, pp.781-791, 2007.

M. E. Bonilla-and-m and . Malabre, External reachability (reachability with pole assignment by PD feedback) for implicit descriptions, Kybernetika, vol.29, pp.499-510, 1993.

K. E. Brenan, S. L. Campbell, and L. R. Petzold, Numerical Solution of Initial-Value Problems in Differential-Algebraic Equations, vol.14, 1996.

R. W. Brockett, Feedback invariants for nonlinear systems, IFAC Proceedings Volumes, vol.11, pp.1115-1120, 1978.

, Finite Dimensional Linear Systems, vol.74, 2015.

P. Brunovsk?, A classification of linear controllable systems, Kybernetika, vol.6, pp.173-188, 1970.

A. Bunse-gerstner, R. Byers, V. Mehrmann, and N. K. Nichols, Feedback design for regularizing descriptor systems, Linear Algebra and its Applications, vol.299, pp.119-151, 1999.

G. Byrne-and-p and . Ponzi, Differential-algebraic systems, their applications and solutions, Computers & Chemical Engineering, vol.12, pp.377-382, 1988.

S. Campbell, R. Nikoukhah, and A. F. Delebecque, Nonlinear descriptor systems, Advances in Control, pp.247-281, 1999.

S. L. Campbell, High-index differential algebraic equations, Journal of Structural Mechanics, vol.23, pp.199-222, 1995.

S. L. Campbell-and-s and . Campbell, Singular Systems of Differential Equations, vol.1, 1980.

S. L. Campbell-and-c and . Gear, The index of general nonlinear DAEs, Numerische Mathematik, vol.72, pp.173-196, 1995.

S. L. Campbell-and-e and . Griepentrog, Solvability of general differential algebraic equations, SIAM Journal on Scientific Computing, vol.16, pp.257-270, 1995.

B. Charlet, J. Lévine, and A. R. Marino, On dynamic feedback linearization, Systems & Control Letters, vol.13, pp.143-151, 1989.

, Sufficient conditions for dynamic state feedback linearization, SIAM Journal on Control and Optimization, vol.29, pp.38-57, 1991.

C. C. Cheah-and-d and . Wang, Learning control for a class of nonlinear differentialalgebraic systems with application to constrained robots, Journal of Robotic Systems, vol.13, pp.141-151, 1996.

B. M. Chen, X. Liu, and A. Z. Lin, Interconnection of Kronecker canonical form and special coordinate basis of multivariable linear systems, Systems & Control Letters, vol.57, pp.28-33, 2008.

C. Chen, Linear System Theory and Design, 1998.

M. Chen, . Al, H. Robust, and . Control, , 2000.

Y. Chen-and-w and . Respondek, Feedback linearization and controlled invariant submanifold of nonlinear differential-algebraic control systems, 2019.

, From Morse triangular form of ODE control systems to feedback canonical form of DAE control systems, 2019.

, Geometric analysis of linear differential-algebraic equations via linear control theory, 2019.

, Geometric analysis of nonlinear differential-algebraic equations via nonlinear control theory, 2019.

, Internal and external linearization of semi-explicit differential-algebraic equations, 2019.

D. Cheng, A. Isidori, W. Respondek, and T. J. Tarn, Exact linearization of nonlinear systems with outputs, Mathematical Systems Theory, vol.21, pp.63-83, 1988.

L. Chua, T. Matsumoto, and A. S. Ichiraku, Geometric properties of resistive nonlinear n-ports: transversality, structural stability, reciprocity, and antireciprocity, IEEE Transactions on Circuits and Systems, vol.27, pp.577-603, 1980.

L. O. Chua and H. Oka, Normal forms for constrained nonlinear differential equations. I. Theory, IEEE Transactions on Circuits and Systems, vol.35, pp.881-901, 1988.

D. Claude, Everything you always wanted to know about linearization, Algebraic and Geometric Methods in Nonlinear Control Theory, pp.181-226, 1986.

D. Cobb, Feedback and pole placement in descriptor variable systems, International Journal of Control, vol.33, pp.1135-1146, 1981.

, Controllability, observability, and duality in singular systems, IEEE Transactions on Automatic Control, vol.29, pp.1076-1082, 1984.

G. Costantini, S. Trenn, and A. F. Vasca, Regularity and passivity for jump rules in linear switched systems, 52nd IEEE Conference on Decision and Control, pp.4030-4035, 2013.

J. J. Craig, Pearson/Prentice Hall Upper Saddle River, Introduction to Robotics: Mechanics and Control, vol.3, 2005.

P. S. Silva-and-c and . Filho, Relative flatness and flatness of implicit systems, SIAM Journal on Control and Optimization, vol.39, pp.1929-1951, 2001.

L. Dai, Singular Control Systems, vol.118, 1989.

P. Daoutidis, DAEs in model reduction of chemical processes: an overview, Surveys in Differential-Algebraic Equations II, pp.69-102, 2015.

C. De-persis-and-a and . Isidori, A geometric approach to nonlinear fault detection and isolation, IEEE Transactions on Automatic Control, vol.46, pp.853-865, 2001.

P. V. Dooren, The computation of Kronecker's canonical form of a singular pencil, Linear Algebra and its Applications, vol.27, pp.103-140, 1979.

D. Schwarz-and-c and . Tischendorf, Structural analysis of electric circuits and consequences for mna, International Journal of Circuit Theory and Applications, vol.28, pp.131-162, 2000.

P. Ferreira, On system equivalence, IEEE Transactions on Automatic Control, vol.32, pp.619-621, 1987.

L. R. Fletcher-and-a and . Aasaraai, On disturbance decoupling in decsriptor systems, SIAM Journal on Control and Optimization, vol.27, pp.1319-1332, 1989.

M. Fliess, A note on the invertibility of nonlinear input-output differential systems, Systems & Control letters, vol.8, pp.147-151, 1986.

M. Fliess-and-m and . Hasler, Questioning the classic state-space description via circuit examples, Realization and Modelling in System Theory, pp.1-12, 1990.

M. Fliess, J. Lévine, P. Martin, and A. P. Rouchon, Flatness and defect of nonlinear systems: introductory theory and examples, International Journal of Control, pp.1327-1361, 1995.

M. Fliess, J. Levine, P. Martin, and A. P. Rouchon, Implicit differential equations and Lie-Backlund mappings, Proceedings of the 34th IEEE Conference on Decision and Control, vol.3, pp.2704-2709, 1995.

M. Fliess, J. Lévine, P. Martin, and A. P. Rouchon, Index and decomposition of nonlinear implicit differential equations, IFAC Proceedings Volumes, vol.28, pp.37-42, 1995.

, A Lie-Backlund approach to equivalence and flatness of nonlinear systems, IEEE Transactions on Automatic Control, vol.44, pp.922-937, 1999.

M. Fliess, J. Levine, and A. P. Rouchon, A simplified approach of crane control via a generalized state-space model, Proceedings of the 30th IEEE Conference on Decision and Control, pp.736-741, 1991.

M. Fliess, P. Martin, N. Petit, and A. P. Rouchon, Active signal restoration for the telegraph equation, Proceedings of the 38th IEEE Conference on Decision and Control, vol.2, pp.1107-1111, 1999.

H. Frankowska, On controllability and observability of implicit systems, Systems & Control Letters, vol.14, pp.219-225, 1990.

F. Gantmacher, The Theory of Matrices, 1959.

C. W. Gear, Differential-algebraic equation index transformations, SIAM Journal on Scientific and Statistical Computing, vol.9, pp.39-47, 1988.

, Differential algebraic equations, indices, and integral algebraic equations, SIAM Journal on Numerical Analysis, pp.1527-1534, 1990.

C. W. Gear-and-l and . Petzold, ODE methods for the solution of differential/algebraic systems, SIAM Journal on Numerical Analysis, vol.21, pp.716-728, 1984.

T. Geerts, Invariant subspaces and invertibility properties for singular systems: The general case, Linear algebra and its applications, vol.183, pp.61-88, 1993.

H. Glüsing-lüerben, Feedback canonical form for singular systems, International Journal of Control, vol.52, pp.347-376, 1990.

V. Gol'dshtein-and-v and . Sobolev, Qualitative analysis of singularly perturbed systems of chemical kinetics, Singularity Theory and Some Problems of Functional Analysis, pp.73-92, 1992.

H. Goldstein and C. Mechanics, , 2011.

C. Grand, F. B. Amar, P. Bidaud, and A. G. Andrade, A simulation system for behaviour evaluation of off-road mobile robots, Proceedings CLAWAR's of the International Conference on Climbing and Walking Robots, pp.307-314, 2001.

P. M. Gresho, Incompressible fluid dynamics: some fundamental formulation issues, Annual Review of Fluid Mechanics, vol.23, pp.413-453, 1991.

U. A. Helmke-and-m and . Shayman, A canonical form for controllable singular systems, Systems & Control letters, vol.12, pp.111-122, 1989.

R. Hirschorn, B)-invariant distributions and disturbance decoupling of nonlinear systems, SIAM Journal on Control and Optimization, vol.19, pp.1-19, 1981.

L. Hunt-and-r and . Su, Linear equivalents of nonlinear time-varying systems, Proc . Int . Symposium on Math. Theory of Networks and Systems, pp.119-123, 1981.

L. Hunt, R. Su, and A. G. Meyer, Global transformations of nonlinear systems, IEEE Transactions on Automatic Control, vol.28, pp.24-31, 1983.

J. Imura, K. Kobayashi, and A. T. Yoshikawa, Nonholonomic control of 3 link planar manipulator with a free joint, Proceedings of the 35th IEEE Conference on Decision and Control, vol.2, pp.1435-1436, 1996.

M. Ishikawa, R. Kitayoshi, and A. T. Sugie, Volvot: A spherical mobile robot with eccentric twin rotors, IEEE International Conference on Robotics and Biomimetics (ROBIO), pp.1462-1467, 2011.

A. Isidori, Nonlinear feedback, structure at infinity and the input-output linearization problem, Mathematical Theory of Networks and Systems, pp.473-493, 1984.

A. Isidori, Nonlinear Control Systems, 1995.

A. Isidori, A. Krener, C. Gori-giorgi, and A. S. Monaco, Locally (f, g) invariant distributions, Systems & Control letters, vol.1, pp.12-15, 1981.

A. Isidori, A. Krener, C. Gori-giorgi, and A. S. Monaco, Nonlinear decoupling via feedback: a differential geometric approach, IEEE Transactions on Automatic Control, vol.26, pp.331-345, 1981.

A. Isidori-and-c and . Moog, On the nonlinear equivalent of the notion of transmission zeros, Modelling and Adaptive Control, pp.146-158, 1988.

A. Isidori-and-a and . Ruberti, On the synthesis of linear input-output responses for nonlinear systems, Systems Control Letters, vol.4, pp.17-22, 1984.

S. Jaffe-and-n and . Karcanias, Matrix pencil characterization of almost (A, Z)-invariant subspaces: A classification of geometric concepts, International Journal of Control, vol.33, pp.51-93, 1981.

B. Jakubczyk-and-w and . Respondek, On linearization of control systems, Bull. Acad. Polonaise Sci. Ser. Sci. Math, pp.517-522, 1980.

K. Jankowski, Dynamics of controlled mechanical systems with material and program constraints-III. Illustrative examples, Mechanism and Machine Theory, vol.24, pp.175-179, 1989.

K. P. Jankowski and H. Van-brussel, Inverse dynamics task control of flexible joint robots-I: Continuous-time approach, Mechanism and Machine Theory, vol.28, pp.741-749, 1993.

Z. Jiandong-and-c and . Zhaolin, Exact linearization for a class of nonlinear differential-algebraic systems, Proceedings of the 4th World Congress on Intelligent Control and Automation, vol.1, pp.211-214, 2002.

T. Kailath, Linear Systems, vol.156, 1980.

R. Kalman, On the general theory of control systems, IRE Transactions on Automatic Control, vol.4, pp.110-110, 1959.

R. Kalman, K. Stanford, . Dept, and . Operations-research, , 1971.

R. E. Kalman, Canonical structure of linear dynamical systems, Proceedings of the National Academy of Sciences, vol.48, pp.596-600, 1962.

R. E. Kalman, Mathematical description of linear dynamical systems, Journal of the Society for Industrial and Applied Mathematics, Series A: Control, vol.1, pp.152-192, 1963.

S. Kaprielian, K. Clements, and A. J. Turi, Feedback stabilization for an AC/DC power system model, Proceedings of the 29th IEEE Conference on Decision and Control, pp.3367-3372, 1990.

O. Kato-and-i and . Sugiura, An interpretation of airplane general motion and contol as inverse problem, Journal of Guidance, Control, and Dynamics, vol.9, pp.198-204, 1986.

R. Kausal-and-s and . Trenn, Impulses in structured nonlinear switched DAEs, IEEE 56th Annual Conference on Decision and Control (CDC), pp.3181-3186, 2017.

R. Kausar-and-s and . Trenn, Water hammer modeling for water networks via hyperbolic PDEs and switched DAEs, XVI International Conference on Hyperbolic Problems: Theory, Numerics, Applications, pp.123-135, 2016.

S. Z. Kawaji-and-e and . Taha, Feedback linearization of a class of nonlinear descriptor systems, Proceedings of the 33rd IEEE Conference on Decision and Control, vol.4, pp.4035-4037, 1994.

S. Kobayashi-and-k and . Nomizu, Foundations of differential geometry, vol.1, 1963.

J. Kovecses, J. Piedboeuf, and A. C. Lange, Dynamics modeling and simulation of constrained robotic systems, IEEE/ASME Transactions on Mechatronics, vol.8, pp.165-177, 2003.

A. J. Krener, (ad_f,g) and locally (ad_f,g) invariant and controllability distributions, Conditioned invariant and locally conditioned invariant distributions, vol.23, pp.69-74, 1985.

H. H. Krishnan-and-n and . Mcclamroch, Tracking in nonlinear differentialalgebraic control systems with applications to constrained robot systems, Automatica, vol.30, pp.1885-1897, 1994.

L. Kronecker, Algebraische Reduction der Schaaren bilinearer Formen, p.1890

M. Kuijper and J. M. Schumacher, Minimality of descriptor representations under external equivalence, Automatica, vol.27, pp.985-995, 1991.

A. Kumar-and-p and . Daoutidis, Feedback control of nonlinear differentialalgebraic-equation systems, AIChE Journal, pp.619-636, 1995.

, Control of nonlinear differential algebraic equation systems: an overview, Nonlinear Model Based Process Control, pp.311-344, 1998.

, Control of Nonlinear Differential Algebraic Equation Systems with Applications to Chemical Processes, vol.397, 1999.

P. Kunkel-and-v and . Mehrmann, Index reduction for differential-algebraic equations by minimal extension, ZAMM-Journal of Applied Mathematics and Mechanics/Zeitschrift für Angewandte Mathematik und Mechanik: Applied Mathematics and Mechanics, vol.84, pp.579-597, 2004.

G. L. Vey, Some remarks on solvability and various indices for implicit differential equations, Numerical Algorithms, vol.19, pp.127-145, 1998.

G. Lebret and J. J. Loiseau, Proportional and proportional-derivative canonical forms for descriptor systems with outputs, Automatica, vol.30, pp.847-864, 1994.
URL : https://hal.archives-ouvertes.fr/hal-01147215

J. Lévine, On necessary and sufficient conditions for differential flatness, Applicable Algebra in Engineering, vol.22, pp.47-90, 2011.

F. Lewis-and-k and . Ozcaldiran, Geometric structure and feedback in singular systems, IEEE Transactions on Automatic Control, vol.34, pp.450-455, 1989.

F. L. Lewis, A survey of linear singular systems, Circuits, Systems and Signal Processing, vol.5, pp.3-36, 1986.

, A tutorial on the geometric analysis of linear time-invariant implicit systems, Automatica, vol.28, pp.119-137, 1992.

X. Liu*-and-d and . Ho, Stabilization of non-linear differential-algebraic equation systems, International Journal of Control, vol.77, pp.671-684, 2004.

J. Loiseau, Some geometric considerations about the Kronecker normal form, International Journal of Control, vol.42, pp.1411-1431, 1985.

J. J. Loiseau, K. Özçaldiran, M. Malabre, and A. N. Karcanias, Feedback canonical forms of singular systems, Kybernetika, vol.27, pp.289-305, 1991.

J. J. Loiseau-and-p and . Zagalak, On pole structure assignment in linear systems, International Journal of Control, vol.82, pp.1179-1192, 2009.

D. G. Luenberger, Time-invariant descriptor systems, Automatica, vol.14, pp.473-480, 1978.

D. G. Luenberger-and-a and . Arbel, Singular dynamic Leontief systems, Econometrica, Journal of the Econometric Society, pp.991-995, 1977.

M. Malabre, More geometry about singular systems, 26th IEEE Conference on Decision and Control, vol.26, pp.1138-1139, 1987.

, Generalized linear systems: geometric and structural approaches, Linear Algebra and its Applications, vol.122, pp.591-621, 1989.

M. Malabre, V. Ku?era, and A. P. Zagalak, Reachability and controllability indices for linear descriptor systems, Systems & Control Letters, pp.119-123, 1990.

M. Manderla, D. Schmitt, and A. U. Konigorski, Modelling, simulation and control of a redundant parallel robotic manipulator based on invariant manifolds, Mathematical and Computer Modelling of Dynamical Systems, vol.16, pp.95-113, 2010.

R. Marino, W. Respondek, A. A. Van-der, and . Schaft, Equivalence of nonlinear systems to input-output prime forms, SIAM Journal on Control and Optimization, vol.32, pp.387-407, 1994.

S. E. Mattsson-and-g and . Söderlind, Index reduction in differential-algebraic equations using dummy derivatives, SIAM Journal on Scientific Computing, vol.14, pp.677-692, 1993.

N. Mcclamroch, Singular systems of differential equations as dynamic models for constrained robot systems, Proceedings of IEEE International Conference on Robotics and Automation, vol.3, pp.21-28, 1986.

V. Mehrmann-and-t and . Stykel, Descriptor systems: a general mathematical framework for modelling, simulation and control, Automatisierungstechnik, vol.54, pp.405-415, 2006.

S. Moberg, Modeling and Control of Flexible Manipulators, 2010.

B. Molinari, A strong controllability and observability in linear multivariable control, IEEE Transactions on Automatic Control, vol.21, pp.761-764, 1976.

B. P. Molinari, Structural invariants of linear multivariable systems, International Journal of Control, vol.28, pp.493-510, 1978.

A. Morse, Structural invariants of linear multivariable systems, SIAM Journal on Control, vol.11, pp.446-465, 1973.

A. Morse, System invariants under feedback and cascade control, Mathematical Systems Theory, pp.61-74, 1976.

A. Morse-and-w and . Wonham, Status of noninteracting control, IEEE Transactions on Automatic Control, vol.16, pp.568-581, 1971.

H. Nijmeijer-and-w and . Respondek, Dynamic input-output decoupling of nonlinear control systems, IEEE transactions on Automatic control, vol.33, pp.1065-1070, 1988.

H. Nijmeijer-and-a, . Van-der, and . Schaft, Controlled invariance for nonlinear systems, IEEE Transactions on Automatic Control, vol.27, pp.904-914, 1982.

H. Nijmeijer-and-a, . Van-der, and . Schaft, Nonlinear Dynamical Control Systems, vol.175, 1990.

K. Özçaldiran, A geometric characterization of the reachable and the controllable subspaces of descriptor systems, Circuits, Systems and Signal Processing, vol.5, pp.37-48, 1986.

K. Ozcaldiran, A complete classification of controllable singular systems, 29th IEEE Conference on Decision and Control, pp.3596-3597, 1990.

C. Pantelides, D. Gritsis, K. Morison, and A. R. Sargent, The mathematical modelling of transient systems using differential-algebraic equations, Computers & Chemical Engineering, vol.12, pp.449-454, 1988.

F. Pasqualetti, F. Dörfler, and A. F. Bullo, Attack detection and identification in cyber-physical systems, IEEE Transactions on Automatic Control, vol.58, pp.2715-2729, 2013.

P. S. Pereira, A. S. Silva, and . Batista, On state representations of nonlinear implicit systems, International Journal of Control, vol.83, pp.441-456, 2010.

L. Petzold, Differential/algebraic equations are not ODE's, SIAM Journal on Scientific and Statistical Computing, vol.3, pp.367-384, 1982.

P. J. Rabier-and-w and . Rheinboldt, A geometric treatment of implicit differential-algebraic equations, Journal of Differential Equations, vol.109, pp.110-146, 1994.

, Nonholonomic Motion of Rigid Mechanical Systems from a DAE Viewpoint, vol.68, 2000.

P. J. Rabier, W. C. Rheinboldt, and E. T. Al, A general existence and uniqueness theory for implicit differential-algebraic equations, Differential and Integral Equations, vol.4, pp.563-582, 1991.

S. Reich, On a geometrical interpretation of differential-algebraic equations, Systems, and Signal Processing, vol.9, pp.367-382, 1990.

, On an existence and uniqueness theory for nonlinear differential-algebraic equations, Circuits, Systems and Signal Processing, vol.10, pp.343-359, 1991.

W. Respondek, Geometric methods in linearization of control systems, Banach Center Publications, vol.1, pp.453-467, 1985.

W. C. Rheinboldt, Differential-algebraic systems as differential equations on manifolds, Mathematics of Computation, vol.43, pp.473-482, 1984.

R. Riaza, Differential-Algebraic Systems: Analytical Aspects and Circuit Applications, 2008.

, DAEs in circuit modelling: a survey, Surveys in Differential-Algebraic Equations I, pp.97-136, 2013.

H. H. Rosenbrock, State-space and Multivariable Theory, 1970.

, Structural properties of linear dynamical systems, International Journal of Control, vol.20, pp.191-202, 1974.

P. Rouchon, M. Fliess, and A. J. Lévine, Kronecker's canonical forms for nonlinear implicit differential systems, System Structure and Control, pp.248-251, 1992.

W. J. Rugh-and-w and . Rugh, Linear System Theory, vol.2, 1996.

S. Sastry-and-c.-desoer, Jump behavior of circuits and systems, IEEE Transactions on Circuits and Systems, vol.28, pp.1109-1124, 1981.

L. Silverman, Inversion of multivariable linear systems, IEEE Transactions on Automatic Control, vol.14, pp.270-276, 1969.

S. N. Singh-and-w and . Rugh, Decoupling in a class of nonlinear systems by state variable feedback, Journal of Dynamic Systems, Measurement, and Control, vol.94, pp.323-329, 1972.

P. Sinha, State feedback decoupling of nonlinear systems, IEEE Transactions on Automatic Control, vol.22, pp.487-489, 1977.

J. Sjöberg, Optimal Control and Model Reduction of Nonlinear DAE Models, 2008.

M. S. Soto-and-c and . Tischendorf, Numerical analysis of DAEs from coupled circuit and semiconductor simulation, Applied Numerical Mathematics, vol.53, pp.471-488, 2005.

A. Steinbrecher, Numerical Solution of Quasi-Linear Differential-Algebraic Equations and Industrial Simulation of Multibody Systems, 2006.

R. Su, On the linear equivalents of nonlinear systems, Systems Control Letters, vol.2, pp.48-52, 1982.

F. Takens, Constrained equations; a study of implicit differential equations and their discontinuous solutions, Structural Stability, the Theory of Catastrophes, and Applications in the Sciences, pp.143-234, 1976.

I. Tall-and-w and . Respondek, Feedback equivalence of nonlinear control systems: a survey on formal approach, Chaos in Automatic Control, pp.156-281, 2005.

S. Trenn, A normal form for pure differential algebraic systems, Linear Algebra and its Applications, vol.430, pp.1070-1084, 2009.

D. Vafiadis-and-n and . Karcanias, Canonical forms for descriptor systems under restricted system equivalence, Automatica, vol.33, pp.955-958, 1997.

M. Van-nieuwstadt, M. Rathinam, and R. M. Murray, Differential flatness and absolute equivalence, Proceedings of 33rd IEEE Conference on Decision and Control, vol.1, pp.326-332, 1994.

A. Varga, Computation of Kronecker-like forms of a system pencil: Applications, algorithms and software, Proceedings of the 1996 IEEE International Symposium on Computer-Aided Control System Design, pp.77-82, 1996.

J. Wang and C. Chen, Exact linearization of nonlinear differential algebraic systems, 2001 International Conferences on Info-Tech and Info-Net. Proceedings (Cat. No.01EX479), vol.4, pp.284-290, 2001.

K. Weierstrass, Zur theorie der bilinearen und quadratischen formen, Berl. Monatsb, pp.310-338, 1968.

J. Willems, Almost invariant subspaces: an approach to high gain feedback design-Part I: Almost controlled invariant subspaces, IEEE Transactions on Automatic Control, vol.26, pp.235-252, 1981.

, Almost invariant subspaces: an approach to high gain feedback design-Part II: Almost conditionally invariant subspaces, IEEE Transactions on Automatic Control, vol.27, pp.1071-1085, 1982.

J. C. Willems, Input-output and state-space representations of finite-dimensional linear time-invariant systems, Linear Algebra and its Applications, vol.50, pp.581-608, 1983.

J. C. Willems-and-c and . Commault, Disturbance decoupling by measurement feedback with stability or pole placement, SIAM Journal on Control and Optimization, vol.19, pp.490-504, 1981.

K. Wong, The eigenvalue problem ?T x+Sx, Journal of Differential Equations, vol.16, pp.270-280, 1974.

W. Wonham-and-a and . Morse, Feedback invariants of linear multivariable systems, Automatica, vol.8, pp.93-100, 1972.

W. M. Wonham, Linear multivariable control, Optimal Control Theory and its Applications, pp.392-424, 1974.

W. M. Wonham-and-a and . Morse, Decoupling and pole assignment in linear multivariable systems: a geometric approach, SIAM Journal on Control, vol.8, pp.1-18, 1970.

L. Xiaoping, On linearization of nonlinear singular control systems, American Control Conference, pp.2284-2287, 1993.

L. Xiaoping, Asymptotic output tracking of nonlinear differential-algebraic control systems, Automatica, vol.34, pp.393-397, 1998.

L. Xiaoping-and-s and . Celikovsky, Feedback control of affine nonlinear singular control systems, International Journal of Control, vol.68, pp.753-774, 1997.

W. N. Yim-and-s and . Singh, Feedback linearization of differential-algebraic systems and force and position control of manipulators, Dynamics and Control, vol.3, pp.323-352, 1993.

X. Yun-and-n and . Sarkar, Unified formulation of robotic systems with holonomic and nonholonomic constraints, IEEE Transactions on Robotics and Automation, vol.14, pp.640-650, 1998.

E. Zeeman, Differential equations for the heartbeat and nerve impulse, Towards a Theoretical Biology, vol.4, pp.8-67, 1972.