CoSyMA: A Tool for Controller Synthesis Using Multi-scale Abstractions - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2012

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

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.
Fichier principal
Vignette du fichier
RR-8108.pdf (5.12 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00743982 , version 1 (22-10-2012)

Identifiers

  • HAL Id : hal-00743982 , version 1

Cite

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⟩
535 View
707 Download

Share

Gmail Facebook X LinkedIn More