Modèle formel pour intégrer le diagnostic de fautes multiples et la reconfiguration
Ces travaux de recherche présentent un nouveau cadre formel pour intégrer le diagnostic de fautes multiples et la reconfiguration. L'idée principale est d'utiliser STRIPS (Stanford Research Institute Problem Solver), un langage formel pour la planification automatisée qui peut intégrer les...
Main Author: | |
---|---|
Other Authors: | |
Language: | en fr |
Published: |
2009
|
Subjects: | |
Online Access: | http://www.theses.fr/2009LIL10077 |