Synthesis via State-Set Discretization-free Finite Abstractions

The conventional finite abstraction based synthesis techniques suffer from the issue of the curse of dimensionality (i.e., the computational complexity increases exponentially with respect to the state-space dimensions of the concrete systems). Moreover, these approaches are in general limited to finite dimensional systems. To alleviate these issues one can leverage the state-set discretization-free approach for the construction of finite abstractions for incrementally stable systems.

Highlights of the proposed results include:

• We provide a systematic approach for the construction of state-set discretization-free finite abstractions for a class of infinite-dimensional systems.
• We develop an open-source toolbox (in C++), called QUEST, for the state-set discretization-free synthesis of symbolic controllers.