-
1
-
-
80053167272
-
Invariance kernels of singleinput planar nonlinear systems
-
2011, 29-july 1 2011
-
M. Maggiore, B. Rawn, and P. Lehn, "Invariance kernels of singleinput planar nonlinear systems," in American Control Conference (ACC), 2011, 29 2011-july 1 2011, pp. 1420-1425.
-
(2011)
American Control Conference (ACC)
, pp. 1420-1425
-
-
Maggiore, M.1
Rawn, B.2
Lehn, P.3
-
2
-
-
27844594303
-
Barrier certificates for nonlinear model validation
-
Jan
-
S. Prajna, "Barrier Certificates for Nonlinear Model Validation," Automatica, vol. 42, no. 1, pp. 117-126, Jan. 2006.
-
(2006)
Automatica
, vol.42
, Issue.1
, pp. 117-126
-
-
Prajna, S.1
-
3
-
-
34548207741
-
A framework for worst-case and stochastic safety verification using barrier certificates
-
Aug
-
S. Prajna, A. Jadbabaie, and G. J. Pappas, "A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates," IEEE Transactions on Automatic Control, vol. 52, no. 8, pp. 1415-1428, Aug. 2007.
-
(2007)
IEEE Transactions on Automatic Control
, vol.52
, Issue.8
, pp. 1415-1428
-
-
Prajna, S.1
Jadbabaie, A.2
Pappas, G.J.3
-
4
-
-
0003503639
-
-
Ergebnisse der Mathematik und ihrer Grenzgebiete (3). Berlin: Springer-Verlag, translated from the 1987 French original, Revised by the authors
-
J. Bochnak, M. Coste, and M.-F. Roy, Real algebraic geometry, ser. Ergebnisse der Mathematik und ihrer Grenzgebiete (3). Berlin: Springer-Verlag, 1998, vol. 36, translated from the 1987 French original, Revised by the authors.
-
(1998)
Real Algebraic Geometry, ser
, vol.36
-
-
Bochnak, J.1
Coste, M.2
Roy, M.-F.3
-
6
-
-
1542266056
-
Semidefinite programming relaxations for semialgebraic problems
-
May
-
P. A. Parrilo, "Semidefinite programming relaxations for semialgebraic problems," Mathematical Programming, vol. 96, no. 2, pp. 293-320, May 2003.
-
(2003)
Mathematical Programming
, vol.96
, Issue.2
, pp. 293-320
-
-
Parrilo, P.A.1
-
7
-
-
84860624019
-
Compositional safety analysis using barrier certificates
-
ser. HSCC '12. New York, NY, USA: ACM
-
C. Sloth, G. J. Pappas, and R. Wisniewski, "Compositional safety analysis using barrier certificates," in Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, ser. HSCC '12. New York, NY, USA: ACM, 2012, pp. 15-24.
-
(2012)
Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control
, pp. 15-24
-
-
Sloth, C.1
Pappas, G.J.2
Wisniewski, R.3
-
8
-
-
33745749714
-
Definition of a 5-mw reference wind turbine for offshore system development
-
Tech. Rep
-
J. Jonkman, S. Butterfield, W. Musial, and G. Scott, "Definition of a 5-mw reference wind turbine for offshore system development," National Renewable Energy Laboratory, Tech. Rep., 2009.
-
(2009)
National Renewable Energy Laboratory
-
-
Jonkman, J.1
Butterfield, S.2
Musial, W.3
Scott, G.4
-
10
-
-
0000082954
-
Sums of squares of real polynomials
-
M. Choi, T. Lam, and B. Reznick, "Sums of squares of real polynomials," in Symposia in Pure Mathematics, vol. 58, no. 2, 1995, pp. 103-126.
-
(1995)
Symposia in Pure Mathematics
, vol.58
, Issue.2
, pp. 103-126
-
-
Choi, M.1
Lam, T.2
Reznick, B.3
-
11
-
-
1542266056
-
Semidefinite programming relaxations for semialgebraic problems
-
P. Parrilo, "Semidefinite programming relaxations for semialgebraic problems," Mathematical Programming, vol. 96, no. 2, pp. 293-320, 2003.
-
(2003)
Mathematical Programming
, vol.96
, Issue.2
, pp. 293-320
-
-
Parrilo, P.1
-
12
-
-
77957703812
-
LMI techniques for optimization over polynomials in control: A survey
-
G. Chesi, "LMI techniques for optimization over polynomials in control: A survey," IEEE Trans. Automatic Control, vol. 55, no. 11, pp. 2500-2510, 2010.
-
(2010)
IEEE Trans. Automatic Control
, vol.55
, Issue.11
, pp. 2500-2510
-
-
Chesi, G.1
|