Analysis and control of timed event graphs in (max,+) algebra for the active localization of time failures
Résumé
This paper addresses the problem of active diagnosis in Timed Event Graphs for the localization of time failures. Active diagnosis is the process of controlling the system in order to refine a previous diagnosis. A first algorithm is proposed which sets up a multi-input control policy that ensures that the system's observable response is informative enough to identify the source of the delay more precisely, with an analysis of the propagation paths through the TEG. A second algorithm extends the first one to improve the performance of the localization by adding a specific method to analyze the effect of circuits when a time failure propagates.