A new version of SReachTools is out! Check out https://github.com/sreachtools/SReachTools/releases/tag/v1.2.

  • SReachPoint has a new method chance-affine-uni
    • This method is an adaptation of Vitus and Tomlin’s CDC 2011 paper.
    • It performs affine controller synthesis using uniform risk allocation (via bisection) and chance constraint optimization.
    • We have rerun all examples and have added tests
  • Documentation has been moved to a separate repository https://github.com/sreachtools/sreachtools-website.
  • Minor bug fixes on output control and covariance sanitization.
  • In addition, this version participated in repeatability