Wongpiromsarn, Murray, and Lamperski verify ALICE's control system

Tichakorn Wongpiromsarn, Sayan Mitra, Richard M. Murray, and Andrew Lamperski (2008) Periodically Controlled Hybrid Systems: Verifying A Controller for An Autonomous Vehicle. Control and Dynamical Systems Technical Report. California Institute of Technology, Pasadena, CA. [CaltechCDSTR:2008.003]