v0.7.0

ReachabilityAnalysis v0.7.0

Diff since v0.6.0

Closed issues:

• Expose BFFPSV18 algorithm (#25)
• Warning when trying to solve nonlinear ODE (#181)
• Generalize discrete evolution for several reach-sets (#200)
• Duck typing LGG09 options (#206)
• Error when trying to overapproximate flowpipe (#213)
• Generalize cluster functions for more reach-set type (#226)
• Generalize convexify functions for SparseReachSet (#229)

Merged pull requests:

• #206 - Duck typing LGG09 options (#212) (@mforets)
• Let TMJets options be passed outside the struct (#214) (@mforets)
• add in-place splitting (#215) (@mforets)
• Add split function for zonotopes (#216) (@SebastianGuadalupe)
• add some missing conversion methods (#217) (@mforets)
• extend discretization for interval matrix (#218) (@mforets)
• Add sparse and cache options to LGG09 (#220) (@mforets)
• Clustering + alg udpates (#221) (@mforets)
• Add Van-der-Pol model to documentation (#222) (@schillic)
• Refactoring + Updates on van de Pol example (#223) (@mforets)
• Projection + invariant updates (LGG09, BFFPSV18) (#224) (@mforets)
• issue #225 for dense matrix ops (#227) (@dfcaporale)
• issue #226 - generalize cluster functions for AbstractLazyReachSet (#228) (@dfcaporale)
• issue #229 - Generalize convexify function for SparseReachSet (#230) (@dfcaporale)
• Update Project.toml (#233) (@mforets)