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 subprob- lem that must be solved to perform qualitative simula- tion with industry models, the problem of initialization of systems of hybrid discrete and algebraic equations. We present a case study using four models illustrating the scope of the problem, and then we present three ex- amples of inconsistencies that may arise when guiding the initialization approach with the results of quantita- tive simulation. We discuss our approach to alleviate these problems in an effort to initialize a very large sys- tem model. We close with a discussion of related and future work.