v0.18.7

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)

v0.18.6

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)

v0.18.5

ReachabilityAnalysis v0.18.5

Diff since v0.18.4

Merged pull requests:

• Fix typo (#632) (@schillic)
• update docs (#633) (@mforets)

v0.18.4

ReachabilityAnalysis v0.18.4

Diff since v0.18.3

Closed issues:

• Fix example in the readme (#625)

Merged pull requests:

• Replace auxiliary method outsourced to IntervalArithmetic (#631) (@schillic)

v0.18.3

ReachabilityAnalysis v0.18.3

Diff since v0.18.2

Merged pull requests:

• extend isdisjoint for set unions (#629) (@mforets)
• Extend AbstractLazyReachSet operations to unions (#630) (@schillic)

v0.18.2

ReachabilityAnalysis v0.18.2

Diff since v0.18.1

Merged pull requests:

• update deprecated constructor (#627) (@mforets)
• update overapproximate (#628) (@mforets)

v0.18.1

ReachabilityAnalysis v0.18.1

Diff since v0.18.0

Merged pull requests:

• Add initial version of the CARLIN algorithm (#626) (@mforets)

v0.18.0

ReachabilityAnalysis v0.18.0

Diff since v0.17.1

Merged pull requests:

• Bump compat for TM and other packages (#621) (@schillic)
• Broken link (#622) (@joaquimpuig)

v0.17.1

ReachabilityAnalysis v0.17.1

Diff since v0.17.0

Closed issues:

• Fix construction of TaylorModelN in subdomain evaluation to Zonotope (#613)

Merged pull requests:

• Subdomain overapproximation of TM using zonotopes (#618) (@mforets)

v0.17.0

ReachabilityAnalysis v0.17.0

Diff since v0.16.5

Closed issues:

• Operations with zonotopes in the documentation (#597)
• Example plot fails (tickfont_pointsize) (Plots regression) (#606)
• ReachabilityAnalysis (#610)
• sampling (#614)

Merged pull requests:

• update tests (#600) (@mforets)
• Refactor transmission line example and fix text (#615) (@mforets)
• Rename docs generation folder (#616) (@schillic)
• #585 Add parameter for the coeffs type in TaylorModelReachSet (#617) (@dfcaporale)