Release log tracker

Jump to bottom

Christian Schilling edited this page Oct 4, 2019 · 88 revisions

Here we collect the new features, bug fixes, etc. for the next release.

Announcements

This version is compatible with Julia v1.2.

Breaking changes

decomposing algorithms now return a SparseReachSet instead of a ReachSet (#676)
revised projection (#676)

Features

discretize using matrix interval remainder (#659)
reachability algorithm for LTI systems with interval matrices using zonotopes (#681)

Bug fixes

added a missing import of SparseArrays in Utils module (#674)

Enhancements

improved ConcreteDiscretePost operator (#650)
added AbstractReachSet as new supertype of reach-set wrappers (#676)
properties are now checked after taking the intersection with the invariant (#692)

Other

use TaylorIntegration v0.6.0 (#682)