JuliaReach/Reachability.jl

Issues

• Port TMJets algorithm

  #602 opened 4 years ago by mforets
  2

• Unreachable reached in Julia v1.3/1.4

  #758 opened 4 years ago by schillic
  0

• Inconsistent behavior of GLGM06 across (in)homogeneous cases

  #680 opened 4 years ago by schillic
  2

• Dispatch on solve! for BFFPSV18

  #646 opened 5 years ago by mforets
  1

• Add introductory examples in the documentation

  #637 opened 4 years ago by mforets
  0

• Reachability for 1D systems

  #671 opened 4 years ago by mforets
  1

• Use concrete set array containers

  #747 opened 4 years ago by mforets
  0

• Outsource Properties to a new package

  #678 opened 4 years ago by mforets
  6

• Discretize using matrix interval remainder for scalar matrix

  #675 opened 5 years ago by mforets
  0

• LazyDiscretePost requires Polyhedra package

  #620 opened 4 years ago by schillic
  2

• Fix dev build

  #738 opened 4 years ago by schillic
  0

• MethodError in hybrid system flowpipe construction

  #734 opened 4 years ago by mforets
  2

• Fix discretization with interval matrices for inputs not containing 0

  #731 opened 4 years ago by schillic
  1

• Combine linear maps in interval-matrix discretization

  #730 opened 4 years ago by schillic
  0

• Build fails

  #724 opened 4 years ago by mforets
  0

• Errors with projection

  #707 opened 5 years ago by mforets
  5

• Add Flowpipe type

  #718 opened 5 years ago by schillic
  0

• Check whether use_precise_ρ still works

  #693 opened 5 years ago by schillic
  3

• Follow-up work of BFFPS19

  #656 opened 5 years ago by schillic
  2

• Rename package -> ReachabilityAnalysis

  #715 opened 5 years ago by mforets
  0

• TMJets should check that the initial set dimension is compatible

  #699 opened 5 years ago by mforets
  1

• Check online intersection with invariant in GLGM06

  #626 opened 5 years ago by mforets
  1

• Make (hybrid) GLGM06 return Zonotope flowpipe by default

  #716 opened 5 years ago by mforets
  0

• Accept TM in TMJets

  #635 opened 5 years ago by mforets
  0

• Scheduling of flowpipes

  #708 opened 5 years ago by schillic
  0

• MethodError with projection matrix

  #704 opened 5 years ago by mforets
  0

• MethodError in reachset projection

  #702 opened 5 years ago by mforets
  0

• Solve stops before time horizon in TMJets

  #700 opened 5 years ago by mforets
  4

• Decomposition for ASB07

  #686 opened 5 years ago by schillic
  0

• Broken test convert error

  #690 opened 5 years ago by mforets
  3

• Replace inout_map by low-dimensional flowpipes

  #668 opened 5 years ago by schillic
  1

• Revise sparse and dense specializations for BFFPSV18

  #687 opened 5 years ago by mforets
  0

• Reachability for LTI systems with interval matrices using zonotopes

  #639 opened 5 years ago by schillic
  0

• Outsource reachability algorithms to a new package

  #679 opened 5 years ago by mforets
  1

• Use exact quadratic expansion in discretization of interval matrix

  #677 opened 5 years ago by mforets
  0

• Adapt to new version of TaylorModels

  #651 opened 5 years ago by schillic
  0

• Bump TaylorIntegration

  #654 opened 5 years ago by mforets
  0

• Namespace conflict with TaylorSeries.update!

  #632 opened 5 years ago by schillic
  0

• Generalize ReachSolution type

  #645 opened 5 years ago by mforets
  0

• Use opnorm for matrix norm

  #643 opened 5 years ago by mforets
  0

• Simplify overapproximation option in BFFPSV18

  #628 opened 5 years ago by mforets
  1

• Fix ambiguity in broadcasted with IntervalBox

  #619 opened 5 years ago by schillic
  1

• Type parameter in waiting list

  #629 opened 5 years ago by mforets
  0

• Normalize kwargs in solve API

  #624 opened 5 years ago by mforets
  0

• Port validated_integ into the TMJets continuous post

  #611 opened 5 years ago by mforets
  0

• Option to compute preimage of target invariant

  #615 opened 5 years ago by schillic
  0

• Matrix exponential from Jordan form

  #610 opened 5 years ago by schillic
  0

• Outsource hybrid loop from solve.jl

  #603 opened 5 years ago by schillic
  0

• Add AffineContinuousSystem

  #601 opened 5 years ago by mforets
  0

• Add a Project environment file

  #600 opened 5 years ago by mforets
  1