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

Tran, Hoang-Dung; Nguyen, Luan Viet; Hamilton, Nathaniel; Xiang, Weiming; Johnson, Taylor T.

by Hoang-Dung Tran, Luan Viet Nguyen, Nathaniel Hamilton, Weiming Xiang, Taylor T. Johnson

Reference:

Hoang-Dung Tran, Luan Viet Nguyen, Nathaniel Hamilton, Weiming Xiang, Taylor T. Johnson, "Reachability Analysis for High-Index Linear Differential Algebraic Equations (DAEs)", In 17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'19) (, ed.), Springer International Publishing, 2019, August.

Bibtex Entry:

@InProceedings{tran2019formats,
author="Tran, Hoang-Dung
and Nguyen, Luan Viet
and Nathaniel Hamilton 
and Xiang, Weiming
and Taylor T. Johnson",
editor="",
title="Reachability Analysis for High-Index Linear Differential Algebraic Equations (DAEs)",
booktitle="17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'19)",
year="2019",
month="August",
publisher="Springer International Publishing",
pdf="research/tran2019formats.pdf",
}