Discrete Controller Synthesis for Infinite State Systems with ReaX - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2014

Discrete Controller Synthesis for Infinite State Systems with ReaX

Abstract

In this paper, we investigate the control of infinite reactive synchronous systems modeled by arithmetic symbolic transition systems for safety properties. We provide effective algorithms allowing to solve the safety control problem, and report on experiments based on ReaX, our tool implementing these algorithms.
Fichier principal
Vignette du fichier
2014-wodes-Reax.pdf (251.23 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00974553 , version 1 (07-04-2014)

Identifiers

  • HAL Id : hal-00974553 , version 1

Cite

Nicolas Berthier, Hervé Marchand. Discrete Controller Synthesis for Infinite State Systems with ReaX. IEEE International Workshop on Discrete Event Systems, May 2014, Cachan, France. pp.420-427. ⟨hal-00974553⟩
327 View
509 Download

Share

Gmail Facebook Twitter LinkedIn More