update references (#86)

JuliaReach · Jan 27, 2020 · 0eb486f · 0eb486f
1 parent 1fb98e5
commit 0eb486f
Showing 1 changed file with 10 additions and 2 deletions.
diff --git a/docs/src/index.md b/docs/src/index.md
@@ -111,9 +111,17 @@ Depth = 2
 
 ## References
 
-- [1] Althoff, Matthias, Olaf Stursberg, and Martin Buss. *Reachability analysis of nonlinear systems
-      with uncertain parameters using conservative linearization.*
+- [1] Althoff, Matthias, Olaf Stursberg, and Martin Buss. *Reachability analysis
+      of nonlinear systems with uncertain parameters using conservative linearization.*
       2008 47th IEEE Conference on Decision and Control. IEEE, 2008.
 
 - [2] Kosheleva, Olga, et al. *Computing the cube of an interval matrix is NP-hard.*
       Proceedings of the 2005 ACM symposium on Applied computing. ACM, 2005.
+
+- [3] Althoff, Matthias, Bruce H. Krogh, and Olaf Stursberg. *Analyzing reachability
+      of linear dynamic systems with parametric uncertainties.*
+      Modeling, Design, and Simulation of Systems with Uncertainties.
+      Springer, Berlin, Heidelberg, 2011. 69-94.
+
+- [4] Liou, M. L. *A novel method of evaluating transient response.*
+      Proceedings of the IEEE 54.1 (1966): 20-23.