Decoupled simulating abstractions of non-linear ordinary differential equations

Sogokon, Andrew; Ghorbal, Khalil; Johnson, Taylor T.

doi:10.1007/978-3-319-48989-6_38

by Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson

Abstract:

Reference:

Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson, "Decoupled simulating abstractions of non-linear ordinary differential equations", Chapter in Proceedings of the 21st International Symposium on Formal Methods (FM 2016), Limassol, Cyprus, 2016, dec.

Bibtex Entry:

@incollection{sogokon2016fm,
        author          =       {Andrew Sogokon and Khalil Ghorbal and Taylor T. Johnson},
        title           =       {Decoupled simulating abstractions of non-linear ordinary differential equations},
        year            =       {2016},
        booktitle       =       {Proceedings of the 21st International Symposium on Formal Methods (<a href="http://fm2016.cs.ucy.ac.cy">FM 2016</a>)},
    address     =   {Limassol, Cyprus},
        month           =       dec,
#   isbn        =   {978-3-642-32758-2},
#   volume      =   {7436},
#   gsid        =   {6661230319939383532},
#   editor      =   {Giannakopoulou, Dimitra and M\'{e}ry, Dominique},
    doi     =   {10.1007/978-3-319-48989-6_38},
#   publisher   =   {Springer Berlin Heidelberg},
#   pages       =   {252--266},
        abstract        =       {},
        pdf = {http://www.taylortjohnson.com/research/sogokon2016fm.pdf},
}