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.
Type de document :
Communication dans un congrès
IEEE International Workshop on Discrete Event Systems, May 2014, Cachan, France. pp.420-427, 2014
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00974553
Contributeur : Hervé Marchand <>
Soumis le : lundi 7 avril 2014 - 10:40:48
Dernière modification le : mardi 16 janvier 2018 - 15:54:22
Document(s) archivé(s) le : lundi 7 juillet 2014 - 11:03:37

Fichier

2014-wodes-Reax.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00974553, version 1

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, 2014. 〈hal-00974553〉

Partager

Métriques

Consultations de la notice

375

Téléchargements de fichiers

217