Fault diagnosis determinates if an "invisible" fault has occurred in a partially observable system. A fault is predictable if it is possible to deduce about future occurrences of the fault based on the observable record before it occurs. If it is possible to predict the occurrence of a fault when a warning can be issued and preventive measures can be taken. We show how predictability can be verified with Petri net unfoldings.
published on: 15th March 2011