Miscellaneous

Course Projects

• Safety verification and robustness analysis of neural networks

  • Course project for Convex and Robust Optimization.

• Inverted pendulum stabilization via learning-based MPC

  • Course project for Learning and Optimization.

• Video segmentation with global optimality guarantees

  • Course project for Nonlinear Programming.

Technical Reports

• Analysis and tuning of a flyweight-actuated continuously variable transmission

  • Mathematical model and tuning program for mechanical CVTs.

• Diffusion-based control of robotic swarms

  • Analysis and experimentation of a decentralized stochastic control law for spatial coverage control of swarms.

Notes

• How to write mathematics

  • Notes on ‘‘How to write mathematics’’ by Paul R. Halmos.

• Linux Surface: Setting up Ubuntu + i3 on a Surface Pro

  • Notes on setting up Linux on a Surface Pro laptop.

• Control theory: A brief introduction

  • Notes on basic control theory and synthesis I wrote for the Baja SAE CVT subteam members.

Useful Links

• Random, an exposition on probability theory and mathematical statistics.

• arXiv-sanity, a tool for efficiently navigating arXiv.

• Off the Convex Path, a blog dedicated to optimization topics in machine learning.

• jemdoc+MathJax, the markup language used to create this website.