Identification comportementale des Systèmes à Evénements Discrets réactifs

Jérémie Saives 1 Gregory Faraut 1 Jean-Jacques Lesage 1
1 LURPA - Laboratoire Universitaire de Recherche en Production Automatisée
Résumé : L'objectif des travaux est de proposer une technique d'identification des Systèmes à Evénements Discrets permettant d'obtenir des modèles compacts et très expressifs de systèmes logiques réactifs, à des fins de retro-conception ou de certification. L'identification est passive, et boîte noire − la connaissance se limitant aux entrées et sorties du système. L'observation, conduite lors du « fonctionnement normal » du système, délivre une séquence de vecteurs entrées/sorties.
Type de document :
Poster
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 [2 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01224493
Contributeur : Stephan Merz <>
Soumis le : vendredi 6 novembre 2015 - 11:55:56
Dernière modification le : vendredi 17 février 2017 - 16:12:35
Document(s) archivé(s) le : dimanche 7 février 2016 - 10:13:10

Fichier

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

Identifiants

  • HAL Id : hal-01224493, version 1

Collections

MSR2015 | ENS-CACHAN | UNIV-PARIS-SACLAY

Citation

Jérémie Saives, Gregory Faraut, Jean-Jacques Lesage. Identification comportementale des Systèmes à Evénements Discrets réactifs. Stephan Merz and Jean-François Pétin. Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France. 〈hal-01224493〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

138

Téléchargements de fichiers

70

Contact


archive-ouverte@inria.fr