Skip to Main content Skip to Navigation
Poster communications

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.
Document type :
Poster communications
Complete list of metadata

Cited literature [2 references]  Display  Hide  Download

https://hal.inria.fr/hal-01224493
Contributor : Stephan Merz <>
Submitted on : Friday, November 6, 2015 - 11:55:56 AM
Last modification on : Monday, July 5, 2021 - 9:48:32 AM
Long-term archiving on: : Sunday, February 7, 2016 - 10:13:10 AM

File

poster39.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01224493, version 1

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⟩

Share

Metrics

Record views

186

Files downloads

247