v0.12.1

ReachabilityAnalysis v0.12.1

Diff since v0.12.0

Closed issues:

• Add common LazySets operations to the AbstractLazyReachSet interface (#24)
• Implement time interval evaluation for hybrid flowpipes (#77)
• Review evaluation interface when reach-sets overlap in time (#137)
• Apply tips to reduce the filesize of generated notebooks (#292)
• Add vars kwarg to LGG09 constructor (#352)
• overapproximation of TM with zonotope by mincing in space (#443)
• Fix Building model file (JLD2) (#450)

Merged pull requests:

• Mforets/429d (#444) (@mforets)
• Add box_approximation for TaylorModelReachSet (#445) (@SebastianGuadalupe)
• WIP - Add overapproximation of TM with zonotope by mincing in space (#446) (@SebastianGuadalupe)
• Add splitting for each dimension for overapproximation of TM with Zonotope (#447) (@SebastianGuadalupe)
• deactivate coverage (#448) (@mforets)
• add function for splitting intervalbox (#449) (@mforets)
• Add vars option to LGG09 constructor (#451) (@mforets)
• Updates on concrete projections and Building model (#452) (@mforets)
• Extend projection recipe for template reach-sets (#455) (@mforets)
• fix hybrid flowpipe evaluation for time intervals (#456) (@mforets)
• Use isoperation in plot recipes (#457) (@mforets)
• CompatHelper: bump compat for "IntervalArithmetic" to "0.18" (#459) (@github-actions[bot])