Search results

Unreachable reached in Julia v1.3/1.4

external

Status: Open.

#758 In JuliaReach/Reachability.jl;

· schillic opened on May 10, 2020

Use concrete set array containers

Status: Open.

#747 In JuliaReach/Reachability.jl;

· mforets opened on Mar 2, 2020

Fix dev build

fix

Status: Open.

#738 In JuliaReach/Reachability.jl;

· schillic opened on Jan 24, 2020

MethodError in hybrid system flowpipe construction

bug

Status: Open.

#734 In JuliaReach/Reachability.jl;

· mforets opened on Jan 23, 2020

Fix discretization with interval matrices for inputs not containing 0

bug

Status: Open.

#731 In JuliaReach/Reachability.jl;

· schillic opened on Jan 22, 2020

Make (hybrid) GLGM06 return Zonotope flowpipe by default

Status: Open.

#716 In JuliaReach/Reachability.jl;

· mforets opened on Nov 19, 2019

Scheduling of flowpipes

extension

feature

hybrid

refactoring

Status: Open.

#708 In JuliaReach/Reachability.jl;

· schillic opened on Oct 27, 2019

Check whether use_precise_ρ still works

bug

Status: Open.

#693 In JuliaReach/Reachability.jl;

· schillic opened on Oct 4, 2019

Revise sparse and dense specializations for BFFPSV18

Status: Open.

#687 In JuliaReach/Reachability.jl;

· mforets opened on Sep 24, 2019

Outsource reachability algorithms to a new package

refactoring

Status: Open.

#679 In JuliaReach/Reachability.jl;

· mforets opened on Sep 8, 2019

Use exact quadratic expansion in discretization of interval matrix

performance

Status: Open.

#677 In JuliaReach/Reachability.jl;

· mforets opened on Sep 8, 2019

Discretize using matrix interval remainder for scalar matrix

extension

Status: Open.

#675 In JuliaReach/Reachability.jl;

· mforets opened on Sep 8, 2019