Hoang-Dung Tran Weiming Xiang 0001 Nathaniel Hamilton Taylor T. Johnson Simulation-Based Reachability Analysis for High-Index Large Linear Differential Algebraic Equations. 2018 abs/1804.03227 CoRR http://arxiv.org/abs/1804.03227 db/journals/corr/corr1804.html#abs-1804-03227