Bücher von Lotfi Mhamdi

L¿objectif de travail présenté dans ce mémoire est de proposer une démarche générale de modélisation et d¿analyse pour le diagnostic des systèmes à évènements discrets (SEDs). Pour atteindre cet objectif, nous avons proposé une approche basée sur la dynamique du système en intégrant le caractère temporel du procédé dans le modèle de diagnostic que nous avons proposé. La mise en ¿uvre du modèle dynamique développé est assurée par l¿utilisation de l¿outil automate temporisé, qui permet d¿intégrer le facteur temps dans le modèle construit. Quant à la représentation des activités du système ainsi que les contraintes non temporelles dont il est soumis nous avons utilisé l¿outil réseaux de Petri (RdP).La puissance de l¿outil de modélisation proposé est dans la complémentarité de ces deux modèles: D¿une part les réseaux de Petri sont connus pour leur capacité à la représentation des caractéristiques et des interactions entre les différents composants d¿un atelier de production manufacturière. D¿autre, les automates temporisés sont bien adaptés à la détection en temps réel sans avoir besoin de la liste exhaustive de toutes les défaillances.