Commit 6b43668d authored by Matthias Rungger's avatar Matthias Rungger
Browse files

update readme

parent 3a1f65dd
......@@ -152,7 +152,7 @@ int main() {
std::cout << "Target set details:" << std::endl;
target.writeToFile("dcdc_target.bdd");
/* we setup a fixed point object to compute reachabilty controller */
/* we setup a fixed point object to compute reach and stay controller */
scots::FixedPoint fp(&abstraction);
/* the fixed point algorithm operates on the BDD directly */
BDD T = target.getSymbolicSet();
......
# Welcome to SCOTS
> SCOTSv0.2 is currently under development. If you are feeling adventurous have
> look at [SCOTSv0.2](https://gitlab.lrz.de/matthias/SCOTSv0.2)
**SCOTS** is a C++ tool (with a small Matlab interface) to synthesize controller for
possibly perturbed nonlinear control systems with respect to safety and reachability specifications.
Please read the manual in the manual directory ./manual/manual.pdf
### Requirements
- A C++ development environment where you can compile C++ source code.
- The CUDD library by Fabio Somenzi, which can be downloaded at
http://vlsi.colorado.edu/~fabio/.
SCOTS uses the dddmp and C++ wraper of the CUDD library.
In the example computations we used cudd-3.0.0 which we configured with
`$./configure --enable-shared --enable-obj --enable-dddmp --prefix=/opt/local/`
- SCOTS itself is a header only library. You only need to add SCOTS source
directory to the include directory in the compiler command.
Further details are found in the readme files in example directories and in the manual.
For installing and running SCOTS on Windows, please refer to the readme-win.txt file.
### Directory structure
- ./bdd/
Contains the source C++ source code for the SCOTS classes
which use Binary Decision Diagrams as underlying data structure
- ./doc/
C++ Class documentation directory
- ./examples/
Some C++/Maltab programs demonstrating the usage of SCOTS
- ./manual
Contains a the manuel with its tex source
- ./mfiles
Contains an mfile as a wrapper to the mex-file functions
- ./mfiles/mexfiles/
mex-file to read the C++ output from file
- ./sparse
See [SCOTSv0.2](https://gitlab.lrz.de/matthias/SCOTSv0.2) for the sparse matrix implementation
Title: readme
SCOTS is a C++ tool (with a small Matlab interface) to synthesize controller for
possibly perturbed nonlinear control systems with respect to safety and reachability specifications.
Please read the manual in the manual directory ./manual/manual.pdf
Requirements
============
- A C++ development environment where you can compile C++ source code.
- Optional: If you want to use the code using the Binary Decision Diagrams then you need
the CUDD library by Fabio Somenzi, which can be downloaded at
'http://vlsi.colorado.edu/~fabio/'.
SCOTS uses the dddmp and C++ wraper of the CUDD library.
In the example computations we used cudd-3.0.0 which we configured with
$./configure --enable-shared --enable-obj --enable-dddmp --prefix=/opt/local/
SCOTS is a header only library. You only need to add SCOTS source directory to
the include directory in the compiler command.
Further details are found in the readme files in example directories and in the manual.
For installing and running SCOTS on Windows, please refer to the readme-win.txt file.
Directory structure
============
- ./bdd/
Contains the source C++ source code for the SCOTS classes
which use Binary Decision Diagrams as underlying data structure
- ./doc/
C++ Class documentation directory
- ./examples/
Some C++/Maltab programs demonstrating the usage of SCOTS
- ./manual
Contains a the manuel with its tex source
- ./mfiles
Contains an mfile as a wrapper to the mex-file functions
- ./mfiles/mexfiles/
mex-file to read the C++ output from file
- ./sparse
See https://gitlab.lrz.de/matthias/SCOTSv0.2 for the sparse matrix
implementation
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment