Future generation computer systems, 2007-06, Vol.23 (5), p.721-726
2007
Volltextzugriff (PDF)
Details
- Autor(en) / Beteiligte
- Titel
- The Maple package SyNRAC and its application to robust control design
- Ist Teil von
- Future generation computer systems, 2007-06, Vol.23 (5), p.721-726
- Ort / Verlag
- Elsevier B.V
- Erscheinungsjahr
- 2007
- Quelle
- Access via ScienceDirect (Elsevier)
- Beschreibungen/Notizen
- 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.
- Sprache
- Englisch
- Identifikatoren
- ISSN: 0167-739XeISSN: 1872-7115DOI: 10.1016/j.future.2006.10.009Titel-ID: cdi_crossref_primary_10_1016_j_future_2006_10_009
- Format
- –
- Schlagworte
- Design, Quantifier elimination, Robust control, Symbolic computation, SyNRAC