SyNRAC: A Maple-Package for Solving Real Algebraic Constraints

SyNRAC: A Maple-Package for Solving Real Algebraic Constraints
复制标题

DOI：
10.1007/3-540-44860-8_86
复制
发表时间：
2003-06
期刊：
--
影响因子：
--
通讯作者：
H. Anai;H. Yanami
H. Anai;H. Yanami
中科院分区：
其他
文献类型：
--
作者：
H. Anai;H. Yanami

文献摘要

被引文献

相似文献

在本文中，我们提出了一个Maple包，名为SyNRAC，用于解决各种工程问题的真实的代数约束。我们的主要工具是真实的量词消除，我们专注于它的鲁棒控制设计问题的应用。
In this paper we present a maple-package, named SyNRAC, for solving real algebraic constraints derived from various engineering problems. Our main tool is real quantifier elimination and we focus on its application to robust control design problems.