CoSyMA: A Tool for Controller Synthesis Using Multi-scale Abstractions

Sebti Mouelhi 1 Antoine Girard 2 Gregor Gössler 1
1 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : In this report 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.
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger
Contributeur : Gregor Gössler <>
Soumis le : lundi 22 octobre 2012 - 10:31:03
Dernière modification le : jeudi 11 octobre 2018 - 08:48:03
Document(s) archivé(s) le : mercredi 23 janvier 2013 - 03:36:18


Fichiers produits par l'(les) auteur(s)


  • HAL Id : hal-00743982, version 1


Sebti Mouelhi, Antoine Girard, Gregor Gössler. CoSyMA: A Tool for Controller Synthesis Using Multi-scale Abstractions. [Research Report] RR-8108, INRIA. 2012. 〈hal-00743982〉



Consultations de la notice


Téléchargements de fichiers