Computer algebra for guaranteed accuracy. How does it help?

DOI10.1007/BF03186547zbMATH Open1191.68889MaRDI QIDQ849196FDOQ849196

Authors: Masaaki Kanno, Hirokazu Anai 

Publication date: 25 February 2010

Published in: Japan Journal of Industrial and Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jjiam/1265033794

Recommendations

• scientific article; zbMATH DE number 2247480
• scientific article; zbMATH DE number 3917699
• Special issue on the use of computer algebra systems for computer aided control system design
• scientific article; zbMATH DE number 1979264
• Publication:4203713

zbMATH Keywords

interval methodsalgebraic methodscontrol systems designguaranteed accuracy computationvalidated numerical methods

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Model systems in control theory (93C99)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Interval Methods for Systems of Equations
• Title not available (Why is that?)
• Accuracy and Stability of Numerical Algorithms
• Robust control. Systems with uncertain physical parameters. In co-operation with A. Bartlett, D. Kaesbauer, W. Sienel, R. Steinhauser
• Title not available (Why is that?)
• Efficient computation of zero-dimensional Gröbner bases by change of ordering
• Title not available (Why is that?)
• Title not available (Why is that?)
• Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
• Title not available (Why is that?)
• A survey of spectral factorization methods
• Title not available (Why is that?)
• Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem
• An efficient method for analyzing the topology of plane real algebraic curves.
• Approximate quantified constraint solving by cylindrical box decomposition
• A modular method to compute the rational univariate representation of zero-dimensional ideals
• Cylindrical algebraic decomposition using validated numerics
• A Test for Existence of Solutions to Nonlinear Systems
• Self-validating methods
• Title not available (Why is that?)
• Visualizing parametric solution sets
• Validated numerical computation of the \(\mathcal L_{\infty}\)-norm for linear dynamical systems
• A parameter space approach to fixed-order robust controller synthesis by quantifier elimination
• On the Relationship Between the Sum of Roots with Positive Real Parts and Polynomial Spectral Factorization
• Special issue: Reliability engineering computing. Papers based on the presentations at the workshop, Savannah, GA, USA, September 2004.

Uses Software

• mctoolbox
• AQCS

This page was built for publication: Computer algebra for guaranteed accuracy. How does it help?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q849196)