Commit 453fd02f authored by Pushpak Jagtap's avatar Pushpak Jagtap Committed by GitHub

Update readme.txt

parent 55128663
TOOL: QUEST Read me:
QUEST 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: Requirments:
1. A working C/C++ development environment 1. A working C/C++ development environment
...@@ -12,4 +16,6 @@ routine. We use cudd-3.0.0, with the configuration ...@@ -12,4 +16,6 @@ routine. We use cudd-3.0.0, with the configuration
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.
For further details about windows installation, please refer to the installation_notes_windows.txt For further details about windows installation, please refer to the installation_notes_windows.txt
\ No newline at end of file
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