v0.22.1

ReachabilityAnalysis v0.22.1

Diff since v0.22.0

Closed issues:

• Fix warnings in docs (#698)

Merged pull requests:

• Fix documentation (#722) (@schillic)
• IA.Interval -> IA.interval (#725) (@schillic)
• Update to LazySets v2.11 (#728) (@schillic)
• v0.22.1 (#729) (@schillic)

v0.22.0

ReachabilityAnalysis v0.22.0

Diff since v0.21.4

Closed issues:

• normalize docs (dup) (#576)
• Fix links in documentation (#591)
• Plotting ignores order of variables (#678)
• Apply JuliaReach format style (#693)
• Broken Model Example Links in main README.md (#713)
• convert_or_overapproximate broken (#716)
• Namespace conflict with DifferentialEquations: concretize (#718)

Merged pull requests:

• Pass simulation kwargs in distributed setting (#688) (@schillic)
• Fix Pade approximation and test _exp (#691) (@schillic)
• Update scripts/README/Project/docs, format code, fix linter warnings (#694) (@schillic)
• Remove redundant method (#695) (@schillic)
• autoformatter changes (#696) (@mforets)
• Remove reset_map methods (#697) (@schillic)
• #576 - Restrict module in docs building (#699) (@schillic)
• Use LazySets for expv (#704) (@schillic)
• Fix documentation of ASB07 (#705) (@schillic)
• Fix index bug in _overapproximate_interval_linear_map (#706) (@schillic)
• Add _split for scalar matrix (#707) (@schillic)
• Update package bounds (#710) (@schillic)
• Auto-format script (#711) (@schillic)
• Fix broken links (#714) (@mforets)
• Use correct compatible lower bound (#715) (@schillic)
• #716 #718 - Fix convert_or_overapproximate and concretize (#717) (@schillic)
• Remove logarithmic_norm (#719) (@schillic)
• CompatHelper: bump compat for ReachabilityBase to 0.2, (keep existing compat) (#720) (@github-actions[bot])
• Update Project.toml (#721) (@mforets)

v0.21.4

ReachabilityAnalysis v0.21.4

Diff since v0.21.3

Merged pull requests:

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

v0.21.3

ReachabilityAnalysis v0.21.3

Diff since v0.21.2

Merged pull requests:

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

v0.21.2

ReachabilityAnalysis v0.21.2

Diff since v0.21.1

Merged pull requests:

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

v0.21.1

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)

v0.21.0

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)

v0.20.0

ReachabilityAnalysis v0.20.0

Diff since v0.19.0

Merged pull requests:

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

v0.19.0

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)

v0.18.8

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)