Rantzer, Anders

Committee Member — 2 thesises

• Prajna, Stephen — Optimization-Based Methods for Nonlinear and Hybrid Systems Verification (2005, Dissertation (Ph.D.))
• Papachristodoulou, Antonis — Scalable Analysis of Nonlinear Systems Using Convex Optimization (2005, Dissertation (Ph.D.))