IEE Colloquium on Qualitative Modelling in Diagnosis and Control