Slides
Timed Automata
(these slides are based on the slides by Rajeev Alur at UPenn).
Slides
Reachability analysis
of Hybrid Systems with linear continuous dynamics