-
1
-
-
0034539895
-
Fixed-structure robust controller synthesis based on sign definite condition by a special quantifier elimination
-
H. Anai arid S. Hara. Fixed-structure robust controller synthesis based on sign definite condition by a special quantifier elimination. In Proceedings of American Control Conference 2000, pp. 1312-1316, 2000.
-
(2000)
Proceedings of American Control Conference 2000
, pp. 1312-1316
-
-
Anai, H.1
Hara, S.2
-
2
-
-
12744281993
-
Linear programming approach to robust controller design by a quantifier elimination
-
H. Anai and S. Hara. Linear programming approach to robust controller design by a quantifier elimination. In Proceedings of SICE Annual Conference 2002 (Osaka, Japan), pp.863-869, 2002.
-
(2002)
Proceedings of SICE Annual Conference 2002 (Osaka, Japan)
, pp. 863-869
-
-
Anai, H.1
Hara, S.2
-
3
-
-
17744376045
-
Fixed-structure robust controller synthesis based on symbolic-numeric computation: Design algorithms with a CACSD toolbox
-
H. Anai, H. Yanami, K. Sakabe, and S. Hara. Fixed-structure robust controller synthesis based on symbolic-numeric computation: design algorithms with a CACSD toolbox (invited paper). In Proceedings of CCA/ISIC/CACSD 2004 (Taipei, Taiwan), pp. 1540-1545, 2004.
-
(2004)
Proceedings of CCA/ISIC/CACSD 2004 (Taipei, Taiwan)
, pp. 1540-1545
-
-
Anai, H.1
Yanami, H.2
Sakabe, K.3
Hara, S.4
-
4
-
-
35248832993
-
SyNRAC: A maple-package for solving real algebraic constraints
-
Springer
-
H. Anai and H. Yanami. SyNRAC: A maple-package for solving real algebraic constraints. In Proceedings of International Workshop on Computer Algebra Systems and their Applications (CASA) 2003 (Saint Petersburg, Russian Federation), P.M.A. Shot et al. (Eds.): ICCS 2003, LNCS 2657, pp.828-837. Springer, 2003.
-
(2003)
Proceedings of International Workshop on Computer Algebra Systems and Their Applications (CASA) 2003 (Saint Petersburg, Russian Federation), P.M.A. Shot et Al. (Eds.): ICCS 2003, LNCS
, vol.2657
, pp. 828-837
-
-
Anai, H.1
Yanami, H.2
-
5
-
-
0346109328
-
Using galois ideals for computing relative resolvents
-
P. Aubry and A. Valibouze. Using galois ideals for computing relative resolvents. Journal of Symbolic Computation, 30: pp.635-651, 2000.
-
(2000)
Journal of Symbolic Computation
, vol.30
, pp. 635-651
-
-
Aubry, P.1
Valibouze, A.2
-
6
-
-
0003885601
-
-
B. Caviness and J. Johnson, editors. Texts and Monographs in Symbolic Computation, Springer, Berlin, Heidelberg, New York
-
B. Caviness and J. Johnson, editors. Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and Monographs in Symbolic Computation, Springer, Berlin, Heidelberg, New York, 1998.
-
(1998)
Quantifier Elimination and Cylindrical Algebraic Decomposition
-
-
-
7
-
-
0003908675
-
-
Undergraduate Texts in Mathematics. Springer-Verlag, New York, Berlin, Heidelberg
-
D. Cox, J. Little, and D. O'Shea. Ideals, Varieties and Algorithms. Undergraduate Texts in Mathematics. Springer-Verlag, New York, Berlin, Heidelberg, 1992.
-
(1992)
Ideals, Varieties and Algorithms
-
-
Cox, D.1
Little, J.2
O'Shea, D.3
-
8
-
-
0003868058
-
-
Graduate Texts in Mathematics Springer-Verlag, New York, Berlin, Heidelberg
-
D. Cox, J. Little, and D. O'Shea. Using Algebraic Geometry. Graduate Texts in Mathematics 185. Springer-Verlag, New York, Berlin, Heidelberg, 1998.
-
(1998)
Using Algebraic Geometry
, vol.185
-
-
Cox, D.1
Little, J.2
O'Shea, D.3
-
9
-
-
0031211750
-
Robust multi-objective feedback design by quantifier elimination
-
P. Dorato, W. Yang, and C. Abdallah. Robust multi-objective feedback design by quantifier elimination. J. Symb. Comp. 24, pp. 153-159, 1997.
-
(1997)
J. Symb. Comp.
, vol.24
, pp. 153-159
-
-
Dorato, P.1
Yang, W.2
Abdallah, C.3
-
10
-
-
0041913269
-
A combinatorial algorithm solving some quantifier elimination problems
-
B.F. Caviness and J.R. Johnson, editors, Texts and Monographs in Symbolic Computation, Springer, Wien, New York
-
L. González-Vega. A. combinatorial algorithm solving some quantifier elimination problems. In B.F. Caviness and J.R. Johnson, editors, Quantifier Elimination and Cylindrical Algebraic Decomposition, Texts and Monographs in Symbolic Computation, pp.365-375. Springer, Wien, New York, 1998.
-
(1998)
Quantifier Elimination and Cylindrical Algebraic Decomposition
, pp. 365-375
-
-
González-Vega, L.1
-
11
-
-
0042414340
-
Sturm-habicht sequences determinants and real roots of univariate polynomials
-
B.F. Caviness and J.R. Johnson, editors, Texts and Monographs in Symbolic Computation, Springer, Wien, New York
-
L. González-Vega, T. Recio, H. Lombardi, and M.-F. Roy. Sturm-habicht sequences determinants and real roots of univariate polynomials. In B.F. Caviness and J.R. Johnson, editors, Quantifier Elimination and Cylindrical Algebraic Decomposition, Texts and Monographs in Symbolic Computation, pp.300-316. Springer, Wien, New York, 1998.
-
(1998)
Quantifier Elimination and Cylindrical Algebraic Decomposition
, pp. 300-316
-
-
González-Vega, L.1
Recio, T.2
Lombardi, H.3
Roy, M.-F.4
-
13
-
-
8744253243
-
∞, control system design by a parameter space approach
-
Kobe, Japan
-
∞, control system design by a parameter space approach. In Proceedings of MTNS-91, pages 287-292, Kobe, Japan, 1991.
-
(1991)
Proceedings of MTNS-91
, pp. 287-292
-
-
Hara, S.1
Kimura, T.2
Kondo, R.3
-
14
-
-
0031208954
-
Nonlinear control system design by quantifier elimination
-
August Applications of quantifier elimination (Albuquerque, NM, 1995)
-
M. Jirstrand. Nonlinear control system design by quantifier elimination. Journal of Symbolic Computation, 24(2): pp.137-152, August 1997. Applications of quantifier elimination (Albuquerque, NM, 1995).
-
(1997)
Journal of Symbolic Computation
, vol.24
, Issue.2
, pp. 137-152
-
-
Jirstrand, M.1
-
15
-
-
12744262427
-
A robust control system design by a parameter space approach based on sign definition condition
-
Soul, Korea
-
T. Kimura and S. Hara. A robust control system design by a parameter space approach based on sign definition condition. In Proceedings of KACC-91, pp.1533-1538, Soul, Korea, 1991.
-
(1991)
Proceedings of KACC-91
, pp. 1533-1538
-
-
Kimura, T.1
Hara, S.2
-
17
-
-
4344653358
-
Implementation of prime decomposition of polynomial ideals over small finite fields
-
M. Noro and K. Yokoyama. Implementation of prime decomposition of polynomial ideals over small finite fields Journal of Symbolic Computation, 38 (2004) pp.1227-1246.
-
(2004)
Journal of Symbolic Computation
, vol.38
, pp. 1227-1246
-
-
Noro, M.1
Yokoyama, K.2
|