Benchmarks for Safety Verification of Hybrid Systems

Stefan Ratschan and Zhikun She

May 17, 2006

• 1-FLOW
• 2-TANKS
• CAR
• CHASSIS
• CIRCUIT
• CLOCK
• CONVOI
• CONVOI-1
• ECO
• FOCUS
• HEATING
• MIXING
• MUTANT
• NAVIGATION
• REAL-EIGEN
• S-FOCUS
• TRIVIAL-HARD
• VAN-DER-POLE
• References