×

Geometric analysis of nonlinear differential-algebraic equations via nonlinear control theory. (English) Zbl 1497.34018

In this paper, the authors consider a nonlinear differential-algebraic equation (DAE) of the form \[ E(x)\dot x=F(x),\tag{1} \] where \(x\in X\) is a vector of the generalized states and \(X\) is an open subset of \(\mathbb R^n\) or an \(n\)-dimensional manifold. Two special cases of the DAE (1), the semi-explicit DAE and the linear one, are also considered. DAEs play an important role in modeling practical systems such as electrical circuits, chemical processes, mechanical systems, etc. In this paper, a geometric analysis of (1) is given using some tools from nonlinear control theory. There are three main results of this paper. The first result concerns analyzing a DAE everywhere (i.e., externally) or considering the restriction of the DAE to a submanifold (i.e., internally), which leads to the notions of external equivalence and internal equivalence, respectively. In order to analyze the existence of solutions, the authors construct the so-called locally maximal invariant submanifold (a manifold where the solutions of a DAE exist) via a geometric reduction method. This is a revised version of the geometric reduction method that was used for DAE control systems. A practical implementation of this method is also described via an algorithm. As the second result, the authors show that for any nonlinear DAE, by introducing the so-called driving variables, one can associate a class of nonlinear control systems. Furthermore, the driving variables in this explicitation procedure can be fully reduced under some involutivity conditions which explains when a nonlinear DAE is equivalent to a semi-explicit one. The last result is to use concepts of the nonlinear control theory such as zero dynamics, relative degree and invariant distributions to derive two nonlinear generalizations of the Weierstrass form which is well known in the case of regular linear DAEs. Some examples are also given for illustrating the main results.

MSC:

34A09 Implicit ordinary differential equations, differential-algebraic equations
34C20 Transformation and reduction of ordinary differential equations and systems, normal forms
34C45 Invariant manifolds for ordinary differential equations
93B27 Geometric methods

References:

