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

Hidenao Iwane, Akifumi Kira, Hirokazu Anai

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

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 languageEnglish
Title of host publicationComputer Algebra in Scientific Computing - 13th International Workshop, CASC 2011, Proceedings
Pages239-250
Number of pages12
DOIs
Publication statusPublished - Sep 20 2011
Event13th International Workshop on Computer Algebra in Scientific Computing, CASC 2011 - Kassel, Germany
Duration: Sep 5 2011Sep 9 2011

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6885 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other13th International Workshop on Computer Algebra in Scientific Computing, CASC 2011
CountryGermany
CityKassel
Period9/5/119/9/11

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Iwane, H., Kira, A., & Anai, H. (2011). Construction of explicit optimal value functions by a symbolic-numeric cylindrical algebraic decomposition. In 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