Linear models

Here are the models with linear dynamics.

NameState dimInput dimSafety PropertyApplication DomainNominal Runtime (sec)
beam348---
bouncing_ball2---
building48---
cdplayer120---
clocked_thermostat2---
crane6---
ellipse2---
filtered_oscillator3---
fivedimsys5---
fom1006---
heat200---
helicopter28---
iss270---
linear_switching1---
mna1578---
mna510913---
motor8---
navigation_system4---
pde84---
projectile4---
thermostat1---
two_tanks2---
vehicleplatoon1030---
vehicleplatoon515---