CoSyMA: A Tool for Controller Synthesis Using Multi-scale Abstractions

CoSyMA is a tool for automatic controller synthesis for incrementally stable switched systems based on multi-scale discrete abstractions. The tool ensures significant performance gains during the controller synthesis.

Input

Output

A controller -- if it exists -- for the system that enforces a given safety or time-bounded reachability specification.

Download & Installation

Click here to download source files and here to follow the installation instructions.

Documentation

Consult the manual.

Feedback

Sebti Mouelhi (home, sebti _dot_ mouelhi _at_ ece _dot_ fr)