Skip to Main content Skip to Navigation
New interface
Reports (Research report)

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.
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download
Contributor : Gregor Gössler Connect in order to contact the contributor
Submitted on : Monday, October 22, 2012 - 10:31:03 AM
Last modification on : Wednesday, October 26, 2022 - 8:16:32 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