S
SCOTS
SCOTS is a C++ tool (with a small Matlab interface) to synthesize controllers for possibly perturbed nonlinear control systems with respect to safety and reachability specifications.
-
Mahmoud Khaled authored40827959
| Name |
Last commit
|
Last update |
|---|---|---|
| bdd | ||
| cudd-3.0.0 | ||
| doc | ||
| examples | ||
| manual | ||
| mfiles | ||
| utils | ||
| .DS_Store | ||
| installation_notes_windows.txt | ||
| license.txt | ||
| readme.md |