Mascot Scalable Controller Synthesis


Mascot is a (open-source) tool for synthesizing controllers for continuous non-linear dynamical systems. Currently it supports reach-avoid and safety control specifications.

Mascot is written in C++ and is built on top of SCOTS[1]. The name Mascot stands for Multi-layered Adaptive SCOTS.

Mascot uses some advanced techniques which makes the controller synthesis process much faster than the available tools. On a standard benchmark example with reach-avoid specification, Mascot was 5x faster compared to SCOTS.

To cite Mascot, please cite our paper[2] which presents the preliminary version of the underlying theory.

Please report any bug/comment to Kaushik Mallik (email: kmallik (at)