Discrete Controller Synthesis for Infinite State Systems with ReaX - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

Discrete Controller Synthesis for Infinite State Systems with ReaX

(1) , (1)
1

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⟩
311 View
455 Download

Share

Gmail Facebook Twitter LinkedIn More