Bérangère Suiphon

  • Citations Per Year
Learn More
This paper concerns the problem of diagnosing the occurrence of permanent fault events in partially observed discrete event systems modelled as finite-state automata in a event-based framework. The first step is the verification of the existence of diagnosers (the diagnosability problem) for such systems. We define a necessary and sufficient condition of(More)
To date, fault diagnosis is more and more studied due to its essential role in equipment availability and human safety. This paper proposes a model-based method for discrete-event systems using the characteristic times in its normal behavior. If these times are not respected, a failure can be detected. Then the failure is isolated using fault signature(More)
  • 1