Deadlock-free Discrete Controller Synthesis for Infinite State Systems

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 : We elaborate on our former work for the safety control of infinite reactive synchronous systems modeled by arithmetic symbolic transition systems. By using abstract interpretation techniques involving disjunctive polyhedral overapproximations, we provide effective symbolic algorithms allowing to solve the deadlock-free safety control problem while overcoming previous limitations regarding the non-convexity of the set of states violating the invariant to enforce.
Type de document :
Communication dans un congrès
54th IEEE Conference on Decision and Control, Dec 2015, Osaka, Japan. 2015
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-01200976
Contributeur : Hervé Marchand <>
Soumis le : mardi 5 janvier 2016 - 17:15:08
Dernière modification le : mercredi 16 mai 2018 - 11:24:07
Document(s) archivé(s) le : jeudi 7 avril 2016 - 15:32:38

Fichier

paper.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01200976, version 1

Citation

Nicolas Berthier, Hervé Marchand. Deadlock-free Discrete Controller Synthesis for Infinite State Systems. 54th IEEE Conference on Decision and Control, Dec 2015, Osaka, Japan. 2015. 〈hal-01200976〉

Partager

Métriques

Consultations de la notice

397

Téléchargements de fichiers

113