Amélioration de la procédure de déterminisation des automates (max,+)

Résumé : Une classe importante de systèmes à événements discrets peut être modélisée à l'aide d'automates (max,+) et les études utilisant ce formalisme ont notamment contribué à l'évaluation de performances et la commande supervisée de ces systèmes. Pour ces résultats, la propriété de déterminisme des automates manipulés est souvent prépondérante. Or, contrairement aux automates logiques, tous les automates (max,+) ne peuvent pas être déterminisés, c'est-à-dire transformés en un automate (max,+) déterministe ayant le même comportement. Une généralisation aux automates (max,+) de la procédure classique de séquentialisation a tout de même été intensivement étudiée et celle-ci se termine avec succès pour des classes importantes d'automates. Cette procédure utilise une condition sur la normalisation des vecteurs d'état pour détecter et fusionner les états engendrant un identique comportement ultérieur. Dans cette contribution, on identifie une nouvelle condition garantissant cette propriété. Cela nous permet d'enrichir la procédure de déterminisation de sorte qu'elle aboutisse pour une classe plus large d'automates (max,+).
Type de document :
Communication dans un congrès
Stephan Merz and Jean-François Pétin. Modélisation des Systèmes Réactifs (MSR-2015), Nov 2015, Nancy, France
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01224219
Contributeur : Stephan Merz <>
Soumis le : mercredi 4 novembre 2015 - 12:18:52
Dernière modification le : mardi 10 novembre 2015 - 15:40:50
Document(s) archivé(s) le : vendredi 5 février 2016 - 11:06:01

Fichier

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

Identifiants

  • HAL Id : hal-01224219, version 1

Collections

Citation

Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond. Amélioration de la procédure de déterminisation des automates (max,+). Stephan Merz and Jean-François Pétin. Modélisation des Systèmes Réactifs (MSR-2015), Nov 2015, Nancy, France. 〈hal-01224219〉

Partager

Métriques

Consultations de la notice

91

Téléchargements de fichiers

52