Validated numerical computation of the \(\mathcal L_{\infty}\)-norm for linear dynamical systems

DOI10.1016/j.jsc.2005.11.005zbMath1127.65042MaRDI QIDQ2457358

Masaaki Kanno, Malcolm C. Smith

Publication date: 23 October 2007

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2005.11.005

zbMATH Keywords

algorithm; linear dynamical systems; guaranteed accuracy; validated numerical methods; Sturm chain

Mathematics Subject Classification ID

65K10: Numerical optimization and variational techniques

93C05: Linear systems in control theory

65G20: Algorithms with automatic result verification

Related Items

Computer algebra for guaranteed accuracy. How does it help?

Cites Work

• Scientific computing with automatic result verification
• A fast algorithm to compute the \(H_{\infty}\)-norm of a transfer function matrix
• A regularity result for the singular values of a transfer matrix and a quadratically convergent algorithm for computing its \(L_{\infty}\)-norm
• A bisection method for computing the \(H_{\infty}\) norm of a transfer matrix and related problems
• \(H_ \infty\)-control using polynomial matrices and interval arithmetic
• Parallel computation of determinants of matrices with polynomial entries
• On computing the infinity norm
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item