Browse by Committee Member
Jump to: P Number of items: 2. PPapachristodoulou, Antonis (2005) Scalable analysis of nonlinear systems using convex optimization. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05082005-100243 Prajna, Stephen (2005) Optimization-based methods for nonlinear and hybrid systems verification. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05272005-144358 |