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 metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-00743982
Contributor : Gregor Gössler <>
Submitted on : Monday, October 22, 2012 - 10:31:03 AM
Last modification on : Tuesday, October 29, 2019 - 11:10:23 AM
Long-term archiving on : Wednesday, January 23, 2013 - 3:36:18 AM

File

RR-8108.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00743982, version 1

Collections

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⟩

Share

Metrics

Record views

1065

Files downloads

834