Test and diagnosis of discrete event systems using Petri nets
Le test d’identification d’état d’un système à événement discret (SED) a pour but d’en identifier l’état final, lorsque son état initial est inconnu. Une solution classique à ce problème, en supposant que le SED n’ait pas de sorties observables, consiste à déterminer une séquences de synchronisation...
Main Author: | |
---|---|
Other Authors: | |
Language: | en |
Published: |
2013
|
Subjects: | |
Online Access: | http://www.theses.fr/2013AIXM4336/document |