1. Biological network design strategies: discovery through dynamic optimization;Adiwijaya;Molecular BioSystems,2006
2. Althoff, M. (2010). Reachability analysis and its application to the safety assessment of autonomous cars, PhD thesis, Technische Universitat Munchen.
3. Althoff, M., Stursberg, O., & Buss, M. (2008). Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. In Proc. 47th IEEE conference on decision and control (pp. 4042–4048).
4. Asarin, E., Dang, T., Frehse, G., Girard, A., Le Guernic, C., & Maler, O. (2006). Recent progress in continuous and hybrid reachability analysis, In Proc. 2006 IEEE conference on computer aided control system design, Munich, Germany, (pp. 1582–1587).
5. Viability theory;Aubin,1991