Documentation sprints

Week 30 (2020)

• Lotka-Volterra with tangential crossing

  • Submit PR

• Production-Destruction

  • Submit PR

• Lotka-Volterra with split initial conditions

  • https://github.com/JuliaReach/ReachabilityAnalysis.jl/issues/107

• Parametric reachability

• Clustering

• Set representations / reach-sets / flowpipes

• Hybrid systems notation / bouncing ball

Week 29 (2020)

• Spacecraft (SebastianGuadalupe)

  • Send PR
  • Review

• Platoon (SebastianGuadalupe)

  • Send PR
  • Review

• Building (SebastianGuadalupe)

  • Send PR
  • Review

• Quadrotor (SebastianGuadalupe)

  • Send PR
  • Review

• Laub-Loomis (mforets)

  • Submit PR

• SEIR model (SebastianGuadalupe)

  • https://github.com/JuliaReach/ReachabilityAnalysis.jl/issues/195

• ISS

  • Send PR
  • Review

• Lotka-Volterra continuous with parameter variation, see also: (SebastianGuadalupe)

  • sin variacion de parametros: https://github.com/mforets/escritoire/blob/master/reachability/LotkaVolterra_WEAVE/LotkaVolterra.ipynb
  • con variacion de parametros: https://github.com/mforets/escritoire/blob/master/2020/Week15/ExampleNL.ipynb
  • Send PR
  • Review

• Lorenz (SebastianGuadalupe)

  • https://github.com/JuliaReach/ReachabilityBenchmarks/tree/master/models/Lorenz