Andrew Sogokon , Paul B. Jackson , Taylor T. Johnson : Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants.
Lee mas