Nonlinear models

Here are the models with nonlinear dynamics.

NameState dimInput dimSafesty PropertyApplication DomainNominal Runtime
automaticlanechange_system6---
biomodel7d7---
biomodel9d9---
bouncingballnonlinear2---
brusselator2---
buckling_column2---
cardiac_cell3---
coupled_vanderpol4---
doublegyre2---
henon_heiles4---
jet_engine2---
lorenz3---
lotka_volterra2---
powertrain_control5---
robot_arm2---
roessler3---
spiking_neuron2---
spring_pendulum4---
steam_governor3---
vanderpol2---