Automatique

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

Published on - Modélisation des Systèmes Réactifs (MSR 2015)

Authors: Jérémie Saives, Gregory Faraut, Jean-Jacques Lesage

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.