v0.6.0
·
1416 commits
to master
since this release
ReachabilityAnalysis v0.6.0
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)