Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

26

ICCS
2003
Springer

favoriteEmaildiscussreport

115views Applied Computing» more ICCS 2003»

SyNRAC: A Maple-Package for Solving Real Algebraic Constraints

14 years 4 months ago

SyNRAC: A Maple-Package for Solving Real Algebraic Constraints

Download css.jaist.ac.jp

: We present a maple-package SyNRAC for solving real algebraic constraints aiming to realize a robust parametric control toolbox on MATLAB. Our main tool is real quantiﬁer elimination that enables us to accomplish a parameter space method for many robust control problems.

Hirokazu Anai, Hitoshi Yanami

Real-time Traffic

ICCS 2003 | Real Algebraic Constraints | Robust Control Problems | Robust Parametric Control |

claim paper

Related Content

» Symbolic Schedulability Analysis of RealTime Systems

» Efficiently Solving the Fractional Trust Region Problem

» Combining Topological and Directional Information for Spatial Reasoning

» TwoView Multibody Structure from Motion

» Combining Twoview Constraints For Motion Estimation

» ThreeView Multibody Structure from Motion

» Static Analysis of CLP Programs over Numeric Domains

» Differential Dynamic Logics

» SPARQ2L towards support for subgraph extraction queries in rdf databases

Post Info
More Details (n/a)

Added	06 Jul 2010
Updated	06 Jul 2010
Type	Conference
Year	2003
Where	ICCS
Authors	Hirokazu Anai, Hitoshi Yanami

Comments (0)