Locally optimal decomposition for autonomous obstacle avoidance with the Tunnel-MILP algorithm. - Michael P. Vitus; Steven Lake Waslander; Claire J. Tomlin (CDC, 2008)

On piecewise quadratic control-Lyapunov functions for switched linear systems. - Wei Zhang 013; Alessandro Abate; Michael P. Vitus; Jianghai Hu (CDC, 2009)

Stanford Testbed of Autonomous Rotorcraft for Multi-Agent Control. - Gabriel M. Hoffmann; Steven Lake Waslander; Michael P. Vitus; Haomiao Huang; Jeremy H. Gillula; Vijay Pradeep; Claire J. Tomlin (IROS, 2009)

Design and Analysis of Hybrid Systems, with Applications to Robotic Aerial Vehicles. - Jeremy H. Gillula; Haomiao Huang; Michael P. Vitus; Claire J. Tomlin (ISRR, 2009)

Exponential stabilization of discrete-time switched linear systems. - Wei Zhang 013; Alessandro Abate; Jianghai Hu; Michael P. Vitus (Autom., 2009)

On sensor scheduling of linear dynamical systems with error bounds. - Michael P. Vitus; Wei Zhang 013; Alessandro Abate; Jianghai Hu; Claire J. Tomlin (CDC, 2010)

On the optimal solutions of the infinite-horizon linear sensor scheduling problem. - Wei Zhang 013; Michael P. Vitus; Jianghai Hu; Alessandro Abate; Claire J. Tomlin (CDC, 2010)

Design of guaranteed safe maneuvers using reachable sets: Autonomous quadrotor aerobatics in theory and practice. - Jeremy H. Gillula; Haomiao Huang; Michael P. Vitus; Claire J. Tomlin (ICRA, 2010)

Sensor Placement for Improved Robotic Navigation. - Michael P. Vitus; Claire J. Tomlin (Robotics: Science and Systems, 2010)

On feedback design and risk allocation in chance constrained control. - Michael P. Vitus; Claire J. Tomlin (CDC/ECC, 2011)

Closed-loop belief space planning for linear, Gaussian systems. - Michael P. Vitus; Claire J. Tomlin (ICRA, 2011)

Robust Adaptive Coverage for Robotic Sensor Networks. - Mac Schwager; Michael P. Vitus; Daniela Rus; Claire J. Tomlin (ISRR, 2011)

Applications of hybrid reachability analysis to robotic aerial vehicles. - Jeremy H. Gillula; Gabriel M. Hoffmann; Haomiao Huang; Michael P. Vitus; Claire J. Tomlin (Int. J. Robotics Res., 2011)

Hybrid Systems in Robotics. - Jerry Ding; Jeremy H. Gillula; Haomiao Huang; Michael P. Vitus; Wei Zhang 013; Claire J. Tomlin (IEEE Robotics Autom. Mag., 2011)

A hybrid method for chance constrained control in uncertain environments. - Michael P. Vitus; Claire J. Tomlin (CDC, 2012)

Verification and control of hybrid systems using reachability analysis with machine learning. - Anil Aswani; Jerry Ding; Haomiao Huang; Michael P. Vitus; Jeremy H. Gillula; Patrick Bouffard; Claire J. Tomlin (HSCC, 2012)

A hierarchical method for stochastic motion planning in uncertain environments. - Michael P. Vitus; Wei Zhang 013; Claire J. Tomlin (IROS, 2012)

On efficient sensor scheduling for linear dynamical systems. - Michael P. Vitus; Wei Zhang 013; Alessandro Abate; Jianghai Hu; Claire J. Tomlin (Autom., 2012)

A probabilistic approach to planning and control in autonomous urban driving. - Michael P. Vitus; Claire J. Tomlin (CDC, 2013)

Convexity verification for a hybrid chance constrained method in stochastic control problems. - Zhengyuan Zhou; Michael P. Vitus; Claire J. Tomlin (ACC, 2014)

Robust Adaptive Coverage Control for Robotic Sensor Networks. - Mac Schwager; Michael P. Vitus; Samantha Powers; Daniela Rus; Claire J. Tomlin (IEEE Trans. Control. Netw. Syst., 2017)