Applied Algebraic Geometry in Model Based Design for Manufacturing
DOI10.1007/978-4-431-54907-9_13zbMath1326.93050OpenAlexW2214853168MaRDI QIDQ3455008
Publication date: 3 December 2015
Published in: The Impact of Applications on Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-4-431-54907-9_13
quantifier eliminationcontrol system designreal algebraic geometrymanufacturing designsymbolic optimization
Design techniques (robust design, computer-aided design, etc.) (93B51) Real algebraic sets (14P05) Computational aspects in algebraic geometry (14Q99) Applications of commutative algebra (e.g., to statistics, control theory, optimization, etc.) (13P25)
Uses Software
Cites Work
- A symbolic-numeric approach to multi-objective optimization in manufacturing design
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
- Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination
- The complexity of linear problems in fields
- Partial cylindrical algebraic decomposition for quantifier elimination
- Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
- Nonlinear control system design by quantifier elimination
- Robust multi-objective feedback design by quantifier elimination
- Simulation and optimization by quantifier elimination
- Positive polynomials in control.
- Cylindrical algebraic decomposition using validated numerics
- A new decision method for elementary algebra
- Applying Linear Quantifier Elimination
- New Domains for Applied Quantifier Elimination
- An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification
- A parameter space approach to fixed-order robust controller synthesis by quantifier elimination
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Applied Algebraic Geometry in Model Based Design for Manufacturing
