-
1
-
-
1542266056
-
Semidefi nite programming relaxations for semialgebraic problems
-
P. Parrilo, 'Semidefi nite programming relaxations for semialgebraic problems" Mathematical Programming, no. 96:2, pp. 293-320, 2003.
-
(2003)
Mathematical Programming
, vol.96
, Issue.2
, pp. 293-320
-
-
Parrilo, P.1
-
2
-
-
0035238864
-
Global optimization with polynomials and the problem of moments
-
J. Lasserre, 'Global optimization with polynomials and the problem of moments," SIAM J. Optimiz., vol. 11(3), pp. 796-817, 2000.
-
(2000)
SIAM J. Optimiz.
, vol.11
, Issue.3
, pp. 796-817
-
-
Lasserre, J.1
-
4
-
-
0040277331
-
-
Springer, Berlin
-
J. Bochnak, M. Coste, and M-F. Roy, Géométrie algébrique réelle, Springer, Berlin, 1986.
-
(1986)
Géométrie Algébrique Réelle
-
-
Bochnak, J.1
Coste, M.2
Roy, M.-F.3
-
5
-
-
0001250675
-
The k-moment problem for compact semialgebraic sets
-
K. Schmüdgen, 'The k-moment problem for compact semialgebraic sets," Mathematische Annalen, vol. 289, pp. 203-206, 1991.
-
(1991)
Mathematische Annalen
, vol.289
, pp. 203-206
-
-
Schmüdgen, K.1
-
6
-
-
0000135301
-
Positive polynomials on compact semialgebraic sets
-
M. Putinar, 'Positive polynomials on compact semialgebraic sets," Indiana University Mathematical Journal, vol. 42, pp. 969-984, 1993.
-
(1993)
Indiana University Mathematical Journal
, vol.42
, pp. 969-984
-
-
Putinar, M.1
-
7
-
-
0036990568
-
Gloptipoly: Global optimization over polynomials with matlab and sedumi
-
D. Henrion and J. Lasserre, 'Gloptipoly: Global optimization over polynomials with matlab and sedumi," in Proc. of the Conf. on Decision and Control, 2002, pp. 747-752.
-
(2002)
Proc. of the Conf. on Decision and Control
, pp. 747-752
-
-
Henrion, D.1
Lasserre, J.2
-
8
-
-
0000082954
-
Sums of squares of real polynomials
-
M. Choi, T. Lam, and B. Reznick, 'Sums of squares of real polynomials," in Proc. Sympos. Pure Math., 1995, vol. 58(2), pp. 103-126.
-
(1995)
Proc. Sympos. Pure Math.
, vol.58
, Issue.2
, pp. 103-126
-
-
Choi, M.1
Lam, T.2
Reznick, B.3
-
9
-
-
0032064831
-
An algorithm for sums of squares of real polynomials
-
V. Powers and T. Wörmann, 'An algorithm for sums of squares of real polynomials,"J. Pure Appl. Algebra, vol. 127, pp. 99-104, 1998.
-
(1998)
J. Pure Appl. Algebra
, vol.127
, pp. 99-104
-
-
Powers, V.1
Wörmann, T.2
-
10
-
-
0036990890
-
Introducing sostools: A general purpose sum of squares programming solver
-
S. Prajna, A. Papachristodoulou, and P. Parrilo, 'Introducing sostools: A general purpose sum of squares programming solver," in Proc. of the Conf. on Decision and Control, 2002, pp. 741-746.
-
(2002)
Proc. of the Conf. on Decision and Control
, pp. 741-746
-
-
Prajna, S.1
Papachristodoulou, A.2
Parrilo, P.3
-
12
-
-
0033296299
-
Using SeDuMi 1.02, a Matlab toolbox for optimizaton over symmetric cones
-
J. Sturm, 'Using SeDuMi 1.02, a Matlab toolbox for optimizaton over symmetric cones," Optimization Methods and Software, vol. 11-12, pp. 625-653, 1999, Available at http://fewcal.cub.nl/sturm/software/sedumi.html.
-
(1999)
Optimization Methods and Software
, vol.11-12
, pp. 625-653
-
-
Sturm, J.1
-
13
-
-
0003595806
-
-
SIAM, Philadelphia
-
S. Boyd, L. El Ghaoui, E. Feron, and V. Balakrishnan, Linear Matrix Inequalities in System and Control Theory, SIAM, Philadelphia, 1994.
-
(1994)
Linear Matrix Inequalities in System and Control Theory
-
-
Boyd, S.1
El Ghaoui, L.2
Feron, E.3
Balakrishnan, V.4
-
14
-
-
84944223332
-
Reach set computations using real quantifi er elimination
-
M. Di Benedetto and A. Sangiovanni-Vincentelli, Eds., number 2034 in Lecture Notes in Comp Sci, Springer
-
H. Anai and V. Weispfenning, 'Reach set computations using real quantifi er elimination," in Hybrid Systems: Comp and Ctrl, M. Di Benedetto and A. Sangiovanni-Vincentelli, Eds. 2001, number 2034 in Lecture Notes in Comp Sci, pp. 63-76, Springer.
-
(2001)
Hybrid Systems: Comp and Ctrl
, pp. 63-76
-
-
Anai, H.1
Weispfenning, V.2
-
15
-
-
2942687307
-
Minimizing polynomial functions
-
P. Parrilo and B. Sturmfels, 'Minimizing polynomial functions," in Workshop on Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science, held at DIMACS, Rutgers University, March 12-16, 2001, available at http://control.ee.ethz.ch/~parrilo.
-
(2001)
Workshop on Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science, Held at DIMACS, Rutgers University, March 12-16
-
-
Parrilo, P.1
Sturmfels, B.2
-
16
-
-
0036992823
-
On the construction of Lyapunov functions using the sum of squares decomposition
-
A. Papachristodoulou and S. Prajna, 'On the construction of Lyapunov functions using the sum of squares decomposition," in Proc. of the Conf. on Decision and Control, 2002, pp. 3482-3487.
-
(2002)
Proc. of the Conf. on Decision and Control
, pp. 3482-3487
-
-
Papachristodoulou, A.1
Prajna, S.2
|