1. Box invariance in biologically-inspired dynamical systems;Abate;Automatica,2009
2. Forward completeness, unboundedness observability, and their lyapunov characterizations;Angeli;Systems & Control Letters,1999
3. Apkarian, J., Lacheray, H., and Abdossalami, A. (2012). Coupled tanks workbook, student verion. URL https://download.ni.com/evaluation/academic/quanser/coupled_tanks_courseware_sample.pdf.
4. Viability theory;Aubin,2009
5. Set-theoretic methods in control;Blanchini,2008