Sogokon, A., K. Ghorbal, and T. T. Johnson,
"Decoupling Abstractions of Non-linear Ordinary Differential Equations",
FM 2016, 21st International Symposium on Formal Methods, vol. 9995 Lecture Notes in Computer Science, Limassol, Cyprus, Springer, pp. 628-644, 11/2016.
Abstract
Download: decoupling-abstractions-fm-2016.pdf (366.46 KB)
Sogokon, A., P. B. Jackson, and T. T. Johnson,
"Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants",
NASA Formal Methods - 9th International Symposium, vol. 10227, Moffett Field, CA, USA, Springer, pp. 194-211, 05/2017.
Abstract
Download: persistence-safety-nfm-2017.pdf (1.25 MB)