Differential Algebraic Equations (DAEs) with Varying Index (Benchmark Proposal) (bibtex)

by Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran and Taylor T. Johnson

Reference:

Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran and Taylor T. Johnson, "Differential Algebraic Equations (DAEs) with Varying Index (Benchmark Proposal)", In 5th International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'18), EasyChair, pp. 174–184, 2018.

Bibtex Entry:

@inproceedings{musau2018arch_dae,
  title = {Differential Algebraic Equations (DAEs) with Varying Index (Benchmark Proposal)},
  author = {Patrick Musau and Diego Manzanas Lopez and Hoang-Dung Tran and Taylor T. Johnson},
  year = {2018},
  month = sep,
  booktitle = {5th International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'18)},
  volume = {54},
  pages = {174--184},
  publisher = {EasyChair},
  doi = {10.29007/4gj7},
  publabel = {W17},
  pubtype = {W},
}