| HAL-Inria | Publications, software ... of Inria's scientists |
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.
Cited literature [2 references]
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
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)