Hybrid System Design and Embedded Controller Synthesis for Multi-Modal Control - Michigan: UMI Dissertation Services, 2000