Sciweavers

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

8

ICCS
2003
Springer

favoriteEmaildiscussreport

115views Applied Computing» more ICCS 2003»

SyNRAC: A Maple-Package for Solving Real Algebraic Constraints

13 years 10 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)