Identification comportementale des Systèmes à Evénements Discrets réactifs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Poster Communications Year : 2015

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

Abstract

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.
Fichier principal
Vignette du fichier
poster39.pdf (208.53 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01224493 , version 1

Cite

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 View
80 Download

Share

Gmail Facebook X LinkedIn More