Hybrid Systems: Computation and Control, Stanford 2002