Synthesizing bounded-time 2-phase fault recovery.

Borzoo Bonakdarpour Sandeep S. Kulkarni

Published in: Formal Aspects Comput. (2015)

Keyphrases

fault detection
fault diagnosis
normal operation
preprocessing phase
error detection
image recovery
recovery algorithm
neural network
image processing
three dimensional
data structure
control system
learning phase