Reachability Analysis for High-Index Linear Differential Algebraic Equations (bibtex)

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

Reference:

HD Tran, LV Nguyen, N Hamilton, W Xiang and Taylor T. Johnson, "Reachability Analysis for High-Index Linear Differential Algebraic Equations", In 17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'19), Springer, pp. 160–177, 2019.

Bibtex Entry:

@inproceedings{tran2019formats,
  title = {Reachability Analysis for High-Index Linear Differential Algebraic Equations},
  author = {HD Tran and LV Nguyen and N Hamilton and W Xiang and Taylor T. Johnson},
  year = {2019},
  month = aug,
  booktitle = {17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'19)},
  volume = {11750},
  pages = {160--177},
  publisher = {Springer},
  doi = {10.1007/978-3-030-29662-9_10},
  publabel = {C24},
  pubtype = {C},
  dblp = {conf/formats/TranNHXJ19},
  s2id = {201107002},
  pdf = "research/tran2019formats.pdf",
}