Login / Signup

Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic.

Marco BozzanoAlessandro CimattiMarco GarioStefano Tonetta
Published in: Log. Methods Comput. Sci. (2015)
Keyphrases
  • fault detection
  • epistemic logic
  • fault diagnosis
  • fault identification
  • fault isolation
  • image processing
  • computational intelligence
  • formal methods