Construction of explicit optimal value functions by a symbolic-numeric cylindrical algebraic decomposition

Authors:
Hidenao Iwane;Akifumi Kira;Hirokazu Anai
Affiliations:
IT System Laboratories, Fujitsu Laboratories Ltd., Kawasaki, Japan;Graduate School of Mathematics, Kyushu University, Fukuoka, Japan;IT System Laboratories, Fujitsu Laboratories Ltd., Kawasaki, Japan
Venue:
CASC'11 Proceedings of the 13th international conference on Computer algebra in scientific computing
Year:
2011

Citing 10
Cited 0

Partial Cylindrical Algebraic Decomposition for quantifier elimination

Journal of Symbolic Computation
Robust multi-objective feedback design by quantifier elimination

Journal of Symbolic Computation - Special issue: applications of quantifier elimination
The Maple package SyNRAC and its application to robust control design

Future Generation Computer Systems
Parametric optimization in control using the sum of roots for parametric polynomial spectral factorization

Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination: A MATLAB toolbox for parametric control system design

Applicable Algebra in Engineering, Communication and Computing
Dynamic Programming and Optimal Control, Vol. II

Dynamic Programming and Optimal Control, Vol. II
Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem

Journal of Symbolic Computation
An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination

Proceedings of the 2009 conference on Symbolic numeric computation
The explicit linear quadratic regulator for constrained systems

Automatica (Journal of IFAC)
An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems

Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

Recently parametric treatment of constraint solving and optimization problems has received considerable attention in science and engineering. In this paper we show an efficient and systematic algorithm for parametric programming, i.e. computing exact optimal value functions, based on a specialized symbolic-numeric cylindrical algebraic decomposition. We also present some practical application examples from system and control theory.