Large-Scale Linear Systems from Order-Reduction (Benchmark Proposal)

Tran, Hoang-Dung; Nguyen, Luan Viet; Johnson, Taylor T.

by Hoang-Dung Tran, Luan Viet Nguyen, Taylor T. Johnson

Reference:

Hoang-Dung Tran, Luan Viet Nguyen, Taylor T. Johnson, "Large-Scale Linear Systems from Order-Reduction (Benchmark Proposal)", In 3rd Applied Verification for Continuous and Hybrid Systems Workshop (ARCH), Vienna, Austria, 2016, apr.

Bibtex Entry:

@InProceedings{tran2016arch,
  author =    {Hoang-Dung Tran and Luan Viet Nguyen and Taylor T. Johnson},
  title =     {Large-Scale Linear Systems from Order-Reduction (Benchmark Proposal)},
  booktitle = {3rd Applied Verification for Continuous and Hybrid Systems Workshop (ARCH)},
  year =      {2016},
  address =   {Vienna, Austria},
  month =     apr,
  pdf = {http://www.taylortjohnson.com/research/tran2016arch.pdf},
}