TY - GEN
T1 - Construction of explicit optimal value functions by a symbolic-numeric cylindrical algebraic decomposition
AU - Iwane, Hidenao
AU - Kira, Akifumi
AU - Anai, Hirokazu
N1 - Funding Information:
Acknowledgements. This work was partially supported by Grant-in-Aid for Scientific Research (B) No. 21340025, Grant-in-Aid for JSPS Fellows No. 09J05487 and Global COE Program “Math-for-Industry” (Kyushu University).
PY - 2011
Y1 - 2011
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=80052798779&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=80052798779&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-23568-9_19
DO - 10.1007/978-3-642-23568-9_19
M3 - Conference contribution
AN - SCOPUS:80052798779
SN - 9783642235672
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 239
EP - 250
BT - Computer Algebra in Scientific Computing - 13th International Workshop, CASC 2011, Proceedings
T2 - 13th International Workshop on Computer Algebra in Scientific Computing, CASC 2011
Y2 - 5 September 2011 through 9 September 2011
ER -