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 metadatas

Cited literature [26 references]  Display  Hide  Download
https://hal.inria.fr/hal-00974553
Contributor : Hervé Marchand <>
Submitted on : Monday, April 7, 2014 - 10:40:48 AM
Last modification on : Friday, November 16, 2018 - 1:38:43 AM
Long-term archiving on : Monday, July 7, 2014 - 11:03:37 AM

File

2014-wodes-Reax.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00974553, version 1

Collections

UNIV-RENNES1 | INRIA | IRISA | IRISA-D4 | INSTITUT-TELECOM | UR1-UFR-ISTIC | UNIV-RENNES

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

525

Files downloads

422

Contact


archive-ouverte@inria.fr