Browse by Committee Member
Jump to: 2005 Number of items: 2. 2005Papachristodoulou, 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 |