Title: Knowledge-Based System Diagnosis, Supervision, and Control