CoSyMA

Sebti Mouelhi, Antoine Girard, Gregor Gössler
2013 Proceedings of the 16th international conference on Hybrid systems: computation and control - HSCC '13  
We introduce CoSyMA, a tool for automatic controller synthesis for incrementally stable switched systems based on multi-scale discrete abstractions. The tool accepts a description of a switched system represented by a set of differential equations and the sampling parameters used to define an approximation of the state-space on which discrete abstractions are computed. The tool generates a controllerif it exists -for the system that enforces a given safety or time-bounded reachability
more » ... ion. We illustrate by examples the synthesized controllers and the significant performance gains during their computation.
doi:10.1145/2461328.2461343 dblp:conf/hybrid/MouelhiGG13 fatcat:5fildph2i5fhpnpkxfoi2yquyq