Title of article

Barrier certificates for nonlinear model validation

Author/Authors

Stephen Prajna، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 2006

Pages

10

From page

117

To page

126

Keywords

Model validation , Nonlinear systems , Barrier certificates , Semidefinite programming relaxations

Journal title

Automatica

Serial Year

2006

Journal title

Automatica

Record number

370367