CoSyMA: a tool for controller synthesis using multi-scale abstractions

Abstract : 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 controller - if 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.
Type de document :
Communication dans un congrès
HSCC'13 - 16th International Conference on Hybrid systems: computation and control, Apr 2013, Philadelphie, United States. ACM, pp.83-88, 2013, 〈10.1145/2461328.2461343〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00839613
Contributeur : Antoine Girard <>
Soumis le : vendredi 28 juin 2013 - 16:22:02
Dernière modification le : mardi 11 octobre 2016 - 01:04:10

Identifiants

Citation

Sebti Mouelhi, Antoine Girard, Gregor Goessler. CoSyMA: a tool for controller synthesis using multi-scale abstractions. HSCC'13 - 16th International Conference on Hybrid systems: computation and control, Apr 2013, Philadelphie, United States. ACM, pp.83-88, 2013, 〈10.1145/2461328.2461343〉. 〈hal-00839613〉

Partager

Métriques

Consultations de la notice

295