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

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

doi:https://doi.org/10.29007/4gj7

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

Reference:

Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran, Taylor T. Johnson, "Differential Algebraic Equations (DAEs) with Varying Index (Benchmark Proposal)", In 5th Applied Verification for Continuous and Hybrid Systems Workshop (ARCH), Oxford, UK, 2018, july.

Bibtex Entry:

@InProceedings{musau2018arch_dae,
  author =    {Patrick Musau and Diego Manzanas Lopez and Hoang-Dung Tran and Taylor T. Johnson},
  title =     {Differential Algebraic Equations (DAEs) with Varying Index (Benchmark Proposal)},
  booktitle = {5th Applied Verification for Continuous and Hybrid Systems Workshop (ARCH)},
  year =      {2018},
  address =   {Oxford, UK},
  month =     july,
    pdf = {http://www.taylortjohnson.com/research/musau2018arch_dae.pdf},
  doi = {https://doi.org/10.29007/4gj7},
}