readme.txt 1.58 KB
Newer Older
1

2
Title: readme 
3
4

SCOTS is a C++ tool (with a small Matlab interface) to synthesize controller for
5
possibly perturbed nonlinear control systems with respect to safety and reachability specifications. 
6

7
Please read the manual in the manual directory ./manual/manual.pdf
8
9
10
11
12

Requirements
============

- A C++ development environment where you can compile C++ source code.
Matthias Rungger's avatar
Matthias Rungger committed
13

14
15
- 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
16
  'http://vlsi.colorado.edu/~fabio/'. 
Matthias Rungger's avatar
Matthias Rungger committed
17
  SCOTS uses the dddmp and C++ wraper of the CUDD library.
Matthias Rungger's avatar
Matthias Rungger committed
18

19
  In the example computations we used cudd-3.0.0 which we configured with 
Matthias Rungger's avatar
Matthias Rungger committed
20

21
  $./configure --enable-shared --enable-obj --enable-dddmp --prefix=/opt/local/
22

23
SCOTS is a header only library. You only need to add SCOTS source directory to
24
25
the include directory in the compiler command. 

26
Further details are found in the readme files in example directories and in the manual.
27
28
29
30

Directory structure
============

31
32
33
34
35
36
37
- ./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

Matthias Rungger's avatar
Matthias Rungger committed
38
39
40
- ./examples/
  Some C++/Maltab programs demonstrating the usage of SCOTS

41
42
- ./manual
  Contains a the manuel with its tex source
43
44
45
46
47

- ./mfiles
  Contains an mfile as a wrapper to the mex-file functions

- ./mfiles/mexfiles/
48
49
50
51
52
53
  mex-file to read the C++ output from file 

- ./sparse 
  Contains the source C++ source code for the SCOTS classes 
  which use sparse matrices as underlying data structure
 
54