v0.9.0

ReachabilityAnalysis v0.9.0

Diff since v0.8.1

Closed issues:

• Add algorithm of Φ₁ and Φ₂ for the invertible case (#22)
• Add filtered oscillator model to Examples (#304)
• Tests for 2nd order systems (#339)
• ReachabilityAnalysis defines ambiguous LazySets.vertices_list (#374)

Merged pull requests:

• Overload TM functions for Taylor model reachsets (#190) (@mforets)
• Add exponential LGG09 w/ time-varying input sets (#340) (@mforets)
• update some docs (#343) (@mforets)
• Add examples to readme.md (#344) (@SebastianGuadalupe)
• fixes for TM conversions (#345) (@mforets)
• continuation of intro docs / linear (#346) (@mforets)
• Docs + A20 (#349) (@mforets)
• Change TagBot script (#350) (@schillic)
• add solver for trajectories w/o bloating (#355) (@mforets)
• add krylov methd for orbit w/zero state (#356) (@mforets)
• Orbit plot recipe (#359) (@mforets)
• LGG09 with multithreading (#361) (@dfcaporale)
• update linear docs (#362) (@mforets)
• fix dirs (#363) (@mforets)
• Update benchmarks.md (#364) (@mforets)
• reorganize discretization (#365) (@mforets)
• update some docs pages (#367) (@mforets)
• homogeneization of a CLCCS (#369) (@mforets)
• add homog as a solve option (#370) (@mforets)
• Update ORBIT.md (#371) (@mforets)
• Add in sol (#373) (@mforets)
• #374 - Cleanup vertices of CHA (#375) (@mforets)