Title: Model-based approaches to fault diagnosis