University of Illinois at Urbana-Champaign Block I

C2E2 hybrid verification engine

analyze hybrid system models, fast

Main menu

Skip to primary content
  • Home
  • Documents
  • Download
  • Examples
    • Analog circuits
    • Automatic lane change system (driver assist)
    • Brusselator
    • Buckling Column
    • Cardiac Cell
    • Helicopter
    • Jet Engine
    • Linear Thermostat
    • Navigation System
    • Powertrain Challenge
    • Powertrain Control
    • Robot Arm
    • Van der Pol

Examples

Model Name # Variables # Modes
Adaptive Curies Control 6 7
Brusselator 2 1

Buckling Column

2 1

Cardiac Cell

2 2

Jet Engine

2 1

Linear Thermostat

1 2

Navigation System

4 4

Powertrain Control

4 2

Helicopter

28 1

Robot Arm

4 1

Van der Pol

2 1

 

Privacy
© 2022 University of Illinois Board of Trustees