Documentation sprints

Q:

• How to check at what time solution crosses some threshold value?

More FAQ

Can I use my models defined in the DifferentialEquations.jl format?

Can I apply reachability on models defined by ModelingToolkit.jl?

At the moment the library partially su It is planned to add growing support for models defined using ModelingToolkit.jl's intermediate representation (IR).

What are some of the open problems in the field?

How does this library compare to other tools?

I tried things out, but still have questions..

Can I contribute to this library?

---

Week 30 (2020)

• Lotka-Volterra with tangential crossing

• Production-Destruction

  • https://github.com/mforets/escritoire/blob/master/2020/Week22/ARCH_COMP_2020_NLN/ProductionDestruction_ARCH-COMP2020_final.ipynb
  • https://github.com/JuliaReach/ARCH2020_NLN_RE/tree/master/models/ProdDestruct

• 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