1 Formal Models for Stability Analysis : Verifying Average Dwell Time * Sayan Mitra MIT,CSAIL [email protected] Research Qualifying Exam 20 th December.