realtime-frs

Fast construction of safe approximations to forward reachable sets for arbitrary dynamical systems via linear bounding and programming.

Name		Name	Last commit message	Last commit date
Latest commit History 25 Commits
.ipynb_checkpoints		.ipynb_checkpoints
mccormick		mccormick
old		old
Dubins' Car.ipynb		Dubins' Car.ipynb
FastMcCormick.ipynb		FastMcCormick.ipynb
Lotka Volterra.ipynb		Lotka Volterra.ipynb
Outer Approximation.ipynb		Outer Approximation.ipynb
Polynomial System.ipynb		Polynomial System.ipynb
README.md		README.md
Testing.ipynb		Testing.ipynb
Van Der Pol.ipynb		Van Der Pol.ipynb
constraints.py		constraints.py
constraints.pyc		constraints.pyc
freund.ipynb		freund.ipynb
gurobi.log		gurobi.log
helper.py		helper.py
helper.pyc		helper.pyc
testing_adaptive.ipynb		testing_adaptive.ipynb

Provide feedback