Numerical Linear Algebra Methods for Linear Differential-Algebraic Equations

  • Peter Benner
  • Philip Losse
  • Volker Mehrmann
  • Matthias Voigt
Part of the Differential-Algebraic Equations Forum book series (DAEF)

Abstract

A survey of methods from numerical linear algebra for linear constant coefficient differential-algebraic equations (DAEs) and descriptor control systems is presented. We discuss numerical methods to check the solvability properties of DAEs as well as index reduction and regularization techniques. For descriptor systems we discuss controllability and observability properties and how these can be checked numerically. These methods are based on staircase forms and derivative arrays, obtained by real orthogonal transformations that are discussed in detail. Then we use the reformulated problems in several control applications for differential-algebraic equations ranging from regular and singular linear-quadratic optimal and robust control to dissipativity checking. We discuss these applications and give a systematic overview of the theory and the numerical solution methods. In particular, we show that all these applications can be treated with a common approach that is based on the computation of eigenvalues and deflating subspaces of even matrix pencils. The unified approach allows us to generalize and improve several techniques that are currently in use in systems and control.

Keywords

Canonical form Controllability Descriptor system Differential-algebraic equation Dissipativity Even matrix pencil \(\mathcal{H}_{\infty }\) control Kronecker index \(\mathcal{L}_{\infty }\)-norm Linear-quadratic optimal control Observability 

Notes

Acknowledgements

The author “Philip Losse” was supported by the DFG Research Center Matheon in Berlin. The author “Volker Mehrmann” was supported by the European Research Council through ERC Advanced Grant ModSimConMP. Research of the author “Matthias Voigt” was supported in the framework of Matheon project C-SE1: Reduced order modeling for data assimilation supported by the Einstein Foundation Berlin.

