Hybrid Systems Modeling and Verification Rajeev Alur University of Pennsylvania www.cis.upenn.edu/~alur/ Dynamics & Verification Workshop, July 2001 What are Hybrid Systems?…