Benchmarks for Safety Verification of Hybrid Systems

Stefan Ratschan and Zhikun She

March 30, 2011

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