Nonlinear models
Here are the models with nonlinear dynamics.
Name | State dim | Input dim | Safesty Property | Application Domain | Nominal Runtime |
---|---|---|---|---|---|
automaticlanechange_system | 6 | - | - | - | |
biomodel7d | 7 | - | - | - | |
biomodel9d | 9 | - | - | - | |
bouncingballnonlinear | 2 | - | - | - | |
brusselator | 2 | - | - | - | |
buckling_column | 2 | - | - | - | |
cardiac_cell | 3 | - | - | - | |
coupled_vanderpol | 4 | - | - | - | |
doublegyre | 2 | - | - | - | |
henon_heiles | 4 | - | - | - | |
jet_engine | 2 | - | - | - | |
lorenz | 3 | - | - | - | |
lotka_volterra | 2 | - | - | - | |
powertrain_control | 5 | - | - | - | |
robot_arm | 2 | - | - | - | |
roessler | 3 | - | - | - | |
spiking_neuron | 2 | - | - | - | |
spring_pendulum | 4 | - | - | - | |
steam_governor | 3 | - | - | - | |
vanderpol | 2 | - | - | - |