I am currently a PhD student under Russ Tedrake and Alexandre Megretski. I am studying applications of convex optimization and algebraic verification to feedback stabilization and system identification. I received my S.B. in Computer Science and a M. Eng. from the EECS department at MIT.
|
| experience |
|
|
| papers |
|
Invariant Funnels around Trajectories using Sum-of-Squares Programming. accepted to IFAC 2011
Tobenkin, Manchester and Tedrake.
Regions of Attraction for Hybrid Limit Cycles of Walking Robots. accepted to IFAC 2011
Manchester, Tobenkin, Levashov, and Tedrake.
Convex Optimization In Identification Of Stable Non-Linear State Space Models. CDC 2010 (extended)
Tobenkin, Manchester, Wang, Megretski, and Tedrake.
LQR-Trees: Feedback Motion Planning via Sums-of-Squares Verification. IJRR 2010
Tedrake, Manchester, Tobenkin, and Roberts.
|
| interesting online books |
|
|
| projects |
|
|