Periodically-Scheduled Controller Analysis using Hybrid Systems Reachability and Continuization

Bak, Stanley; Johnson, Taylor T.

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},
}