QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers

Published: 01 Jan 2017, Last Modified: 27 Sept 2024QEST 2017EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: In this paper, we introduce QUEST, a new tool for automated controller synthesis of incrementally input-to-state stable nonlinear control systems. This tool accepts ordinary differential equations as the descriptions of the nonlinear control systems and constructs their symbolic models using state-space quantization-free approach which can potentially alleviate the issue of so-called curse of dimensionality while computing discrete abstractions of the systems with high-dimensional state-space. The tool supports computation of both minimal and maximal fixed points and thus provides natively algorithms to synthesize controllers enforcing safety and reachability specifications. All the computations are done in C++. Finally, we illustrate the performance of the tool on a 10-room building temperature control. The tool together with user manual and some examples are available for download at www.hcs.ei.tum.de/software.
Loading