Identification comportementale des Systèmes à Evénements Discrets réactifs - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Poster Année : 2015

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

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.

Domaines

Automatique
Fichier principal
Vignette du fichier
poster39.pdf (208.53 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01224493 , version 1 (06-11-2015)

Identifiants

  • HAL Id : hal-01224493 , version 1

Citer

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⟩
123 Consultations
81 Téléchargements

Partager

Gmail Facebook X LinkedIn More