ReachabilityAnalysis.jl Versions Save

ReachabilityAnalysis v0.21.4

Diff since v0.21.3

Merged pull requests:

• #678 - Fix projection of 2D result with vars=(2,1) (#679) (@schillic)

ReachabilityAnalysis v0.21.3

Diff since v0.21.2

Merged pull requests:

• Update Symbolics in tests (#675) (@schillic)

ReachabilityAnalysis v0.21.2

Diff since v0.21.1

Merged pull requests:

• Fix plot recipe of ShiftedFlowpipe (#674) (@schillic)

ReachabilityAnalysis v0.21.1

Diff since v0.21.0

Closed issues:

• 1234567890 (#668)
• References for the quadrotor example (#669)

Merged pull requests:

• Fix bouncing-ball example (#665) (@schillic)
• Use Julia v1.8 in CI (#666) (@schillic)
• CompatHelper: bump compat for TaylorIntegration to 0.10, (keep existing compat) (#667) (@github-actions[bot])
• #669 - Add references for quadrotor example (#670) (@schillic)
• Remove unused type parameters (#671) (@schillic)
• CompatHelper: bump compat for MathematicalSystems to 0.13, (keep existing compat) (#672) (@github-actions[bot])
• Update Project.toml (#673) (@schillic)

ReachabilityAnalysis v0.21.0

Diff since v0.20.0

Closed issues:

• Type piracy for LinearAlgebra.I (#649)

Merged pull requests:

• Update to LazySets v2 (#660) (@schillic)
• Update Project.toml (#662) (@schillic)

ReachabilityAnalysis v0.20.0

Diff since v0.19.0

Merged pull requests:

• Support new version of MathematicalSystems (#659) (@schillic)

ReachabilityAnalysis v0.19.0

Diff since v0.18.8

Closed issues:

• TMJets gives different results based on set representation of X0 (#623)
• Precision loss in conversion between Taylor model and zonotope of low order (#654)

Merged pull requests:

• Discretization w/krylov helper functions (#652) (@mforets)
• Update scripts (#653) (@schillic)
• #654 - Fix zonotope->TM conversion for low order (#655) (@schillic)
• Consistent printing of discretization structs (#656) (@schillic)
• Change default discretization of GLGM06 (#657) (@schillic)

ReachabilityAnalysis v0.18.8

Diff since v0.18.7

Merged pull requests:

• Update ci.yml (#645) (@mforets)
• Rename FirstOrderddt -> SecondOrderddt (#646) (@schillic)
• Shrink some plots in documentation (#648) (@schillic)
• Fix overapproximate(::TMRS, Hyperrectangle) (#650) (@schillic)
• cleanup reduce_order and update generated tests (#651) (@mforets)

ReachabilityAnalysis v0.18.7

Diff since v0.18.6

Closed issues:

• Integrate with Flowstar.jl (#640)

Merged pull requests:

• Integrate with Flowstar.jl (#641) (@mforets)
• Add TaylorModels import (#643) (@schillic)
• Update Project.toml (#644) (@mforets)

ReachabilityAnalysis v0.18.6

Diff since v0.18.5

Closed issues:

• Fixes for HybridSystems v0.4 (#637)

Merged pull requests:

• #637 - Fixes for HybridSystems v0.4 (#638) (@schillic)
• Update Project.toml (#639) (@schillic)