In January 2021 we will introduce a 10 GB quota for project repositories. Higher limits for individual projects will be available on request. Please see https://doku.lrz.de/display/PUBLIC/GitLab for more information.

Commit d49c3f91 authored by Pushpak Jagtap's avatar Pushpak Jagtap

Update readme.txt

parent 8926eb14
QUEST Read me:
QUEST (QUantiization frEe Synthesis of conTroller) is an open source software tool (available at http://www.hcs.ei.tum.de) for automated controller synthesis for incrementally input-to-state stable nonlinear control systems. The tool is implemented in C++ and contains two major parts:
1. Construction of symbolic abstraction: the tool uses state-space quantization-free approach for construction of symbolic which helps to resolve the issue of so-called curse of dimensionality while modelling systems with high-dimensional state spaces.
2. Symbolic controller synthesis: the synthesis of controller is implemented using fixed point computations.
Requirments:
1. A working C/C++ development environment
2. A working installation of the CUDD library with
- the C++ object-oriented wrapper
- the dddmp library and
- the shared library
option enabled. The package follows the usual configure, make, and make install installation
routine. We use cudd-3.0.0, with the configuration
$ ./configure --enable-shared --enable-obj --enable-dddmp--prefix=/opt/local/
On Windows and linux, we experienced that the header files util.h and config.h were
missing in /opt/local and we manually copied them to
/opt/local/include.
For further details about windows installation, please refer to the installation_notes_windows.txt
FOR MORE DETAILS KINDLY REFER TO USER MANUAL AND REFERENCES THEREIN!!!
QUEST (QUantiization frEe Synthesis of conTroller) is an open source software tool (available at http://www.hcs.ei.tum.de) for automated controller synthesis for incrementally input-to-state stable nonlinear control systems. The tool is implemented in C++ and contains two major parts:
1. Construction of symbolic abstraction: the tool uses state-space quantization-free approach for construction of symbolic which helps to resolve the issue of so-called curse of dimensionality while modelling systems with high-dimensional state spaces.
2. Symbolic controller synthesis: the synthesis of controller is implemented using fixed point computations.
Requirments:
1. A working C/C++ development environment
2. A working installation of the CUDD library with
- the C++ object-oriented wrapper
- the dddmp library and
- the shared library
option enabled. The package follows the usual configure, make, and make install installation
routine. We use cudd-3.0.0, with the configuration
$ ./configure --enable-shared --enable-obj --enable-dddmp--prefix=/opt/local/
On Windows and linux, we experienced that the header files util.h and config.h were
missing in /opt/local and we manually copied them to
/opt/local/include.
For further details about windows installation, please refer to the installation_notes_windows.txt
FOR MORE DETAILS KINDLY REFER TO USER MANUAL AND REFERENCES THEREIN!!!
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