Hybrid models
Here are the models with hybrid systems.
| Name | State dim | Input dim | Safesty Property | Application Domain | Nominal Runtime |
|---|---|---|---|---|---|
| automaticlanechange_system | 6 | - | - | - | |
| bouncing_ball | 2 | - | - | - | |
| bouncingballnonlinear | 2 | - | - | - | |
| cardiac_cell | 3 | - | - | - | |
| clocked_thermostat | 2 | - | - | - | |
| filtered_oscillator | 3 | - | - | - | |
| linear_switching | 1 | - | - | - | |
| navigation_system | 4 | - | - | - | |
| powertrain_control | 5 | - | - | - | |
| spiking_neuron | 2 | - | - | - | |
| thermostat | 1 | - | - | - | |
| two_tanks | 2 | - | - | - |