Slide 1Hybrid Systems Modeling and Analysis of Regulatory Pathways Rajeev Alur University of Pennsylvania www.cis.upenn.edu/~alur/ LSB, August 2006 Slide 2 State machines…