Develops a knowledge of representation and utilization methodology, integrating qualitative reasoning (a powerful model-based reasoning method) and bond graphs (a formal modelling language of dynamic systems), for the construction of intelligent supervisory control systems.