Abstract
In this paper, we study the problem of computing the \(\mathcal {L}_{\infty }\)-norm of finite-dimensional linear time-invariant systems. This problem is first reduced to the computation of the maximal x-projection of the real solutions \((x, \, y)\) of a bivariate polynomial system \({\varSigma = \,}\{P,\frac{\partial P}{\partial y}\}\), with \(P\, \in \mathbb {Z}[x,y]\). Then, we use standard computer algebra methods to solve the problem. In this paper, we alternatively study a method based on rational univariate representations, a method based on root separation, and finally a method first based on the sign variation of the leading coefficients of the signed subresultant sequence and then based on the identification of an isolating interval for the maximal x-projection of the real solutions of \(\varSigma \).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The experiments were conducted on Intel(R) Core(TM) i7-7500U CPU @ 2.70 GHz 2.90 GHz, Installed RAM 8.00 GB under a Windows platform.
References
Aubry, P., Maza, M.M.: Triangular sets for solving polynomial systems: a comparative implementation of four methods. J. Symb. Comput. 28(1–2), 125–154 (1999)
Basu, S., Pollack, R., Roy, M.F.: Existential theory of the reals, volume 10 of algorithms and computation in mathematics (2006)
Bouzidi, Y., Lazard, S., Moroz, G., Pouget, M., Rouillier, F., Sagraloff, M.: Solving bivariate systems using rational univariate representations. J. Complex. 37, 34–75 (2016)
Bouzidi, Y., Lazard, S., Pouget, M., Rouillier, F.: Separating linear forms and rational univariate representations of bivariate systems. J. Symb. Comput. 68, 84–119 (2015)
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)
Boztaş, S., Shparlinski, I.E. (eds.): AAECC 2001. LNCS, vol. 2227. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-45624-4
Chen, C., Maza, M.M., Xie, Y.: A fast algorithm to compute compute the \(h_{\infty }\)-norm of a transfer function matrix. Syst. Control Lett. 14, 287–293 (1990)
Chen, C., Mazza, M.M., Xie, Y.: Computing the supremum of the real roots of a parametric univariate polynomial (2013)
Cheng, J.S., Gao, X.S., Li, J.: Root isolation for bivariate polynomial systems with local generic position method. In: Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, pp. 103–110. ACM (2009)
Cheng, J.S., Gao, X.S., Yap, C.K.: Complete numerical isolation of real roots in zero-dimensional triangular systems. J. Symb. Comput. 44(7), 768–785 (2009)
Doyle, J.C., Francis, B.A., Tannenbaum, A.R.: Feedback Control Theory. Dover Publications, New York (1992)
González-Vega, L., Recio, T., Lombardi, H., Roy, M.F.: Sturm–Habicht sequences, determinants and real roots of univariate polynomials. In: Caviness, B.F., Johnson, J.R. (eds.) Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and Monographs in Symbolic Computation (A Series of the Research Institute for Symbolic Computation, Johannes-Kepler-University, Linz, Austria). Springer, Vienna (1998). https://doi.org/10.1007/978-3-7091-9459-1_14
Kanno, M., Smith, M.C.: Validated numerical computation of the \(l_{\infty }\)-norm for linear dynamical systems. J. Symb. Comput. 41(6), 697–707 (2006)
Lazard, S., Pouget, M., Rouillier, F.: Bivariate triangular decompositions in the presence of asymptotes. J. Symb. Comput. 82, 123–133 (2017)
Rouillier, F.: Solving zero-dimensional systems through the rational univariate representation. Appl. Algebra Eng. Commun. Comput. 9(5), 433–461 (1999)
Rouillier, F., Zimmermann, P.: Efficient isolation of polynomial’s real roots. J. Comput. Appl. Math. 162(1), 33–50 (2004)
Strzebonski, A., Tsigaridas, E.: Univariate real root isolation in an extension field and applications. J. Symb. Comput. 92, 31–51 (2019)
Zhou, K., Doyle, J.C., Glover, K.: Robust and Optimal Control. Prentice Hall, Upper Saddle River (1996)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Bouzidi, Y., Quadrat, A., Rouillier, F., Younes, G. (2021). Computation of the \(\mathcal {L}_{\infty }\)-norm of Finite-Dimensional Linear Systems. In: Corless, R.M., Gerhard, J., Kotsireas, I.S. (eds) Maple in Mathematics Education and Research. MC 2020. Communications in Computer and Information Science, vol 1414. Springer, Cham. https://doi.org/10.1007/978-3-030-81698-8_9
Download citation
DOI: https://doi.org/10.1007/978-3-030-81698-8_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-81697-1
Online ISBN: 978-3-030-81698-8
eBook Packages: Computer ScienceComputer Science (R0)