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.



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.


Consult the manual.


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