CentraleSupélec (3, rue Joliot Curie,
Plateau de Moulon,
91192 GIF-SUR-YVETTE Cedex - France)
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
https://hal.inria.fr/hal-00974553
Contributeur : Hervé Marchand
<>
Soumis le : lundi 7 avril 2014 - 10:40:48
Dernière modification le : vendredi 16 novembre 2018 - 01:38:43
Document(s) archivé(s) le : lundi 7 juillet 2014 - 11:03:37
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〉
