v1.1
See https://unm-hscl.github.io/SReachTools/jekyll/update/2019/02/14/release-of-v1x10.html for a more comprehensive list of changes.
Major updates to SReachTools:
- Handles arbitrary disturbances (via a realization generator) in
SReachSet
vialag-over
andlag-under
options - Synthesizes a set-based feedback controller using Lagrangian methods (
lag-under
) - Adds a new method
voronoi-open
toSReachPoint
. - Dynamic programming updated for memory leak
- Repeatability package evaluated