Skip to Main content Skip to Navigation
Conference papers

Discrete Controller Synthesis for Infinite State Systems with ReaX

Nicolas Berthier 1 Hervé Marchand 1
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [26 references]  Display  Hide  Download
Contributor : Hervé Marchand Connect in order to contact the contributor
Submitted on : Monday, April 7, 2014 - 10:40:48 AM
Last modification on : Thursday, January 20, 2022 - 5:33:08 PM
Long-term archiving on: : Monday, July 7, 2014 - 11:03:37 AM


Files produced by the author(s)


  • HAL Id : hal-00974553, version 1


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⟩



Les métriques sont temporairement indisponibles