메뉴 건너뛰기




Volumn 2005, Issue , 2005, Pages 21-28

Sum of roots with positive real parts

Author keywords

Gr bner basis; Optimal regulator control; Quantifier elimination; Resul tant; Sum of roots with positive real parts

Indexed keywords

CODES (SYMBOLS); COMPUTATION THEORY; PARAMETER ESTIMATION; POLYNOMIALS;

EID: 33749580982     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1073884.1073890     Document Type: Conference Paper
Times cited : (13)

References (20)
  • 1
    • 0034539895 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 5
    • 0346109328 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • ∞, 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.