Order-reduction abstractions for safety verification of high-dimensional linear systems (bibtex)

by HD Tran, LV Nguyen, W Xiang and Taylor T. Johnson

Reference:

HD Tran, LV Nguyen, W Xiang and Taylor T. Johnson, "Order-reduction abstractions for safety verification of high-dimensional linear systems", Discrete Event Dynamic Systems (DEDS), Springer, vol. 27, no. 2, pp. 443–461, 2017.

Bibtex Entry:

@article{tran2017deds,
  title = {Order-reduction abstractions for safety verification of high-dimensional linear systems},
  author = {HD Tran and LV Nguyen and W Xiang and Taylor T. Johnson},
  year = {2017},
  month = apr,
  journal = {Discrete Event Dynamic Systems (DEDS), Springer},
  volume = {27},
  number = {2},
  pages = {443--461},
  doi = {10.1007/s10626-017-0244-y},
  publabel = {J6},
  pubtype = {J},
  dblp = {journals/deds/TranNXJ17},
  pdf = "research/tran2017deds.pdf",
}