CoSyMA: A Tool for Controller Synthesis using Multi-scale Abstractions *
Résumé
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 specification. We illustrate by examples the synthesized controllers and the significant performance gains during their computation.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|