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

https://hal.inria.fr/hal-00743982
Contributeur : Gregor Gössler <>
Soumis le : lundi 22 octobre 2012 - 10:31:03
Dernière modification le : mercredi 11 avril 2018 - 01:59:13
Document(s) archivé(s) le : mercredi 23 janvier 2013 - 03:36:18

Fichier

RR-8108.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00743982, version 1

Citation

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〉

Partager

Métriques

Consultations de la notice

966

Téléchargements de fichiers

404