Merge branch 'master' into mforets/publications

JuliaReach · Jan 30, 2019 · 4bcb095 · 4bcb095
2 parents bf7658a + 50b4b8b
commit 4bcb095
Show file tree

Hide file tree

Showing 6 changed files with 34 additions and 8 deletions.
diff --git a/docs/make.jl b/docs/make.jl
@@ -16,6 +16,7 @@ makedocs(
         "Discretization" => "lib/discretize.md",
         "Distributed computations" => "lib/distributed.md"],
         "Publications" => "publications.md",
+        "Citations" => "citations.md",
         "About" => "about.md"
     ]
 )

diff --git a/docs/src/citations.md b/docs/src/citations.md
@@ -0,0 +1,25 @@
+# Citations
+
+```@contents
+Pages = ["citations.md"]
+```
+
+This page list publications citing packages or papers from the JuliaReach ecosystem.
+
+## Conference Proceedings
+
+- Schupp, Stefan, and Erika Ábrahám. "Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems." International Conference on Software Engineering and Formal Methods. Springer, Cham, 2018.
+
+- Bak, Stanley, Hoang-Dung Tran, and Taylor T. Johnson. "Numerical Verification of Affine Systems with up to a Billion Dimensions." arXiv preprint arXiv:1804.01583 (2018). Accepted in Proceedings of [HSCC'19](http://hscc2019.eecs.umich.edu/): 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC'19).
+
+- Schupp, Stefan, Justin Winkens, and Erika Ábrahám. "Context-Dependent Reachability Analysis for Hybrid Systems." 2018 IEEE International Conference on Information Reuse and Integration (IRI). IEEE, 2018.
+
+## Preprints
+
+- Mitchell, Ian M., Jacob Budzis, and Andriy Bolyachevets. "Invariant, Viability and Discriminating Kernel Under-Approximation via Zonotope Scaling." arXiv preprint arXiv:1901.01006 (2019).
+
+## Theses
+
+- Rocca, Alexandre. Formal methods for modelling and validation of biological models. Diss. Grenoble Alpes, 2018.
+
+- Schilling, Christian. "Fundamental techniques for the scalable analysis of systems." (2018).
diff --git a/src/ReachSets/ContinuousPost/BFFPSV18.jl → ...hSets/ContinuousPost/BFFPSV18/BFFPSV18.jl b/src/ReachSets/ContinuousPost/BFFPSV18.jl → ...hSets/ContinuousPost/BFFPSV18/BFFPSV18.jl
diff --git a/src/ReachSets/reach_blocks.jl → ...s/ContinuousPost/BFFPSV18/reach_blocks.jl b/src/ReachSets/reach_blocks.jl → ...s/ContinuousPost/BFFPSV18/reach_blocks.jl
diff --git a/...ReachSets/reach_blocks_wrapping_effect.jl → .../BFFPSV18/reach_blocks_wrapping_effect.jl b/...ReachSets/reach_blocks_wrapping_effect.jl → .../BFFPSV18/reach_blocks_wrapping_effect.jl
diff --git a/src/ReachSets/ReachSets.jl b/src/ReachSets/ReachSets.jl
@@ -182,6 +182,13 @@ export PostOperator,
        post,
        tube⋂inv!
 
+# ==========================
+# Continuous post operators
+# ==========================
+include("ContinuousPost/BFFPSV18/BFFPSV18.jl")
+include("ContinuousPost/BFFPSV18/reach_blocks.jl")
+include("ContinuousPost/BFFPSV18/reach_blocks_wrapping_effect.jl")
+
 # ========================
 # Reachability Algorithms
 # ========================
@@ -191,27 +198,20 @@ import Reachability.check_aliases_and_add_default_value!
 available_algorithms = Dict{String, Dict{String, Any}}()
 
 # "explicit" backends
-include("reach_blocks.jl")
 push!(available_algorithms, "explicit_blocks"=>Dict("func"=>reach_blocks!,
                                                     "is_explicit"=>true))
 
-include("reach_blocks_wrapping_effect.jl")
 push!(available_algorithms,
       "wrap"=>Dict("func"=>reach_blocks_wrapping_effect!,
                    "is_explicit"=>true))
 
 export available_algorithms
 
-# ==========================
-# Continuous post operators
-# ==========================
-include("ContinuousPost/BFFPSV18.jl")
-include("DiscretePost/ConcreteDiscretePost.jl")
-
 # ==========================
 # Discrete post operators
 # ==========================
 include("DiscretePost/LazyDiscretePost.jl")
+include("DiscretePost/ConcreteDiscretePost.jl")
 
 # =========================
 # External reach interface