Login / Signup

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

Marco BozzanoAlessandro CimattiMarco GarioStefano Tonetta
Published in: TACAS (2014)
Keyphrases
  • fault detection
  • fault diagnosis
  • epistemic logic
  • design patterns
  • industrial processes
  • artificial intelligence
  • computational model
  • formal methods
  • fault identification
  • fuel cell