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 -