Documentation sprints

Week 29 (2020)

• Spacecraft

  • Send PR
  • Review

• Platoon (SebastianGuadalupe)

  • Send PR
  • Review

• Building (SebastianGuadalupe)

  • Send PR
  • Review

• Laub-Loomis (mforets)

  • Submit PR

• SEIR model (SebastianGuadalupe)

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

• Lotka-Volterra with tangential crossing (mforets)

  • Submit PR

• ISS (dfcaporale)

  • 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

• Lorenz (SebastianGuadalupe)

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

• Quadrotor (SebastianGuadalupe)

  • Send PR
  • Review

• Production-Destruction (dfcaporale)

  • Submit PR

• Lotka-Volterra with split initial conditions (mforets)

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