Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants (bibtex)

by A Sogokon, PB Jackson and Taylor T. Johnson

Reference:

A Sogokon, PB Jackson and Taylor T. Johnson, "Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants", Journal of Automated Reasoning (JAR), Springer, vol. 63, no. 4, pp. 1005–1029, 2019.

Bibtex Entry:

@article{sogokon2019jar,
  title = {Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants},
  author = {A Sogokon and PB Jackson and Taylor T. Johnson},
  year = {2019},
  month = dec,
  journal = {Journal of Automated Reasoning (JAR), Springer},
  volume = {63},
  number = {4},
  pages = {1005--1029},
  doi = {10.1007/s10817-018-9497-x},
  publabel = {J20},
  pubtype = {J},
  dblp = {journals/jar/SogokonJJ19},
  pdf = "research/sogokon2019jar.pdf",
}