| Etablissement | Université d'Oran1 - Ahmed Ben Bella |
| Affiliation | Département d'Informatique |
| Auteur | SEKHRI, Larbi |
| Directeur de thèse | ETIENNE Craye et JUPE Bourey (Professeur) |
| Filière | Informatique |
| Diplôme | Doctorat |
| Titre | Analyse de propriété comportementales et consales dans les graphe applications aux systèmes automalisés de production |
| Mots clés | Diagnostique ATMS, graphe fonctionel intelligence |
| Résumé | Il s'agit de proposer un formalisme mathématique pour l'analyse des graphes fonctionnels qui modélisent les systèmes automatisées de production
Ce formalisme doit prendre en compte, pour ces besoins du diagnostic, le raisennement yposhetique et les aspects temporels
Actuellement, l'approche relationnelle se revèle por l'analyse du graphe foncitionnel
Plusieurs approches sont utiliser acruellement pour le raisonnement hyposentiques comme ç TMS, ATMS et ç biard |
| Statut | Soutenue |