Periodically-Scheduled Controller Analysis using Hybrid Systems Reachability and Continuization (bibtex)

Reference:

S Bak and Taylor T. Johnson, "Periodically-Scheduled Controller Analysis using Hybrid Systems Reachability and Continuization", In 36th IEEE Real-Time Systems Symposium (RTSS'15), IEEE, pp. 195–205, 2015.

Bibtex Entry:

@inproceedings{bak2015rtss,
  title = {Periodically-Scheduled Controller Analysis using Hybrid Systems Reachability and Continuization},
  author = {S Bak and Taylor T. Johnson},
  year = {2015},
  month = dec,
  booktitle = {36th IEEE Real-Time Systems Symposium (RTSS'15)},
  pages = {195--205},
  publisher = {IEEE},
  doi = {10.1109/RTSS.2015.26},
  publabel = {C13},
  pubtype = {C},
  dblp = {conf/rtss/BakJ15},
  pdf = "research/bak2015rtss.pdf",
}