1. Chaouki Abdallah, Peter Dorato, and Wei Yang. 1970. Applications Of Quantifier Elimination Theory To Control System Design. Proceedings of the 4th IEEE Mediterranean Symposium on Control and Automation (02 1970).
2. M. Althoff. 2013. Reachability Analysis of Nonlinear Systems Using Conservative Polynomialization and Non-convex Sets. In HSCC. ACM publishers, 173–182.
3. Reachable set computation for uncertain time-varying linear systems
4. M. Althoff, O. Stursberg, and M. Buss. 2008. Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. In Proceedings of CDC. 4042–4048.
5. S. Bansal M. Chen S. L. Herbert and C. J. Tomlin. 2017. Hamilton-Jacobi reachability: A brief overview and recent advances. In CDC.