Search Results - RepositoryStats

2 results found Sort:

229

other

Scalable symbolic-numeric set computations in Julia

sets julia calculus geometry polygons zonotope polyhedra convex-hull convex-sets projections minkowski-sum lazy-evaluation set-propagation formal-verification geometry-algorithms reachability-analysis computational-geometry

Created 2017-10-03

6,327 commits to master branch, last one a day ago

197

mit

Computing reachable states of dynamical systems in Julia

ode julia flowpipe simulations verification hybrid-systems control-systems set-propagation automatic-control dynamical-systems rigorous-numerics numerical-analysis formal-verification interval-arithmetic reachability-analysis cyber-physical-systems differential-equations

Created 2019-12-03

1,964 commits to master branch, last one a day ago