Stephen Prajna, Ph.D.
Affiliations: | 2005 | California Institute of Technology, Pasadena, CA |
Area:
System Science Engineering, Electronics and Electrical Engineering, Computer ScienceGoogle:
"Stephen Prajna"Parents
Sign in to add mentor| John Comstock Doyle | grad student | 2005 | Caltech | |
| (Optimization-based methods for nonlinear and hybrid systems verification.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Papachristodoulou A, Prajna S. (2009) Robust stability analysis of nonlinear hybrid systems Ieee Transactions On Automatic Control. 54: 1035-1041 |
| Prajna S, Rantzer A. (2007) Convex Programs for Temporal Verification of Nonlinear Dynamical Systems Siam Journal On Control and Optimization. 46: 999-1021 |
| Prajna S. (2006) Barrier certificates for nonlinear model validation Automatica. 42: 117-126 |
| Prajna S, Rantzer A. (2005) On the necessity of barrier certificates Ifac Proceedings Volumes. 38: 526-531 |
| Prajna S, Parrilo PA, Rantzer A. (2004) Nonlinear control synthesis by convex optimization Ieee Transactions On Automatic Control. 49: 310-314 |
| Prajna S, Rantzer A. (2003) On Homogeneous Density Functions Lecture Notes in Control and Information Sciences. 286: 261-274 |