### 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.

Original language | English |
---|---|

Title of host publication | Computer Algebra in Scientific Computing - 13th International Workshop, CASC 2011, Proceedings |

Pages | 239-250 |

Number of pages | 12 |

DOIs | |

Publication status | Published - Sep 20 2011 |

Event | 13th International Workshop on Computer Algebra in Scientific Computing, CASC 2011 - Kassel, Germany Duration: Sep 5 2011 → Sep 9 2011 |

### Publication series

Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|

Volume | 6885 LNCS |

ISSN (Print) | 0302-9743 |

ISSN (Electronic) | 1611-3349 |

### Other

Other | 13th International Workshop on Computer Algebra in Scientific Computing, CASC 2011 |
---|---|

Country | Germany |

City | Kassel |

Period | 9/5/11 → 9/9/11 |

### Fingerprint

### All Science Journal Classification (ASJC) codes

- Theoretical Computer Science
- Computer Science(all)

### Cite this

*Computer Algebra in Scientific Computing - 13th International Workshop, CASC 2011, Proceedings*(pp. 239-250). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6885 LNCS). https://doi.org/10.1007/978-3-642-23568-9_19

**Construction of explicit optimal value functions by a symbolic-numeric cylindrical algebraic decomposition.** / Iwane, Hidenao; Kira, Akifumi; Anai, Hirokazu.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

*Computer Algebra in Scientific Computing - 13th International Workshop, CASC 2011, Proceedings.*Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6885 LNCS, pp. 239-250, 13th International Workshop on Computer Algebra in Scientific Computing, CASC 2011, Kassel, Germany, 9/5/11. https://doi.org/10.1007/978-3-642-23568-9_19

}

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

PY - 2011/9/20

Y1 - 2011/9/20

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

ER -