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

Systems and Control Theory
Parametric Programming
Optimal Value Function
Constraint Solving
System theory
Numerics
Control theory
Optimization Problem
Engineering
Decomposition
Decompose
Computing

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

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

Computer Algebra in Scientific Computing - 13th International Workshop, CASC 2011, Proceedings. 2011. p. 239-250 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6885 LNCS).

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

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. 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
Iwane H, Kira A, Anai H. 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. 2011. p. 239-250. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-23568-9_19
Iwane, Hidenao ; Kira, Akifumi ; Anai, Hirokazu. / Construction of explicit optimal value functions by a symbolic-numeric cylindrical algebraic decomposition. Computer Algebra in Scientific Computing - 13th International Workshop, CASC 2011, Proceedings. 2011. pp. 239-250 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{2949f958a1c5406f8ea8d3180935a780,
title = "Construction of explicit optimal value functions by a symbolic-numeric cylindrical algebraic decomposition",
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.",
author = "Hidenao Iwane and Akifumi Kira and Hirokazu Anai",
year = "2011",
month = "9",
day = "20",
doi = "10.1007/978-3-642-23568-9_19",
language = "English",
isbn = "9783642235672",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "239--250",
booktitle = "Computer Algebra in Scientific Computing - 13th International Workshop, CASC 2011, Proceedings",

}

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 -