Verifying safety and persistence properties of hybrid systems using flowpipes and continuous invariants

Sogokon, Andrew; Jackson, Paul; Johnson, Taylor T.

doi:10.1007/978-3-319-57288-8_14

by Andrew Sogokon, Paul Jackson, Taylor T. Johnson

Reference:

Andrew Sogokon, Paul Jackson, Taylor T. Johnson, "Verifying safety and persistence properties of hybrid systems using flowpipes and continuous invariants", In 9th NASA Formal Methods Symposium (NFM 2017), 2017, may.

Bibtex Entry:

@InProceedings{sogokon2017nfm,
  author =    {Andrew Sogokon and Paul Jackson and Taylor T. Johnson},
  title =     {Verifying safety and persistence properties of hybrid systems using flowpipes and continuous invariants},
  booktitle = {9th NASA Formal Methods Symposium (NFM 2017)},
  year =      {2017},
  month =     may,
  owner =     {tjohnson},
  doi = {10.1007/978-3-319-57288-8_14},
   acmid = {},
  pdf = {http://www.taylortjohnson.com/research/sogokon2017nfm.pdf},
}