Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Analyses à la volée"'
Autor:
Liu, Baisi
Cette thèse s'intéresse à l'étude des problèmes de diagnostic des fautes sur les systèmes à événements discrets en utilisant les modèles réseau de Petri. Des techniques d'exploration incrémentale et à-la-volée sont développées pour co
Externí odkaz:
http://www.theses.fr/2014ECLI0007/document
Autor:
LIU, Baisi
Publikováno v:
Automatic. Ecole Centrale de Lille, 2014. English. ⟨NNT : 2014ECLI0007⟩
Automatic. Ecole Centrale de Lille, 2014. English
204p
Automatic. Ecole Centrale de Lille, 2014. English
204p
This PhD thesis deals with fault diagnosis of DES in both untimed and timed contexts using Petri net models. Some on-the-fly and incremental techniques are developed to reduce the state explosion problem while analyzing diagnosability. In the untimed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a78409f29f0f0dac443d98ba8a76d615
https://tel.archives-ouvertes.fr/tel-01267284/file/Liu_Baisi_DLE.pdf
https://tel.archives-ouvertes.fr/tel-01267284/file/Liu_Baisi_DLE.pdf