“…Another efficient approach formalizes a priori knowledge as partially specified models. Fitting models to data is obtained by means of various techniques, depending on the class of models, that can be discrete (Bay et al, 2003;Zupan et al, 2001;Bryant et al, 2001;Reiser et al, 2001), continuous (Batt et al, 2005;Boyer and Viari, 2003;King et al, 2005) or hybrid (Calzone et al, 2005;Langley et al, 2005). Qualitative reasoning, hybrid system, constraint programming or model-checking allow either to identify a subset of active processes explaining experimental time-series data (Bay et al, 2003;Zupan et al, 2001;Bryant et al, 2001;Reiser et al, 2001) or to correct the models and infer some parameters from data (Batt et al, 2005;Chabrier-Rivier et al, 2004).…”