Identification active des systèmes à évènements discrets

Contrat doctoral pour normalien

Système à évènements discrets,  Identification, Test de conformité

Ce travail de thèse s'intéresse à la construction d'un modèle dynamique d'un dispositif réel, considéré comme une boîte noire à entrées/sorties et qui se comporte comme un système à événements discrets, par identification active. Cette technique consiste à élaborer le modèle de comportement en sollicitant le dispositif considéré et en observant ses réponses à ces sollicitations. Elle se distingue en particulier du test de conformité par le fait qu'aucun modèle de spécification n'est donné a priori mais qu'il s'agit au contraire de construire un modèle formel à partir d'observations et de l'identification passive, où l'observation est pratiquée pendant le fonctionnement normal du système, qui n'est alors soumis qu'aux sollicitations ambiantes. Les applications industrielles potentielles sont la validation et la certification de systèmes de commande discrets critiques.