v0.8.0

ReachabilityAnalysis v0.8.0

Diff since v0.7.7

Closed issues:

• GLGM06 with OctDirections in Platooning model fails (#244)

Merged pull requests:

• bugs in transitions.jl (#311) (@dfcaporale)
• Generalize to initial interval time shift in continuous solvers (#313) (@mforets)

v0.7.7

ReachabilityAnalysis v0.7.7

Diff since v0.7.6

Closed issues:

• Add disease model to the Applications section in the docs (#51)
• A simple SEIR model (#195)
• Wrong title in Lorenz example in documentation (#299)

Merged pull requests:

• Add spacecraft example (#281) (@SebastianGuadalupe)
• add HPolyhedron constructor (#282) (@mforets)
• Add platooning example (#283) (@SebastianGuadalupe)
• Add MT to docs deps (#284) (@mforets)
• Add building example (#285) (@SebastianGuadalupe)
• #195 - Add SEIR model (#286) (@SebastianGuadalupe)
• Add quadrotor example (#288) (@SebastianGuadalupe)
• Add Lotka-Volterra example (#289) (@SebastianGuadalupe)
• Add Lorenz example (#290) (@SebastianGuadalupe)
• Adds ISS benchmark to documentation (#291) (@dfcaporale)
• cleanup MT code (#293) (@mforets)
• cleanup zontope splitting methods (#294) (@mforets)
• Add production-destruction model (#296) (@mforets)
• concrete project - methods for TemplateReachSet and implementation in… (#297) (@dfcaporale)
• update docs (#301) (@mforets)
• ISS is not an ODE (#302) (@mforets)
• op-amp from scratch (#303) (@dfcaporale)
• Update Vanderpol example (#305) (@SebastianGuadalupe)
• impove generic apply method (#306) (@mforets)
• bump julia version (#308) (@mforets)

v0.7.6

ReachabilityAnalysis v0.7.6

Diff since v0.7.5

Closed issues:

• Add method to @Map (#278)
• Add method to StateInLocation (#279)

Merged pull requests:

• update projection and concrete linear map (#276) (@mforets)
• add projection methods for solutions (#277) (@mforets)
• Update waiting_list.jl (#280) (@mforets)

v0.7.5

ReachabilityAnalysis v0.7.5

Diff since v0.7.4

Closed issues:

• Emit warning if hybrid solve hits max_jumps (#264)

Merged pull requests:

• fix emptiness check in hybrid solve (#258) (@mforets)
• fix TMJets when the first reach-set is empty (#262) (@mforets)
• update LGG09 (#263) (@mforets)
• #264 - Add warning if max_jumps is reached (#266) (@mforets)
• update forward approx for the initial states (#267) (@mforets)
• remove empty intersection in apply methods (#269) (@mforets)

v0.7.4

ReachabilityAnalysis v0.7.4

Diff since v0.7.3

Merged pull requests:

• Add LGG09 algorithm using expv (#246) (@mforets)
• Update README.md (#247) (@mforets)
• Add HalfSpace and Hyperplane symbolic constructors (#248) (@mforets)
• fix a bug in nomalization of CS (#249) (@mforets)
• Fix tspan for hybrid flowpipes (#250) (@mforets)
• fix eval functions for hybrid flowpipes (#251) (@mforets)
• Update discretization (#255) (@mforets)

v0.7.3

ReachabilityAnalysis v0.7.3

Diff since v0.7.2

Merged pull requests:

• Extend inclusion tests for flowpipes (#242) (@mforets)
• Fix dim for constrained reset map method + overapprox with an HPolytope (#243) (@mforets)

v0.7.2

ReachabilityAnalysis v0.7.2

Diff since v0.7.1

Merged pull requests:

• Add conversion from hyperrectangular / zonotopic sets to TMReachSets (#239) (@mforets)
• Extend THull apply for lazysets (#240) (@mforets)
• Pass ext dictionary in overapproximation of flowpipes (#241) (@mforets)

v0.7.1

ReachabilityAnalysis v0.7.1

Diff since v0.7.0

Merged pull requests:

• Add transmission line example (#234) (@mforets)
• Add Brusselator model (#235) (@mforets)
• fixes in transitions (#236) (@mforets)
• Lazy clustering for TM flowpipes (#237) (@mforets)

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)

v0.6.0

ReachabilityAnalysis v0.6.0

Diff since v0.5.1

Closed issues:

• BoundsError for nonlinear ODE (#179)
• Add template hull intersection for discrete transitions (#207)
• Add "discrete time" approximation model (#208)

Merged pull requests:

• Distributed initial conditions for hybrid problems (#187) (@mforets)
• Use exact tdom in overapproximation of Taylor models (#189) (@mforets)
• Changes in hybrid solve for TMJets (#191) (@mforets)
• fix hybrid constructor (#193) (@mforets)
• Add hybrid lotka-volterra model (#196) (@mforets)
• Intersection of TMs with set union of half-spaces (#197) (@mforets)
• Add location getter for flowpipes (#198) (@mforets)
• Add TemplateHullIntersection (#202) (@mforets)
• Add LGG09 (#203) (@mforets)
• BFFPSV18 with inputs + update lazy projection (#205) (@mforets)
• Add NoBloating approximation model (#209) (@mforets)
• Add (generic) template hull intersection for discrete transitions' (#210) (@mforets)
• fix tests (#211) (@mforets)