But where do we start ? Qualitative initialization problem with quantitative models

For impact in industrial settings, qualitative reasoning techniques must work with existing modeling languages and libraries. This paper presents an important subproblem that must be solved to perform qualitative simulation with industry models, the problem of initialization of systems of hybrid discrete and algebraic equations. We present a case study using five models illustrating the scope of the problem, and then we present three examples of inconsistencies that may arise when guiding the initialization approach with the results of quantitative simulation. We discuss our approach to alleviate these problems in an effort to initialize a very large system model. We close with a discussion of related and future work.