Verifying safety and persistence properties of hybrid systems using flowpipes and continuous invariants

Andrew Sogokon, Paul Jackson, and Taylor T. Johnson

Download case study models used for evaluation (zip)