Skip to Main content Skip to Navigation

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 [2007-2015] - Laboratoire d'Informatique de Grenoble [2007-2015]
2 CASYS - Calculs Algébriques et Systèmes Dynamiques
LJK [2007-2015] - Laboratoire Jean Kuntzmann [2007-2015]
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.
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download
Contributor : Gregor Gössler <>
Submitted on : Monday, October 22, 2012 - 10:31:03 AM
Last modification on : Friday, July 17, 2020 - 11:39:00 AM
Long-term archiving on: : Wednesday, January 23, 2013 - 3:36:18 AM


Files produced by the author(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⟩



Record views


Files downloads