A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
CoSyMA
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
doi:10.1145/2461328.2461343
dblp:conf/hybrid/MouelhiGG13
fatcat:5fildph2i5fhpnpkxfoi2yquyq