Computer algebra for guaranteed accuracy. How does it help?

DOI10.1007/BF03186547MaRDI QIDQ849196zbMATH OpenFDO

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

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)

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

Cites work

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

Describes a project that uses

Uses Software

• AQCS
• mctoolbox

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)