Fault Diagnosis in Discrete-Event Systems: Incomplete Models and Learning