References

  1. 1.
    Alam, R., Bora, S., Karow, M., Mehrmann, V., Moro, J.: Perturbation theory for Hamiltonian matrices and the distance to bounded-realness. SIAM J. Matrix Anal. Appl. 32(2), 484–514 (2011)MATHMathSciNetCrossRefGoogle Scholar
  2. 2.
    Anderson, B.D.O., Vongpanitlerd, S.: Network Analysis and Synthesis. Prentice Hall, Englewood Cliffs, NJ (1973)Google Scholar
  3. 3.
    Antoulas, A.C.: Approximation of Large-Scale Dynamical Systems. Adv. Des. Control. SIAM, Philadelphia, PA (2005)MATHCrossRefGoogle Scholar
  4. 4.
    Antoulas, A.C., Mayo, A.J.: A framework for the solution of the generalized realization problem. Linear Algebra Appl. 425, 634–662 (2007)MATHMathSciNetCrossRefGoogle Scholar
  5. 5.
    Ascher, U.M., Mattheij, R., Russell, R.: Numerical Solution of Boundary Value Problems for Ordinary Differential Equations, 2nd edn. SIAM, Philadelphia, PA (1995)MATHCrossRefGoogle Scholar
  6. 6.
    Ashcraft, C., Grimes, R.G., Lewis, J.G.: Accurate symmetric indefinite linear equations solvers. SIAM J. Matrix Anal. Appl. 20(2), 513–561 (1998)MATHMathSciNetCrossRefGoogle Scholar
  7. 7.
    Backes, A.: Extremalbedingungen für Optimierungs-Probleme mit Algebro-Differentialgleichungen. Dissertation, Institut für Mathematik, Humboldt-Universität zu Berlin (2006)Google Scholar
  8. 8.
    Bals, J., Hofer, G., Pfeiffer, A., Schallert, C.: Virtual iron bird – a multidisciplinary modelling and simulation platform for new aircraft system architectures. In: Deutscher Luft- und Raumfahrtkongress, Friedrichshafen (2005)Google Scholar
  9. 9.
    Benner, P., Effenberger, C.: A rational SHIRA method for the Hamiltonian eigenvalue problem. Taiwan. J. Math. 14(6A), 805–823 (2010)MATHMathSciNetGoogle Scholar
  10. 10.
    Benner, P., Mehrmann, V., Xu, H.: A new method for computing the stable invariant subspace of a real Hamiltonian matrix. J. Comput. Appl. Math. 86(1), 17–43 (1997)MATHMathSciNetCrossRefGoogle Scholar
  11. 11.
    Benner, P., Mehrmann, V., Xu, H.: A numerically stable, structure preserving method for computing the eigenvalues of real Hamiltonian or symplectic pencils. Numer. Math. 78(3), 329–358 (1998)MATHMathSciNetCrossRefGoogle Scholar
  12. 12.
    Benner, P., Byers, R., Mehrmann, V., Xu, H.: Numerical computation of deflating subspaces of embedded Hamiltonian pencils. Tech. Rep. SFB393/99-15, Fakultät für Mathematik, TU Chemnitz. Available from http://www.tu-chemnitz.de/sfb393/sfb99pr.html (1999)
  13. 13.
    Benner, P., Byers, R., Faßbender, H., Mehrmann, V., Watkins, D.: Cholesky-like factorizations of skew-symmetric matrices. Electron. Trans. Numer. Anal. 11, 85–93 (2000)MATHMathSciNetGoogle Scholar
  14. 14.
    Benner, P., Byers, R., Mehrmann, V., Xu, H.: Numerical computation of deflating subspaces of skew-Hamiltonian/Hamiltonian pencils. SIAM J. Matrix Anal. Appl. 24(1), 165–190 (2002)MATHMathSciNetCrossRefGoogle Scholar
  15. 15.
    Benner, P., Byers, R., Mehrmann, V., Xu, H.: A robust numerical method for the γ-iteration in \(\mathcal{H}_{\infty }\) control. Linear Algebra Appl. 425(2–3), 548–570 (2007)MATHMathSciNetCrossRefGoogle Scholar
  16. 16.
    Benner, P., Byers, R., Losse, P., Mehrmann, V., Xu, H.: Robust formulas for optimal \(H_{\infty }\) controllers. Automatica 47(12), 2639–2646 (2011)MATHMathSciNetCrossRefGoogle Scholar
  17. 17.
    Benner, P., Faßbender, H., Stoll, M.: A Hamiltonian Krylov-Schur-type method based on the symplectic Lanczos process. Linear Algebra Appl. 435(3), 578–600 (2011)MATHMathSciNetCrossRefGoogle Scholar
  18. 18.
    Benner, P., Sima, V., Voigt, M.: \(\mathcal{L}_{\infty }\)-norm computation for continuous-time descriptor systems using structured matrix pencils. IEEE Trans. Autom. Control 57(1), 233–238 (2012)Google Scholar
  19. 19.
    Benner, P., Sima, V., Voigt, M.: Robust and efficient algorithms for \(\mathcal{L}_{\infty }\)-norm computation for descriptor systems. In: Proceedings of 7th IFAC Symposium on Robust Control Design, Aalborg, pp. 195–200 (2012). doi:10.3182/20120620-3-DK-2025.00114
  20. 20.
    Benner, P., Sima, V., Voigt, M.: FORTRAN 77 subroutines for the solution of skew-Hamiltonian/Hamiltonian eigenproblems – Part I: algorithms and applications. Preprint MPIMD/13-11, Max Planck Institute Magdeburg. Available from http://www.mpi-magdeburg.mpg.de/preprints/2013/11/ (2013)
  21. 21.
    Benner, P., Sima, V., Voigt, M.: FORTRAN 77 subroutines for the solution of skew-Hamiltonian/Hamiltonian eigenproblems – Part II: implementation and numerical results. Preprint MPIMD/13-12, Max Planck Institute Magdeburg. Available from http://www.mpi-magdeburg.mpg.de/preprints/2013/12/ (2013)
  22. 22.
    Berger, T.: On differential-algebraic control systems. Dissertation, Fakultät für Mathematik und Naturwissenschaften, TU Ilmenau (2013)Google Scholar
  23. 23.
    Berger, T., Reis, T.: Controllability of linear differential-algebraic equations – a survey. In: Ilchmann, A., Reis, T. (eds.) Surveys in Differential-Algebraic Equations I, Differential-Algebraic Equations Forum, pp. 1–61. Springer, Berlin/Heidelberg (2013)CrossRefGoogle Scholar
  24. 24.
    Berger, T., Trenn, S.: The quasi-Kronecker form for matrix pencils. SIAM J. Matrix Anal. Appl. 33(2), 336–368 (2012)MATHMathSciNetCrossRefGoogle Scholar
  25. 25.
    Berger, T., Trenn, S.: Addition to “The quasi-Kronecker form for matrix pencils”. SIAM J. Matrix Anal. Appl. 34(1), 94–101 (2013)MATHMathSciNetCrossRefGoogle Scholar
  26. 26.
    Berger, T., Reis, T., Trenn, S.: Observability of differential-algebraic equations – a survey. Hamburger Beiträge zur Angewandten Mathematik 2015-13, Fachbereich Mathematik, Universität Hamburg. Available from http://preprint.math.uni-hamburg.de/public/papers/hbam/hbam2015-13.pdf (2015)
  27. 27.
    Betcke, T., Higham, N.J., Mehrmann, V., Schröder, C., Tisseur, F.: NLEVP: a collection of nonlinear eigenvalue problems. ACM Trans. Math. Softw. 39(2), Article 7 (2013)Google Scholar
  28. 28.
    Binder, A., Mehrmann, V., Miedlar, A.: A MATLAB toolbox for the regularization of descriptor systems arising from generalized realization procedures (2014, in preparation)Google Scholar
  29. 29.
    Bischof, C.H., Quintana-Ortí, G.: Algorithm 782: codes for rank-revealing QR factorizations of dense matrices. ACM Trans. Math. Softw. 24(2), 254–257 (1998). doi:http://doi.acm.org/10.1145/290200.287638
  30. 30.
    Bischof, C.H., Quintana-Ortí, G.: Computing rank-revealing QR factorizations of dense matrices. ACM Trans. Math. Softw. 24(2), 226–253 (1998). doi:http://doi.acm.org/10.1145/290200.287637
  31. 31.
    Bojanczyk, A.I., Golub, G.H., Van Dooren, P.: The periodic Schur decomposition. Algorithms and applications. In: Luk, F.T. (ed.) Advanced Signal Processing Algorithms, Architectures, and Implementations III. Proceedings of SPIE, vol. 1770, pp. 31–42 (1992)CrossRefGoogle Scholar
  32. 32.
    Boyd, S., Balakrishnan, V.: A regularity result for the singular values of a transfer matrix and a quadratically convergent algorithm for computing its \(L_{\infty }\)-norm. Syst. Control Lett. 15(1), 1–7 (1990)MATHMathSciNetCrossRefGoogle Scholar
  33. 33.
    Boyd, S., Balakrishnan, V., Kabamba, P.: A bisection method for computing the \(H_{\infty }\) norm of a transfer matrix and related problems. Math. Control Signals Syst. 2(3), 207–219 (1989)MATHMathSciNetCrossRefGoogle Scholar
  34. 34.
    Bruinsma, N.A., Steinbuch, M.: A fast algorithm to compute the \(H_{\infty }\)-norm of a transfer function matrix. Syst. Control Lett. 14(4), 287–293 (1990)MATHMathSciNetCrossRefGoogle Scholar
  35. 35.
    Brüll, T.: Checking dissipativity of linear behaviour systems given in kernel representation. Math. Control Signals Syst. 23(1–3), 159–175 (2011)MATHCrossRefGoogle Scholar
  36. 36.
    Brüll, T.: Dissipativity of linear quadratic systems. Dissertation, Institut für Mathematik, TU Berlin. Available from http://opus4.kobv.de/opus4-tuberlin/frontdoor/index/index/docId/2824 (2011)
  37. 37.
    Brüll, T., Mehrmann, V.: STCSSP: A FORTRAN 77 routine to compute a structured staircase form for a (skew-)symmetric/(skew-)symmetric matrix pencil. Preprint 31-2007, Institut für Mathematik, TU Berlin (2007)Google Scholar
  38. 38.
    Brüll, T., Schröder, C.: Dissipativity enforcement via perturbation of para-Hermitian pencils. IEEE Trans. Circuits Syst. Regul. Pap. 60(1), 164–177 (2013)CrossRefGoogle Scholar
  39. 39.
    Bunch, J.R.: A note on the stable decomposition of skew-symmetric matrices. Math. Comput. 38(158), 475–479 (1982)MATHMathSciNetGoogle Scholar
  40. 40.
    Bunse-Gerstner, A., Mehrmann, V., Nichols, N.K.: Regularization of descriptor systems by output feedback. IEEE Trans. Autom. Control 39(4), 1742–1748 (1994)MATHMathSciNetCrossRefGoogle Scholar
  41. 41.
    Bunse-Gerstner, A., Byers, R., Mehrmann, V., Nichols, N.K.: Feedback design for regularizing descriptor systems. Linear Algebra Appl. 299, 119–151 (1999)MATHMathSciNetCrossRefGoogle Scholar
  42. 42.
    Byers, R., Geerts, T., Mehrmann, V.: Descriptor systems without controllability at infinity. SIAM J. Control Optim. 35(2), 462–479 (1997)MATHMathSciNetCrossRefGoogle Scholar
  43. 43.
    Byers, R., Mehrmann, V., Xu, H.: A structured staircase algorithm for skew-symmetric/symmetric pencils. Electron. Trans. Numer. Anal. 26, 1–13 (2007)MATHMathSciNetGoogle Scholar
  44. 44.
    Campbell, S.L.: Singular Systems of Differential Equations I. Pitman, San Francisco, CA (1980)Google Scholar
  45. 45.
    Campbell, S.L.: A general form for solvable linear time varying singular systems of differential equations. SIAM J. Math. Anal. 18(4), 1101–1115 (1987)MATHMathSciNetCrossRefGoogle Scholar
  46. 46.
    Campbell, S.L.: Linearization of DAEs along trajectories. Z. Angew. Math. Phys. 46(1), 70–84 (1995)MATHMathSciNetCrossRefGoogle Scholar
  47. 47.
    Campbell, S.L., Kunkel, P., Mehrmann, V.: Regularization of linear and nonlinear descriptor systems. In: Biegler, L.T., Campbell, S.L., Mehrmann, V. (eds.) Control and Optimization with Differential-Algebraic Constraints. Advances in Design and Control, Chap. 2, pp. 17–36. SIAM, Philadelphia, PA (2012)Google Scholar
  48. 48.
    Chu, D., Liu, X., Mehrmann, V.: A numerical method for computing the Hamiltonian Schur form. Numer. Math. 105(3), 375–412 (2007)MATHMathSciNetCrossRefGoogle Scholar
  49. 49.
    Cobb, J.D.: Controllability, observability and duality in singular systems. IEEE Trans. Autom. Control AC-29(12), 1076–1082 (1984)MathSciNetCrossRefGoogle Scholar
  50. 50.
    Dai, L.: Singular Control Systems. Lecture Notes in Control and Information Science, vol. 118. Springer, Berlin/Heidelberg (1989)Google Scholar
  51. 51.
    Datta, S., Mehrmann, V.: Computation of state reachable points of linear time invariant descriptor systems. Preprint 17/2014, Institut für Mathematik, Technische Universität Berlin. Submitted, available from http://www.math.tu-berlin.de/preprints/ (2014)
  52. 52.
    Demmel, J.W., Kågström, B.: Computing stable eigendecompositions of matrix pencils. Linear Algebra Appl. 88, 139–186 (1987)MathSciNetCrossRefGoogle Scholar
  53. 53.
    Demmel, J.W., Kågström, B.: The generalized Schur decomposition of an arbitrary pencil \(\lambda A - B\), Part I. ACM Trans. Math. Softw. 19, 160–174 (1993)MATHCrossRefGoogle Scholar
  54. 54.
    Demmel, J.W., Kågström, B.: The generalized Schur decomposition of an arbitrary pencil \(\lambda A - B\), Part II. ACM Trans. Math. Softw. 19, 185–201 (1993)Google Scholar
  55. 55.
    Drmač, Z., Bujanović, Z.: On the failure of rank-revealing QR factorization software. ACM Trans. Math. Softw. 35(2), Article 12 (2008)Google Scholar
  56. 56.
    Edelmann, A., Elmroth, E., Kågström, B.: A geometric approach to perturbation theory of matrices and matrix pencils. Part I: versal deformations. SIAM J. Matrix Anal. Appl. 18, 653–692 (1997)Google Scholar
  57. 57.
    Edelmann, A., Elmroth, E., Kågström, B.: A geometric approach to perturbation theory of matrices and matrix pencils. Part II: a stratification-enhanced staircase algorithm. SIAM J. Matrix Anal. Appl. 20, 667–699 (1999)Google Scholar
  58. 58.
    Eich-Soellner, E., Führer, C.: Numerical Methods in Multibody Dynamics. Teubner, Stuttgart (1998)MATHCrossRefGoogle Scholar
  59. 59.
    Fassbender, H.: Symplectic Methods for the Symplectic Eigenproblem. Kluwer Academic/Plenum, New York (2000)MATHGoogle Scholar
  60. 60.
    Gantmacher, F.R.: The Theory of Matrices, vol. 2. Chelsea, New York (1959)MATHGoogle Scholar
  61. 61.
    Gohberg, I., Lancaster, P., Rodman, L.: Matrix Polynomials. Academic, New York (1982)MATHGoogle Scholar
  62. 62.
    Golub, G.H., Van Loan, C.F.: Matrix Computations, 3rd edn. Johns Hopkins University Press, Baltimore (1996)MATHGoogle Scholar
  63. 63.
    Günther, M., Rentrop, P.: Multirate ROW methods and latency of electric circuits. Appl. Numer. Math. 13(1–3), 83–102 (1993)MATHMathSciNetCrossRefGoogle Scholar
  64. 64.
    Hagel, S.: Systematische Modellbildung mechanischer Systeme auf der Basis von Teilkomponenten. In: Müller, P.C., et al. (eds.) Notes of the Workshop “Identifizierung, Analyse und Entwurfsmethoden für mechanische Mehrkörpersysteme in Deskriptorform”, pp. 67–72. Institut für Sicherheitstechnik, BUGH Wuppertal (1994)Google Scholar
  65. 65.
    Hahn, H., Wehage, R.: Dynamic simulation of terrain vehicles. In: Schiehlen, W. (ed.) Multibody Systems Handbook, pp. 491–503. Springer, Berlin (1990)Google Scholar
  66. 66.
    Hassibi, B., Sayed, A.H., Kailath, T.: Indefinite-Quadratic Estimation and Control: A Unified Approach to H 2 and \(H^{\infty }\) Theories. SIAM Studies in Applied and Numerical Mathematics. SIAM, Philadelphia, PA (1999)CrossRefGoogle Scholar
  67. 67.
    Hench, J.J., Laub, A.J.: Numerical solution of the discrete-time periodic Riccati equation. IEEE Trans. Autom. Control 39(6), 1197–1210 (1994)MATHMathSciNetCrossRefGoogle Scholar
  68. 68.
    Hiller, M., Hirsch, K.: Multibody system dynamics and mechatronics. Z. Angew. Math. Mech. 86(2), 87–109 (2006)MATHMathSciNetCrossRefGoogle Scholar
  69. 69.
    Horn, R.A., Johnson, C.R.: Matrix Analysis. Cambridge University Press, Cambridge (1985)MATHCrossRefGoogle Scholar
  70. 70.
    Kågström, B.: RGSVD – An algorithm for computing the Kronecker structure and reducing subspaces of singular AzB pencils. SIAM J. Sci. Stat. Comput. 7(1), 185–211 (1986)MATHCrossRefGoogle Scholar
  71. 71.
    Kressner, D.: An efficient and reliable implementation of the periodic QZ algorithm. In: Proceedings of IFAC Workshop on Periodic Control Systems (2001)Google Scholar
  72. 72.
    Kressner, D., Schröder, C., Watkins, D.S.: Implicit QR algorithms for palindromic and even eigenvalue problems. Numer. Algorithms 51(2), 209–238 (2009)MATHMathSciNetCrossRefGoogle Scholar
  73. 73.
    Kunkel, P., Mehrmann, V.: Generalized inverses of differential-algebraic operators. SIAM J. Matrix Anal. Appl. 17(2), 426–442 (1996)MATHMathSciNetCrossRefGoogle Scholar
  74. 74.
    Kunkel, P., Mehrmann, V.: A new class of discretization methods for the solution of linear differential-algebraic equations. SIAM J. Numer. Anal. 5, 1941–1961 (1996)MathSciNetCrossRefGoogle Scholar
  75. 75.
    Kunkel, P., Mehrmann, V.: Differential-Algebraic Equations. Analysis and Numerical Solution. EMS Publishing House, Zürich (2006)MATHCrossRefGoogle Scholar
  76. 76.
    Kunkel, P., Mehrmann, V.: Optimal control for unstructured nonlinear differential-algebraic equations of arbitrary index. Math. Control Signals Syst. 20(3), 227–269 (2008)MATHMathSciNetCrossRefGoogle Scholar
  77. 77.
    Kunkel, P., Mehrmann, V.: Formal adjoints of linear DAE operators and their role in optimal control. Electron. J. Linear Algebra 22, 672–693 (2011)MATHMathSciNetCrossRefGoogle Scholar
  78. 78.
    Kunkel, P., Mehrmann, V., Rath, W.: Analysis and numerical solution of control problems in descriptor form. Math. Control Signals Syst. 14, 29–61 (2001)MATHMathSciNetCrossRefGoogle Scholar
  79. 79.
    Kunkel, P., Mehrmann, V., Stöver, R.: Multiple shooting for unstructured nonlinear differential-algebraic equations of arbitrary index. SIAM J. Numer. Anal. 42(6), 2277–2297 (2004)CrossRefGoogle Scholar
  80. 80.
    Kunkel, P., Mehrmann, V., Stöver, R.: Symmetric collocation for unstructured nonlinear differential-algebraic equations of arbitrary index. Numer. Math. 98(2), 277–304 (2004)MATHMathSciNetCrossRefGoogle Scholar
  81. 81.
    Kurina, G.A., März, R.: On linear-quadratic optimal control problems for time-varying descriptor systems. SIAM J. Control Optim. 42(6), 2062–2077 (2004)MATHMathSciNetCrossRefGoogle Scholar
  82. 82.
    Lancaster, P.: Lambda-Matrices and Vibrating Systems. International Series of Monographs in Pure and Applied Mathematics, vol. 94. Pergamon Press, Oxford (1966)Google Scholar
  83. 83.
    Landwehr, M., Lefarth, U., Wassmuth, E.: Parameter identification and optimization of nonlinear dynamic systems, exemplified by mechatronic systems. In: Computational Systems Analysis, pp. 257–262. Elsevier, Amsterdam (1992)Google Scholar
  84. 84.
    Lin, W.W., Xu, S.F.: Convergence analysis of structure-preserving doubling algorithms for Riccati-type matrix equations. SIAM J. Matrix Anal. Appl. 28(1), 26–39 (2006)MATHMathSciNetCrossRefGoogle Scholar
  85. 85.
    Losse, P.: The \(\langle _{\infty }\) optimal control problem for descriptor systems. Dissertation, Fakultät für Mathematik, Technische Universität Chemnitz. Available from http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-83628 (2012)
  86. 86.
    Losse, P., Mehrmann, V., Poppe, L., Reis, T.: The modified optimal \(\mathcal{H}_{\infty }\) control problem for descriptor systems. SIAM J. Control Optim. 47(6), 2795–2811 (2008)MATHMathSciNetCrossRefGoogle Scholar
  87. 87.
    Mackey, D.S., Mackey, N., Mehl, C., Mehrmann, V.: Structured polynomial eigenvalue problems: good vibrations from good linearizations. SIAM J. Matrix Anal. Appl. 28(4), 1029–1051 (2006)MATHMathSciNetCrossRefGoogle Scholar
  88. 88.
    Mackey, D.S., Mackey, N., Mehl, C., Mehrmann, V.: Jordan structures of alternating matrix polynomials. Linear Algebra Appl. 432, 867–891 (2010)MATHMathSciNetCrossRefGoogle Scholar
  89. 89.
    Mavaddat, R.: Network Scattering Parameters. Advanced Series in Circuits and Systems. World Scientific, River Edge, NJ (1996)CrossRefGoogle Scholar
  90. 90.
    Mehl, C.: Condensed forms for skew-Hamiltonian/Hamiltonian pencils. SIAM J. Matrix Anal. Appl. 21(2), 454–476 (2000)MathSciNetCrossRefGoogle Scholar
  91. 91.
    Mehrmann, V., Voss, H.: Nonlinear eigenvalue problems: a challenge for modern eigenvalue methods. GAMM-Mitt. 27, 121–151 (2005)MathSciNetCrossRefGoogle Scholar
  92. 92.
    Mehrmann, V., Watkins, D.: Structure-preserving methods for computing eigenpairs of large sparse skew-Hamiltonian/Hamiltonian pencils. SIAM J. Sci. Comput. 22(6), 1905–1925 (2001)MATHMathSciNetCrossRefGoogle Scholar
  93. 93.
    Mehrmann, V., Xu, H.: Structure preserving deflation of infinite eigenvalues in structured pencils. Preprint 1052, DFG Research Center Matheon, Berlin. Available from http://opus4.kobv.de/opus4-matheon (2014)
  94. 94.
    Mehrmann, V., Schröder, C., Watkins, D.S.: A new block method for computing the Hamiltonian Schur form. Linear Algebra Appl. 431, 350–368 (2009)MATHMathSciNetCrossRefGoogle Scholar
  95. 95.
    Mehrmann, V., Schröder, C., Simoncini, V.: An implicitly-restarted Krylov method for real symmetric/skew-symmetric eigenproblems. Linear Algebra Appl. 436(10), 4070–4087 (2012)MATHMathSciNetCrossRefGoogle Scholar
  96. 96.
    Reis, T.: Circuit synthesis of passive descriptor systems – a modified nodal approach. Int. J. Circuit Theory Appl. 38(1), 44–68 (2010)MATHCrossRefGoogle Scholar
  97. 97.
    Reis, T., Stykel, T.: PABTEC: passivity-preserving balanced truncation for electrical circuits. IEEE Trans. Circuits Syst. Regul. Pap. 29(9), 1354–1367 (2010)Google Scholar
  98. 98.
    Reis, T., Stykel, T.: Passivity-preserving balanced truncation model reduction of circuit equations. In: Roos, J., Costa, L. (eds.) Scientific Computing in Electrical Engineering SCEE 2008. Math. Ind., vol. 14, pp. 483–490. Springer, Berlin/Heidelberg (2010)CrossRefGoogle Scholar
  99. 99.
    Reis, T., Rendel, O., Voigt, M.: The Kalman-Yakubovich-Popov inequality for differential-algebraic systems. Hamburger Beiträge zur Angewandten Mathematik 2014-27, Fachbereich Mathematik, Universität Hamburg. Available from http://preprint.math.uni-hamburg.de/public/papers/hbam/hbam2014-27.pdf (2014)
  100. 100.
    Riaza, R.: Differential-Algebraic Systems. Analytical Aspects and Circuit Applications. World Scientific, Singapore (2008)MATHCrossRefGoogle Scholar
  101. 101.
    Roberson, R.E., Schwertassek, R.: Dynamics of Multibody Systems. Springer, Heidelberg (1988)MATHCrossRefGoogle Scholar
  102. 102.
    Rosenbrock, H.H.: Structural properties of linear dynamical systems. Int. J. Control 20(2), 191–202 (1974)MATHMathSciNetCrossRefGoogle Scholar
  103. 103.
    Scherer, C.: \(\mathcal{H}_{\infty }\)-control by state-feedback and fast algorithms for the computation of optimal \(\mathcal{H}_{\infty }\)-norms. IEEE Trans. Autom. Control 35(10), 1090–1099 (1990)Google Scholar
  104. 104.
    Schiehlen, W. (ed.): Advanced Multibody System Dynamics – Simulation and Sofware Tools. Solid Mechanics and its Applications, vol. 20. Kluwer, Dordrecht (1993)Google Scholar
  105. 105.
    Schlacher, K., Kugi, A.: Automatic control of mechatronic systems. Int. J. Appl. Math. Comput. Sci. 11(1), 131–164 (2001)MATHMathSciNetGoogle Scholar
  106. 106.
    Schlacher, K., Kugi, A., Scheidl, R.: Tensor analysis based symbolic computation for mechatronic systems. Math. Comput. Simul. 46(5–6), 517–525 (1998)MATHMathSciNetCrossRefGoogle Scholar
  107. 107.
    Schröder, C.: Palindromic and even eigenvalue problems – analysis and numerical methods. Dissertation, Institut für Mathematik, TU Berlin. Available from http://opus4.kobv.de/opus4-tuberlin/frontdoor/index/index/docId/1770 (2008)
  108. 108.
    Simeon, B., Grupp, F., Führer, C., Rentrop, P.: A nonlinear truck model and its treatment as multibody system. J. Comput. Appl. Math. 50(1–3), 523–532 (1994)MATHCrossRefGoogle Scholar
  109. 109.
    Stewart, G.W., Sun, J.G.: Matrix Perturbation Theory. Academic, New York (1990)MATHGoogle Scholar
  110. 110.
    Thompson, R.C.: Pencils of complex and real symmetric and skew matrices. Linear Algebra Appl. 147, 323–371 (1991)MATHMathSciNetCrossRefGoogle Scholar
  111. 111.
    Tisseur, F., Meerbergen, K.: The quadratic eigenvalue problem. SIAM Rev. 43(2), 235–286 (2001). doi:10.1137/S0036144500381988. http://dx.doi.org/10.1137/S0036144500381988
  112. 112.
    Trautenberg, W.: SIMPACK 8.9. Available from www.simpack.com
  113. 113.
    Van Dooren, P.: The computation of Kronecker’s canonical form of a singular pencil. Linear Algebra Appl. 27, 103–121 (1979)MATHMathSciNetCrossRefGoogle Scholar
  114. 114.
    Varga, A.: Computation of irreducible generalized state-space realizations. Kybernetica 26(2), 89–106 (1990)MATHGoogle Scholar
  115. 115.
    Verghese, G.C., Lévy, B.C., Kailath, T.: A generalized state-space for singular systems. IEEE Trans. Autom. Control AC-26(4), 811–831 (1981)CrossRefGoogle Scholar
  116. 116.
    Voigt, M.: \(\mathcal{L}_{\infty }\)-norm computation for descriptor systems. Diploma thesis, Chemnitz University of Technology, Faculty of Mathematics. Available from http://nbn-resolving.de/urn:nbn:de:bsz:ch1-201001050 (2010)
  117. 117.
    Voigt, M.: On linear-quadratic optimal control and robustness of differential-algebriac systems. Dissertation, Otto-von-Guericke-Universität Magdeburg, Fakultät für Mathematik (2015).Google Scholar
  118. 118.
    Willems, J.C.: Least squares stationary optimal control and the algebraic Riccati equation. IEEE Trans. Autom. Control AC-16(6), 621–634 (1971)MathSciNetCrossRefGoogle Scholar
  119. 119.
    Willems, J.C.: Dissipative dynamical systems – Part I: general theory. Arch. Ration. Mech. Anal. 45, 321–351 (1972)MATHMathSciNetCrossRefGoogle Scholar
  120. 120.
    Willems, J.C.: Dissipative dynamical systems – Part II: linear systems with quadratic supply rates. Arch. Ration. Mech. Anal. 45, 352–393 (1972)MATHMathSciNetCrossRefGoogle Scholar
  121. 121.
    Willems, J.C.: On the existence of a nonpositive solution to the algebraic Riccati equation. IEEE Trans. Autom. Control AC-19(10), 592–593 (1974)MathSciNetCrossRefGoogle Scholar
  122. 122.
    Zhou, K., Doyle, J.C., Glover, K.: Robust and Optimal Control. Prentice-Hall, Upper Saddle River, NJ (1995)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Peter Benner
    • 1
  • Philip Losse
    • 2
  • Volker Mehrmann
    • 3
  • Matthias Voigt
    • 3
  1. 1.Max Planck Institute for Dynamics of Complex Technical SystemsMagdeburgGermany
  2. 2.BerlinGermany
  3. 3.Institut für MathematikTechnische Universität BerlinBerlinGermany

Personalised recommendations