Generating invariants for non-linear hybrid systems
Under an Elsevier user license
open archive
Keywords
Formal methods
Inductive invariant generation
Hybrid systems
Linear algebra
Cited by (0)
- 1
FAPESP grant number 2011/08947-1 and FAPESP/BEPE grant number 2013/04734-9.
Copyright © 2015 Elsevier B.V. All rights reserved.