Automated Abstraction of Numerical Simulation Models - Theory and Practical Experience
Peter Struß · 2003
This paper presents and discusses work on the automated generation of qualitative (diagnostic) models from simulation models that have been developed for (control) engineering purposes. This work is motivated by an attempt to build model-based tools that support a closer integration of diagnostic considerations in early design phases of on-board systems for vehicles and based on the insight that such an attempt has to limit the required modeling efforts. We present the mathematical foundations and the implementation of the abstraction process and discuss the various difficulties and problems encountered when we applied the software to real automotive subsystems. These difficulties include complexity and methodological issues, and what should be, but has not been, a major concern of research on qualitative reasoning: How to obtain adequate qualitative domains. 1.