Reference:
Stanley Bak, Taylor T. Johnson, "Periodically-Scheduled Controller Analysis using Hybrid Systems Reachability and Continuization", In 36th IEEE Real-Time Systems Symposium (RTSS 2015), IEEE Computer Society, San Antonio, Texas, 2015, dec.
Bibtex Entry:
@InProceedings{bak2015rtss,
Title = {Periodically-Scheduled Controller Analysis using Hybrid Systems Reachability and Continuization},
Author = {Stanley Bak and Taylor T. Johnson},
Booktitle = {36th IEEE Real-Time Systems Symposium (<a href="http://2015.rtss.org/">RTSS 2015</a>)},
Year = {2015},
Address = {San Antonio, Texas},
Month = dec,
Publisher = {IEEE Computer Society},
pdf = {http://www.taylortjohnson.com/research/bak2015rtss.pdf},
}