readme.txt 1.66 KB
Newer Older
1
Title: readme 
2
3

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

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

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

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

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

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

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

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

25
Further details are found in the readme files in example directories and in the manual.
Mahmoud Mahmoud's avatar
Mahmoud Mahmoud committed
26
For installing and running SCOTS on Windows, please refer to the readmewin.txt file.
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