검색결과 : 6건
| No. | Article |
|---|---|
| 1 |
Robust Stability Analysis of Nonlinear Hybrid Systems Papachristodoulou A, Prajna S IEEE Transactions on Automatic Control, 54(5), 1035, 2009 |
| 2 |
A framework for worst-case and stochastic safety verification using barrier certificates Prajna S, Jadbabaie A, Pappas GJ IEEE Transactions on Automatic Control, 52(8), 1415, 2007 |
| 3 |
Convex programs for temporal verification of nonlinear dynamical systems Prajna S, Rantzer A SIAM Journal on Control and Optimization, 46(3), 999, 2007 |
| 4 |
Barrier certificates for nonlinear model validation Prajna S Automatica, 42(1), 117, 2006 |
| 5 |
SOS-based solution approach to polynomial LPV system analysis and synthesis problems Wu F, Prajna S International Journal of Control, 78(8), 600, 2005 |
| 6 |
Nonlinear control synthesis by convex optimization Prajna S, Parrilo PA, Rantzer A IEEE Transactions on Automatic Control, 49(2), 310, 2004 |