Commit 708e1db3 authored by Pushpak Jagtap's avatar Pushpak Jagtap

Update readme.md

parent c60f9f1e
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: **QUEST** is a tool for automated controller synthesis for incrementally input-to-state stable nonlinear control systems with respect to safety and reachability specifications.
The tool is implemented in C++ and contains two major parts:
- 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. - 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.
- Symbolic controller synthesis: the synthesis of controller is implemented using fixed point computations. - Symbolic controller synthesis: the synthesis of controller is implemented using fixed point computations.
Requirments: ### Requirments:
1. A working C/C++ development environment - A working C/C++ development environment
2. A working installation of the CUDD library with - A working installation of the CUDD library by Fabio Somenzi, which can be downloaded at http://vlsi.colorado.edu/~fabio/ with
- the C++ object-oriented wrapper - the C++ object-oriented wrapper
- the dddmp library and - the dddmp library and
- the shared library - the shared library
option enabled. The package follows the usual configure, make, and make install installation option enabled. The package follows the usual configure, make, and make install installation
routine. We use cudd-3.0.0, with the configuration routine. We use cudd-3.0.0, with the configuration
$ ./configure --enable-shared --enable-obj --enable-dddmp--prefix=/opt/local/ `$ ./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 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 missing in /opt/local and we manually copied them to
/opt/local/include. /opt/local/include.
......
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