The source code is released under the GNU General Public License (GPL). We are happy to release the code under a license that is more (or less) permissive upon request.
|Versions||Released dates||New features|
Symbolic flowpipes for LTI and LTV systems, symbolic remainders for TM flowpipes, performance improvement on the numerical computation, improved safety checking algorithms.
Improvement on the numerical stability, time-varying uncertainties in ODEs, definition of constant parameters, local reachability setting.
Fast integration scheme for linear ODEs.
Non-polynomial ODEs with additive uncertain inputs, improved intersection algorithm, fast remainder refinement algorithm, some bugs fixed.
Efficient algorithms on polynomial computation, heuristics for efficiently selecting aggregation templates, some bugs fixed.
User’s manual of the newest version.
xinchen AT colorado DOT edu