The Maple package SyNRAC and its application to robust control design

Authors:
Hitoshi Yanami;Hirokazu Anai
Affiliations:
Information Technology Core Laboratories, Fujitsu Laboratories Ltd., Kamikodanaka 4-1-1, Nakahara-ku, Kawasaki 211-8588, Japan and CREST, Japan Science and Technology Agency, Kawaguchi Center Buil ...;Information Technology Core Laboratories, Fujitsu Laboratories Ltd., Kamikodanaka 4-1-1, Nakahara-ku, Kawasaki 211-8588, Japan and CREST, Japan Science and Technology Agency, Kawaguchi Center Buil ...
Venue:
Future Generation Computer Systems
Year:
2007

Citing 9
Cited 4

The algorithmic analysis of hybrid systems

Theoretical Computer Science - Special issue on hybrid systems
Robust multi-objective feedback design by quantifier elimination

Journal of Symbolic Computation - Special issue: applications of quantifier elimination
Simplification of quantifier-free formulae over ordered fields

Journal of Symbolic Computation - Special issue: applications of quantifier elimination
On Hybrid Petri Nets

Discrete Event Dynamic Systems
Structure preservation: a challenge in computational control

Future Generation Computer Systems - Selected papers on theoretical and computational aspects of structural dynamical systems in linear algebra and control
Krylov subspace methods for large-scale matrix problems in control

Future Generation Computer Systems - Selected papers on theoretical and computational aspects of structural dynamical systems in linear algebra and control
Automatic differentiation and nonlinear controller design by exact linearization

Future Generation Computer Systems
Robust Industrial Control Systems: Optimal Design Approach for Polynomial Systems

Robust Industrial Control Systems: Optimal Design Approach for Polynomial Systems
Revisiting some control schemes for chaotic synchronization with mathematica

ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part III

Symbolic/numeric analysis of chaotic synchronization with a CAS

Future Generation Computer Systems
An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination

Proceedings of the 2009 conference on Symbolic numeric computation
Construction of explicit optimal value functions by a symbolic-numeric cylindrical algebraic decomposition

CASC'11 Proceedings of the 13th international conference on Computer algebra in scientific computing
Variant quantifier elimination

Journal of Symbolic Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

We have been developing a toolbox on Maple, called SyNRAC, for solving real algebraic constraints derived from various engineering problems. Its main tools are real quantifier elimination and the simplification of quantifier-free formulas. We illustrate algorithms implemented in SyNRAC, give some examples of how its commands are used, and present its application to design problems in systems and control theory.