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)
Moore, M., S. Monemi, J. Wang, J. Marble, and S. Jones,
"Diagnostics and Integration in Electric Utilities",
IEEE Rural Electric Power Conference, Louisville, KY, pp. C2-1 throu, May, 2000.
Download: Moore_MS_5_0_2000_Diagnostic.pdf (491.92 KB)