A µ-Calculus Framework for the Diagnosability of Discrete Event Systems

( 2018 ), a stronger notion of intermittent diagnosability was introduced. It consists in not only detecting each fault occurrence within a finite delay, but also before its reset..

Concerning the last scenario, it is not detected as a fault by the templates approach because this particular behavior does not lead to the observation of any trigger event (that

Given a plant P , the aim of the synthesis of a controller is to find a process C called a controller which, when supervising P forces it to satisfy a control objective, given that

Using a timed automaton where discrete actions are separated by one time unit gives to the diagnoser the ability to count/measure time and this is not equivalent to the fault

• Inter-schema mappings: semantics translation of the query using the schema transformation approach for defining the mappings between the database and wrap- per schemas.. •

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

It has been proved above that, at the condition to have a cor- rect slicing of the observation automaton, it is possible to in- crementally compute the global system diagnosis

Even in the case of stochastic systems, the different notions of diagnosability have examined whether a fault detector would trigger for sure or not, either in finite time.. Fabre