Numerical Verification of Affine Systems with Up to a Billion Dimensions

Bak, Stanley; Tran, Hoang-Dung; Johnson, Taylor T.

doi:10.1145/3302504.3311792

by Stanley Bak, Hoang-Dung Tran, Taylor T. Johnson

Reference:

Stanley Bak, Hoang-Dung Tran, Taylor T. Johnson, "Numerical Verification of Affine Systems with Up to a Billion Dimensions", In Proceedings of the 22Nd ACM International Conference on Hybrid Systems: Computation and Control, ACM, New York, NY, USA, pp. 23–32, 2019, April.

Bibtex Entry:

@inproceedings{bak2019hscc,
 author = {Bak, Stanley and Tran, Hoang-Dung and Taylor T. Johnson},
 title = {Numerical Verification of Affine Systems with Up to a Billion Dimensions},
 booktitle = {Proceedings of the 22Nd ACM International Conference on Hybrid Systems: Computation and Control},
 series = {HSCC '19},
 year = {2019},
 isbn = {978-1-4503-6282-5},
 location = {Montreal, Quebec, Canada},
 pages = {23--32},
 numpages = {10},
 doi = {10.1145/3302504.3311792},
 acmid = {3311792},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {formal verification, hybrid systems, reachability},
 pdf = {http://taylortjohnson.com/research/bak2019hscc.pdf},
 month="April",
}