Diagnosis of Active Systems