Skip to content

v0.4.0
Compare
Choose a tag to compare
@mforets mforets released this 24 Oct 12:06
· 79 commits to master since this release
v0.4.0
870a0c4
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

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)
  • continuous-post operator TMJets now returns a flowpipe with concrete set types to account for a change in LazySets (#695)

Features

  • discretize using matrix interval remainder (#659)
  • reachability algorithm for LTI systems with interval matrices using zonotopes (#681) and a decomposed version thereof (#688)
  • coordinate transformations are now properly reversed (#689)

Bug fixes

  • added a missing import of SparseArrays in Utils module (#674)
  • fixed Schur transformation (#689)

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)
  • removed broken @relpath macro (#697)
Assets 2
Loading