readme.md 1.73 KB
Newer Older
Matthias Rungger's avatar
Matthias Rungger committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
# 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