, , p.34
, Dénition d'un paramètre d'un système (max, +)-linéaire, p.35
, Représentation des fautes de type modication de paramètres
, 41 4.2.2 Génération de la matrice de signature minimale, p.44
,
, Conclusion et perspectives Dans ce rapport de stage de n d'étude, une méthode de diagnostic pour les systèmes (max, +)-linéaires est proposée. Celle-ci repose sur la théorie des dioïdes et en particulier la théorie de la résiduation
, Contribution La représentation graphique dans le dioïde M ax in ?, ?, appelé représentant compteurdateur, est utile au diagnostic. En eet, cette représentation est bien adaptée à la comparaison entre deux éléments de M ax in ?, ? avec la mesure de distances entre ces éléments
, Une défaillance est détectée lorsque la distance entre ces deux sorties est non nulle. L'indicateur proposé dans ce chapitre à été codé en C++ à l'aide de la bibliothèque de calcul appelé "minmaxgd". L'indicateur permettant de déceler une défaillance sur une observation est utilisé dans le but de la localisation (cf. Chapitre 4). Les diérents indicateurs levés en présence d'une défaillance forme une signature, celle-ci permet de sélectionner des fautes candidates. Perspectives Plusieurs perspectives se dégagent de ce travail, La méthode de détection de faute proposée dans le Chapitre 3 repose sur la mesure des distances entre deux éléments de M ax in ?, ?. En eet, celle-ci permet de comparer la sortie du système attendue?yattendue? attendue?y avec la sortie observée y, 1992.
, Network Calculus : A Theory of Deterministic Queuing Systems for the Internet, 2001.
, Model reference control for timed event graphs in dioids, Automatica, vol.37, p.14511458, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00845151
, Data processing tool for calculation in dioid, 5th International Workshop on Discrete Event Systems, WODES'00, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00845037
, Contribution à la commande de systèmes à événements discrets : synthèse de correcteurs pour les graphes d'événements temporisés dans les dioïdes, 1999.
, Chronicle recognition improvement using temporal focusing and hierarchization, IJCAI '07, p.324329, 2007.
, Alarm driven supervision for telecommunication network : Ii-on-line chronicle recognition, Annales Des Télécomunications, vol.51, p.501508, 1996.
, State observer for des under partial observation with time petri nets, Discrete Event Dynamic Systems, vol.19, p.137165, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00801148
, Max-plus linear observer : application to manufacturing systems, 10th International Workshop on Discrete Event Systems, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00857986
, Contribution à la commande de systèmes (max,+)-linéaires. Applications aux réseaux de transport, 2006.
, Second order theory of min-linear systems and its application to discret event systems, Proceedings of the 30th IEEE Conference on Decision and Control, p.15111516, 1991.
, Petri nets : properties, analysis and applications, IEEE Proceedings : Special issue on Discrete Event Systems, vol.77, 1989.
, Contribution à la modélisation, à l'analyse et à la commande des sysrtèmes de transport public par les réseaux de Petri et l'algèbre (Max,plus), 2003.
, Issues of Fault Diagnosis for Dynamic Systems, 2000.
, Adaptative feedback control for (max,+)-linear systems, ETFA '05, vol.2, p.164170, 2005.
, Diagnosability of discrete-event system, IEEE Transactions on Automatic Control, vol.40, p.15551575, 1995.
, Fault diagnosis for timed automata, Format technique in real time and fault tolerant systems, p.205221, 2002.