Linear models
Here are the models with linear dynamics.
Name | State dim | Input dim | Safety Property | Application Domain | Nominal Runtime (sec) |
---|---|---|---|---|---|
beam | 348 | - | - | - | |
bouncing_ball | 2 | - | - | - | |
building | 48 | - | - | - | |
cdplayer | 120 | - | - | - | |
clocked_thermostat | 2 | - | - | - | |
crane | 6 | - | - | - | |
ellipse | 2 | - | - | - | |
filtered_oscillator | 3 | - | - | - | |
fivedimsys | 5 | - | - | - | |
fom | 1006 | - | - | - | |
heat | 200 | - | - | - | |
helicopter | 28 | - | - | - | |
iss | 270 | - | - | - | |
linear_switching | 1 | - | - | - | |
mna1 | 578 | - | - | - | |
mna5 | 10913 | - | - | - | |
motor | 8 | - | - | - | |
navigation_system | 4 | - | - | - | |
pde | 84 | - | - | - | |
projectile | 4 | - | - | - | |
thermostat | 1 | - | - | - | |
two_tanks | 2 | - | - | - | |
vehicleplatoon10 | 30 | - | - | - | |
vehicleplatoon5 | 15 | - | - | - |