Roadmap 2020

This page collects links (mainly from Reachability.jl) that we have as a road-map for further work.

User interface

Algorithms

• Variable time-step

  • https://github.com/JuliaReach/Reachability.jl/issues/231

• XFZ18

  • https://github.com/JuliaReach/Reachability.jl/pull/502

• GLGM06

  • https://github.com/JuliaReach/Reachability.jl/issues/626
  • https://github.com/JuliaReach/Reachability.jl/pull/713/files

• Parallelotope method

  • Alexandre Goldsztejn publications on Google Scholar
  • https://dl.acm.org/doi/10.1016/j.entcs.2008.12.033
  • http://goldsztejn.com/publications/RC2016.pdf