Issues

• Add simulate function

  JuliaReach/ReachabilityAnalysis.jl#1069 · Filter by author schillic opened on Apr 10, 2026

• Option to concretize discretization sets

  bugenhancement
  JuliaReach/ReachabilityAnalysis.jl#903 · Filter by author schillic opened on Apr 1, 2025

• How to do safety check in TmJests algorithm?

  JuliaReach/ReachabilityAnalysis.jl#872 · Filter by author ArsalMu opened on Oct 12, 2024
  1

• Fix interface when t0 != 0

  JuliaReach/ReachabilityAnalysis.jl#829 · Filter by author schillic opened on Apr 27, 2024

• Refactor box_approximation

  refactors
  JuliaReach/ReachabilityAnalysis.jl#813 · Filter by author schillic opened on Mar 17, 2024

• Ensure that reachable set methods with unions are tested

  JuliaReach/ReachabilityAnalysis.jl#810 · Filter by author mforets opened on Mar 16, 2024

• Repair XFZ18 implementation

  algorithm
  JuliaReach/ReachabilityAnalysis.jl#792 · Filter by author schillic opened on Feb 28, 2024

• Fix piracies

  JuliaReach/ReachabilityAnalysis.jl#790 · Filter by author schillic opened on Feb 27, 2024

• Tooling / docs for jupyter notebooks generation from literate

  JuliaReach/ReachabilityAnalysis.jl#778 · Filter by author mforets opened on Feb 9, 2024

• Fix solve using interval coeffs

  JuliaReach/ReachabilityAnalysis.jl#764 · Filter by author mforets opened on Jan 18, 2024

• Expose solve API for discrete time systems

  JuliaReach/ReachabilityAnalysis.jl#749 · Filter by author mforets opened on Nov 3, 2023

• Best way to export results?

  JuliaReach/ReachabilityAnalysis.jl#743 · Filter by author willsharpless opened on Oct 13, 2023
  10

• Support new version of TaylorSeries and TaylorIntegration

  dependencies
  JuliaReach/ReachabilityAnalysis.jl#739 · Filter by author schillic opened on Oct 8, 2023

• TMJets crashing iteratively, what to try?

  bug
  JuliaReach/ReachabilityAnalysis.jl#733 · Filter by author willsharpless opened on Oct 6, 2023
  4

• tspan argument should be checked to be a proper time interval

  bug
  JuliaReach/ReachabilityAnalysis.jl#732 · Filter by author schillic opened on Sep 13, 2023
  1

• Use safetestsets in tests

  JuliaReach/ReachabilityAnalysis.jl#692 · Filter by author mforets opened on Apr 28, 2023

• Add efficient Eplus computation methods

  algorithmperformance
  JuliaReach/ReachabilityAnalysis.jl#687 · Filter by author mforets opened on Mar 31, 2023

• Unify setops and backend options in discretization

  refactors
  JuliaReach/ReachabilityAnalysis.jl#686 · Filter by author mforets opened on Mar 31, 2023

• Add backend option to exp in discretization

  refactors
  JuliaReach/ReachabilityAnalysis.jl#685 · Filter by author mforets opened on Mar 31, 2023
  1

• Errors during parallel computation (Threads.@threads)

  JuliaReach/ReachabilityAnalysis.jl#664 · Filter by author Xinyi-Yu opened on Aug 22, 2022
  7

• DifferentialEquations renames vars kwarg

  external
  JuliaReach/ReachabilityAnalysis.jl#663 · Filter by author schillic opened on Aug 16, 2022

• Update conservative time discretization docs

  documentation
  JuliaReach/ReachabilityAnalysis.jl#647 · Filter by author mforets opened on Jul 3, 2022

• Is it possible to get data within @taylorize

  JuliaReach/ReachabilityAnalysis.jl#635 · Filter by author AnderGray opened on Jun 16, 2022

• Add FastExpm as optional exponential backend

  enhancementperformance
  JuliaReach/ReachabilityAnalysis.jl#634 · Filter by author schillic opened on Jun 14, 2022
  1

  

• Add ntdiv option in overapproximate TMReachSet with Zonotope given dom

  JuliaReach/ReachabilityAnalysis.jl#624 · Filter by author mforets opened on May 12, 2022