Real-Time Reachability for Verified Simplex Design

Johnson, Taylor T.; Bak, Stanley; Caccamo, Marco; Sha, Lui

doi:10.1145/2723871

by Taylor T. Johnson, Stanley Bak, Marco Caccamo, Lui Sha

Reference:

Taylor T. Johnson, Stanley Bak, Marco Caccamo, Lui Sha, "Real-Time Reachability for Verified Simplex Design", In ACM Transactions on Embedded Computing Systems (TECS), ACM, vol. 15, no. 2, New York, NY, USA, pp. 26:1–26:27, 2016, feb.

Bibtex Entry:

@article{johnson2016tecs,
  Title                    = {Real-Time Reachability for Verified Simplex Design},
  Author                   = {Taylor T. Johnson and Stanley Bak and Marco Caccamo and Lui Sha},
  journal                = {ACM Transactions on Embedded Computing Systems (<a href="http://www.acm.org/tecs/">TECS</a>)},
  pdf = {http://www.taylortjohnson.com/research/johnson2016tecs.pdf},
  Owner                    = {tjohnson},
  Timestamp                = {2014.07.21},
 volume = {15},
 number = {2},
 month = feb,
 year = {2016},
 issn = {1539-9087},
 pages = {26:1--26:27},
 articleno = {26},
 numpages = {27},
 doi = {10.1145/2723871},
 acmid = {2723871},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Formal verification, cyber-physical systems, hybrid systems},
}