Thesis Seminar

Friday January 14, 2005 3:00 PM

Optimization-Based Methods for Nonlinear and Hybrid Systems Verification

Location: Steele 102
"Optimization-Based Methods for Nonlinear and Hybrid Systems Verification," Stephen Prajna, graduate student in control and dynamical systems. Caltech.

Contact: Stephen Prajna at x3367 prajna@cds.caltech.edu