Mascot Scalable Controller Synthesis
!-- Overlay effect when opening sidebar on small screens -->

The abstraction-based control paradigm.

Mascot follows the abstraction-based control paradigm. The controller synthesis happens in three stages: (a) abstraction (by means of state space and time discretization) of the continuous system by a finite state abstract system, (b) synthesis of an abstract controller for the abstract system, (c) refinement of the abstract controller to a concrete controller.

Lazy multi-layered abstraction for speed-up.

The innovation of Mascot is the replacement of a single monolithic abstraction by lazily computed multiple abstractions of varying granularity. The synthesis starts on a very coarse (and cheap to compute) abstraction layer. The finer abstraction layers (expensive to compute), which are initially empty, are explored and used for synthesis only when needed. On an example controlling an unicycle in a maze, the speed-up was 5x as compared to the normal monolithic synthesis on the finest abstraction layer. For details, please refer to the paper[1,2,3].