[1] Rabier, P. J.; Rheinboldt, W. C., Theoretical and numerical analysis of differential-algebraic equations, (Ciarlet, P. G.; Lions, J. L., Handbook of Numerical Analysis, Volume VIII (2002), Elsevier Science: Elsevier Science Amsterdam, the Netherlands), 183-537 · Zbl 1007.65057
[2] Riaza, R., Differential-Algebraic Systems. Analytical Aspects and Circuit Applications (2008), World Scientific Publishing: World Scientific Publishing Basel · Zbl 1184.34004
[3] Kobayashi, S.; Nomizu, K., Foundations of Differential Geometry, vol. 1 (1963), Interscience · Zbl 0119.37502
[4] Riaza, R., DAEs in circuit modelling: a survey, (Ilchmann, A.; Reis, T., Surveys in Differential-Algebraic Equations I, Differential-Algebraic Equations Forum (2013), Springer-Verlag: Springer-Verlag Berlin-Heidelberg), 97-136 · Zbl 1322.94123
[5] Byrne, G.; Ponzi, P., Differential-algebraic systems, their applications and solutions, Comput. Chem. Eng., 12, 377-382 (1988)
[6] Pantelides, C. C.; Gritsis, D.; Morison, K. R.; Sargen, R. W.H., The mathematical modeling of transient systems using differential-algebraic equations, Comput. Chem. Eng., 12, 449-454 (1988)
[7] Rabier, P. J.; Rheinboldt, W. C., Nonholonomic Motion of Rigid Mechanical Systems from a DAE Viewpoint, vol. 68 (2000), Society for Industrial and Applied Mathematics
[8] Betsch, P.; Steinmann, P., A DAE approach to flexible multibody dynamics, Multibody Syst. Dyn., 8, 365-389 (2002) · Zbl 1043.70003
[9] Blajer, W.; Kołodziejczyk, K., Control of underactuated mechanical systems with servo-constraints, Nonlinear Dyn., 50, 781-791 (2007) · Zbl 1170.70386
[10] Reich, S., On a geometrical interpretation of differential-algebraic equations, Circuits Syst. Signal Process., 9, 367-382 (1990) · Zbl 0719.34114
[11] Reich, S., On an existence and uniqueness theory for nonlinear differential-algebraic equations, Circuits Syst. Signal Process., 10, 343-359 (1991) · Zbl 0793.34003
[12] Rabier, P. J.; Rheinboldt, W. C., A geometric treatment of implicit differential-algebraic equations, J. Differ. Equ., 109, 110-146 (1994) · Zbl 0804.34004
[13] Chen, Y.; Trenn, S., On geometric and differentiation index of nonlinear differential-algebraic equations, IFAC-PapersOnLine, 54, 186-191 (2021)
[14] Berger, T., Controlled invariance for nonlinear differential-algebraic systems, Automatica, 64, 226-233 (2016) · Zbl 1328.93125
[15] Berger, T., The zero dynamics form for nonlinear differential-algebraic systems, IEEE Trans. Autom. Control, 62, 4131-4137 (2017) · Zbl 1373.93069
[16] Chen, Y.; Trenn, S.; Respondek, W., Normal forms and internal regularization of nonlinear differential-algebraic control systems, Int. J. Robust Nonlinear Control, 31, 6562-6584 (2021) · Zbl 1527.93180
[17] Chen, Y.; Trenn, S., An approximation for nonlinear differential-algebraic equations via singular perturbation theory, IFAC-PapersOnLine, 54, 187-192 (2021)
[18] Chen, Y.; Respondek, W., Geometric analysis of differential-algebraic equations via linear control theory, SIAM J. Control Optim., 59, 103-130 (2021) · Zbl 1472.34018
[19] Kronecker, L., Algebraische Reduction der Schaaren bilinearer Formen, 1225-1237 (1890), Sitzungsberichte der Königlich Preußischen Akademie der Wissenschaften zu Berlin · JFM 22.0169.01
[20] Gantmacher, F. R., The Theory of Matrices (Volume II) (1959), Chelsea: Chelsea New York · Zbl 0085.01001
[21] Weierstraß, K., Zur Theorie der bilinearen und quadratischen Formen, 310-338 (1868), Berl. Monatsb. · JFM 01.0054.04
[22] Loiseau, J. J.; Özçaldiran, K.; Malabre, M.; Karcanias, N., Feedback canonical forms of singular systems, Kybernetika, 27, 289-305 (1991) · Zbl 0767.93007
[23] Berger, T.; Ilchmann, A.; Trenn, S., The quasi-Weierstraß form for regular matrix pencils, Linear Algebra Appl., 436, 4052-4069 (2012) · Zbl 1244.15008
[24] Berger, T.; Trenn, S., The quasi-Kronecker form for matrix pencils, SIAM J. Matrix Anal. Appl., 33, 336-368 (2012) · Zbl 1253.15021
[25] Rouchon, P.; Fliess, M.; Lévine, J., Kronecker’s canonical forms for nonlinear implicit differential systems, (System Structure and Control (1992), Pergamon), 248-251
[26] Kumar, A.; Daoutidis, P., Control of Nonlinear Differential Algebraic Equation Systems with Applications to Chemical Processes, Chapman and Hall/CRC Research Notes in Mathematics, vol. 397 (1999), Chapman and Hall: Chapman and Hall Boca Raton, FL · Zbl 0916.93001
[27] Isidori, A., Nonlinear Control Systems, Communications and Control Engineering Series (1995), Springer-Verlag: Springer-Verlag Berlin · Zbl 0569.93034
[28] Nijmeijer, H.; van der Schaft, A. J., Nonlinear Dynamical Control Systems (1990), Springer-Verlag: Springer-Verlag Berlin-Heidelberg-New York · Zbl 0701.93001
[29] Wong, K.-T., The eigenvalue problem \(\lambda T x + S x\), J. Differ. Equ., 16, 270-280 (1974) · Zbl 0327.15015
[30] Dolezal, V., The existence of a continuous basis of a certain linear subspace of \(e_r\) which depends on a parameter, Čas. Pěst. Mat., 089, 466-469 (1964) · Zbl 0187.37103
[31] Grasse, K. A., A vector-bundle version of a theorem of V. Doležal, Linear Algebra Appl., 392, 45-59 (2004) · Zbl 1065.15030
[32] Berger, T.; Reis, T., Regularization of linear time-invariant differential-algebraic systems, Syst. Control Lett., 78, 40-46 (2015) · Zbl 1320.93030
[33] Marino, R.; Respondek, W.; van der Schaft, A., Equivalence of nonlinear systems to input-output prime forms, SIAM J. Control Optim., 32, 387-407 (1994) · Zbl 0796.93049
[34] Morse, A. S., Structural invariants of linear multivariable systems, SIAM J. Control, 11, 446-465 (1973) · Zbl 0259.93011
[35] Chen, Y.; Respondek, W., From Morse triangular form of ODE control systems to feedback canonical form of DAE control systems, J. Franklin Inst., 358, 8556-8592 (2021) · Zbl 1472.93018
[36] Chen, Y., Geometric Analysis of Differential-Algebraic Equations and Control Systems: Linear, Nonlinear and Linearizable (2019), Normandie Université, INSA de Rouen, Ph.D. thesis
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.