Temporal Decision Trees: Model-based Diagnosis of Dynamic Systems On-Board