Prospective Algorithms

Linear

[Zono] Reachability Analysis of Large Linear Systems with Uncertain Inputs in the Krylov Subspace. Matthias Althoff. pdf
Wetzlinger, M., Kochdumper, N., & Althoff, M. (2020). Adaptive Parameter Tuning for Reachability Analysis of Linear Systems. arXiv preprint arXiv:2006.12091. [pdf](Adaptive Parameter Tuning for Reachability Analysis of Linear Systems)
Han, Zhi, and Bruce H. Krogh. "Reachability analysis of large-scale affine systems using low-dimensional polytopes." International Workshop on Hybrid Systems: Computation and Control. Springer, Berlin, Heidelberg, 2006. article
http://www-verimag.imag.fr/~maler/Papers/zonotope.pdf (underapprox)
Ghosh, Bineet, and Parasara Sridhar Duggirala. "Robust reachable set: Accounting for uncertainties in linear dynamical systems." ACM Transactions on Embedded Computing Systems (TECS) 18.5s (2019): 1-22. article

[LTV] [SF] Convergent Under-Approximations of Reachable Sets and Tubes for Linear Uncertain Systems. M. Serry. pdf
[LTV] Serry, Mohamed, and Gunther Reissig. "Hyper-rectangular over-approximations of reachable sets for linear uncertain systems." 2018 IEEE Conference on Decision and Control (CDC). IEEE, 2018. article

Incremental affine abstractions for nonlinear systems. Syed M. Hassaan, Mohammad Khajenejad, Spencer Jensen, Qiang Shen and Sze Zheng Yong. https://arxiv.org/pdf/2004.01408.pdf
Thabet, R. E. H., Combastel, C., Raissi, T., Ramdani, N., & Zolghadri, A. (2014, June). Computing reachable sets for nonlinear systems in presence of bounded uncertainties. In 2014 European Control Conference (ECC) (pp. 227-233). IEEE.
Dang, Thao, Tommaso Dreossi, and Carla Piazza. "Parameter synthesis using parallelotopic enclosure and applications to epidemic models." International Workshop on Hybrid Systems Biology. Springer, Cham, 2014. pdf

Over- and Under-Approximating Reach Sets for Perturbed Delay Differential Equations. Bai Xue, Qiuye Wang, Shenghua Feng and Naijun Zhan https://arxiv.org/pdf/1812.11718.pdf
Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations. https://www.springerprofessional.de/en/safe-over-and-under-approximation-of-reachable-sets-for-delay-di/14961066