CoSyMA: a tool for controller synthesis using multi-scale abstractions - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

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 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.
Fichier non déposé

Dates et versions

hal-00839613 , version 1 (28-06-2013)

Identifiants

Citer

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. pp.83-88, ⟨10.1145/2461328.2461343⟩. ⟨hal-00839613⟩
277 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More