{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T10:01:34Z","timestamp":1760608894236,"version":"3.37.3"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,1,19]],"date-time":"2016-01-19T00:00:00Z","timestamp":1453161600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100007136","name":"Secretar\u00eda de Estado de Investigaci\u00f3n, Desarrollo e Innovaci\u00f3n","doi-asserted-by":"publisher","award":["DPI2013-45414-R"],"award-info":[{"award-number":["DPI2013-45414-R"]}],"id":[{"id":"10.13039\/501100007136","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Prog Artif Intell"],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1007\/s13748-015-0078-5","type":"journal-article","created":{"date-parts":[[2016,1,19]],"date-time":"2016-01-19T06:56:20Z","timestamp":1453186580000},"page":"111-120","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["DxPCs: a toolbox for model-based diagnosis of dynamic systems using possible conflicts"],"prefix":"10.1007","volume":"5","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2340-684X","authenticated-orcid":false,"given":"Belarmino","family":"Pulido","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anibal","family":"Bregon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos J.","family":"Alonso-Gonz\u00e1lez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Hern\u00e1ndez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Rubio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis Miguel","family":"Villarroel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,19]]},"reference":[{"issue":"2","key":"78_CR1","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1109\/TSMCB.2008.2006909","volume":"39","author":"J Armengol","year":"2009","unstructured":"Armengol, J., Vehi, J., Sainz, M., Herrero, P., Gelso, E.: Squaltrack: a tool for robust fault detection. Syst. Man Cybern. Part B Cybern. IEEE Trans. 39(2), 475\u2013488 (2009). doi: 10.1109\/TSMCB.2008.2006909","journal-title":"Syst. Man Cybern. Part B Cybern. IEEE Trans."},{"key":"78_CR2","doi-asserted-by":"crossref","unstructured":"Blanke, M., Lorentzen, T.: SaTool\u2014a Software tool for structural analysis of complex automation systems, pp. 673\u2013678. Elsevier Science (2006). doi: 10.3182\/20060829-4-CN-2909.00104","DOI":"10.3182\/20060829-4-CN-2909.00104"},{"key":"78_CR3","volume-title":"Diagnosis and fault-tolerant control","author":"M Blanke","year":"2006","unstructured":"Blanke, M., Kinnaert, M., Lunze, J., Staroswiecki, M.: Diagnosis and fault-tolerant control. Springer, Berlin, Heidelberg (2006)"},{"issue":"7","key":"78_CR4","doi-asserted-by":"crossref","first-page":"875","DOI":"10.1016\/j.conengprac.2004.10.002","volume":"13","author":"BO Bouamama","year":"2005","unstructured":"Bouamama, B.O., Samantaray, A., Medjaher, K., Staroswiecki, M., Dauphin-Tanguy, G.: Model builder using functional and bond graph tools for FDI design. Control Eng. Pract. 13(7), 875\u2013891 (2005). doi: 10.1016\/j.conengprac.2004.10.002 . (Control Applications of Optimisation)","journal-title":"Control Eng. Pract."},{"key":"78_CR5","doi-asserted-by":"crossref","unstructured":"Bregon, A., Alonso, C., Biswas, G., Pulido, B., Moya, N.: Fault diagnosis in hybrid systems using possible conficts. In: Proc. of SAFEPROCESS\u201912, Mexico City (2012)","DOI":"10.3182\/20120829-3-MX-2028.00122"},{"key":"78_CR6","unstructured":"Bregon, A., Garc\u00eda, D.: A reconfigurable system for multiple off-line simulation supporting fault diagnosis tasks. Inf. Syst. Probl. Perspect. Innov. Approaches, pp. 39\u201343 (2007)"},{"key":"78_CR7","doi-asserted-by":"crossref","unstructured":"Bregon, A., Biswas, G., Pulido, B.: A decomposition method for nonlinear parameter estimation in TRANSCEND. IEEE Trans. Syst. Man, Cyber. Part A 42(3), 751\u2013763 (2012). doi: 10.1109\/TSMCA.2011.2170065","DOI":"10.1109\/TSMCA.2011.2170065"},{"issue":"1","key":"78_CR8","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/S0004-3702(98)00044-7","volume":"102","author":"V Brusoni","year":"1998","unstructured":"Brusoni, V., Console, L., Terenziani, P., Dupr, D.T.: A spectrum of definitions for temporal model-based diagnosis. Artif. Intell. 102(1), 39\u201379 (1998). doi: 10.1016\/S0004-3702(98)00044-7","journal-title":"Artif. Intell."},{"key":"78_CR9","doi-asserted-by":"crossref","unstructured":"Isermann. R.: Preface to the special section of papers on supervision, fault detection and diagnosis of technical systems. Control Eng. Pract. 5(5), 637 (1997). doi: 10.1016\/S0967-0661(97)00045-2","DOI":"10.1016\/S0967-0661(97)00045-2"},{"key":"78_CR10","doi-asserted-by":"crossref","unstructured":"de Kleer, J., Kurien, J.: Fundamentals of model-based diagnosis. In: Preprints of the 5th IFAC symposium on fault detection, supervision and safety for technical processes, SAFEPROCESS03. Washington D.C. (2003)","DOI":"10.1016\/S1474-6670(17)36467-4"},{"key":"78_CR11","unstructured":"de Kleer, J., Mackworth, A.K., Reiter, R.: Readings in model based diagnosis, Characterizing diagnosis and systems, pp. 54\u201365. Morgan-Kauffman Pub. (1992)"},{"key":"78_CR12","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J Kleer de","year":"1987","unstructured":"de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artif. Intell. 32, 97\u2013130 (1987)","journal-title":"Artif. Intell."},{"key":"78_CR13","unstructured":"Dressler, O.: On-line diagnosis and monitoring of dynamic systems based on qualitative models and dependency-recording diagnosis engines. In: Proceedings of the Twelfth European conference on artificial intelligence, ECAI-96, pp. 461\u2013465 (1996)"},{"key":"78_CR14","first-page":"269","volume-title":"Principles of knowledge representation","author":"O Dressler","year":"1996","unstructured":"Dressler, O., Struss, P.: The consistency-based approach to automated diagnosis of devices. In: Brewka, G. (ed.) Principles of knowledge representation, pp. 269\u2013314. CSLI Publications, Standford (1996)"},{"key":"78_CR15","doi-asserted-by":"crossref","unstructured":"Feldman, A., de Castro, H.V., van Gemund, A., Provan, G.: Model-based diagnostic decision-support system for satellites. In: Aerospace conference, 2013 IEEE, pp. 1\u201314. IEEE (2013)","DOI":"10.1109\/AERO.2013.6497427"},{"key":"78_CR16","doi-asserted-by":"crossref","unstructured":"Frisk, E., Krysander, M., Nyberg, M., Aslund, J.: A toolbox for design of diagnosis systems. In: IN PROC. OF IFAC SAFEPROCESS\u201906 (2006)","DOI":"10.3182\/20060829-4-CN-2909.00109"},{"issue":"5","key":"78_CR17","doi-asserted-by":"crossref","first-page":"1216","DOI":"10.1109\/TSMCA.2012.2189877","volume":"42","author":"E Frisk","year":"2012","unstructured":"Frisk, E., Bregon, A., Aslund, J., Krysander, M., Pulido, B., Biswas, G.: Diagnosability analysis considering causal interpretations for differential constraints. Syst. Man Cybern. Part A Syst. Hum. IEEE Trans. 42(5), 1216\u20131229 (2012). doi: 10.1109\/TSMCA.2012.2189877","journal-title":"Syst. Man Cybern. Part A Syst. Hum. IEEE Trans."},{"issue":"5","key":"78_CR18","doi-asserted-by":"crossref","first-page":"653","DOI":"10.1016\/S0967-0661(97)00047-6","volume":"5","author":"J Gertler","year":"1997","unstructured":"Gertler, J.: Fault detection and isolation using parity relations. Control Eng. Pract. 5(5), 653\u2013661 (1997)","journal-title":"Control Eng. Pract."},{"key":"78_CR19","volume-title":"Readings in model-based diagnosis","author":"W Hamscher","year":"1992","unstructured":"Hamscher, W., Console, L., de Kleer, J.: Readings in model-based diagnosis. Morgan-Kaufmann Pub, San Mateo (1992)"},{"key":"78_CR20","unstructured":"Heintz, F., Krysander, M., Roll, J., Frisk, E.: FlexDx: a reconfigurable diagnosis framework. In: Proceedings of the 19th international workshop on principles of diagnosis, DX08, pp. 79\u201386. Blue Mountains (2008)"},{"key":"78_CR21","doi-asserted-by":"crossref","unstructured":"Kinnaert, M.: Fault diagnosis based on analytical models for linear and nonlinear systems. A tutorial. In: Preprints of the 5th IFAC symposium on fault detection, supervision and safety for technical processes SAFEPROCESS\u20192003, pp. 37\u201350 (2003)","DOI":"10.1016\/S1474-6670(17)36468-6"},{"issue":"1","key":"78_CR22","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1109\/TSMCA.2007.909555","volume":"38","author":"M Krysander","year":"2008","unstructured":"Krysander, M., \u00c5slund, J., Nyberg, M.: An efficient algorithm for finding minimal over-constrained sub-systems for model-based diagnosis. IEEE Trans. Syst. Man Cybern. Part A Syst. Hum. 38(1), 197\u2013206 (2008)","journal-title":"IEEE Trans. Syst. Man Cybern. Part A Syst. Hum."},{"key":"78_CR23","unstructured":"Lajo, R.: Herramienta Configurable para el C\u00e1lculo del Conjunto de Posibles Conflictos. Universidad de Valladolid, Dpto. de Inform\u00e1tica. E.T.S.I. Inform\u00e1tica (2007)"},{"key":"78_CR24","doi-asserted-by":"crossref","unstructured":"Manders, E., Biswas, G., Mahadevan, N., Karsai, G.: Component-oriented modeling of hybrid dynamic systems using the generic modeling environment. In: Proceedings of the 4th workshop on model-based development of computer based systems (2006)","DOI":"10.1109\/MBD-MOMPES.2006.6"},{"issue":"6","key":"78_CR25","doi-asserted-by":"crossref","first-page":"554","DOI":"10.1109\/3468.798059","volume":"29","author":"P Mosterman","year":"1999","unstructured":"Mosterman, P., Biswas, G.: Diagnosis of continuous valued systems in transient operating regions. IEEE Trans. Syst. Man Cybern. 29(6), 554\u2013565 (1999)","journal-title":"IEEE Trans. Syst. Man Cybern."},{"key":"78_CR26","unstructured":"Narasimhan, S., Brownston, L.: Hyde-a general framework for stochastic and hybrid model-based diagnosis. In: Proc. 18th international workshop on principles of diagnosis (DX\u201907), Nashville, pp. 162\u2013169. Citeseer (2007)"},{"key":"78_CR27","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3644-6","volume-title":"Issues of fault diagnosis for dynamic systems","author":"R Patton","year":"2000","unstructured":"Patton, R., Frank, P., Clark, R.: Issues of fault diagnosis for dynamic systems. Springer, London (2000)"},{"key":"78_CR28","doi-asserted-by":"crossref","unstructured":"Pulido, B., Alonso, C., Acebes, F.: Lessons learned from diagnosing dynamic systems using possible conflicts and quantitative models. In: Engineering of intelligent systems. XIV Conf. IEA\/AIE-2001, LNAI, vol. 2070, pp. 135\u2013144, Budapest (2001)","DOI":"10.1007\/3-540-45517-5_17"},{"key":"78_CR29","doi-asserted-by":"crossref","unstructured":"Pulido, B., Bregon, A., Alonso-Gonzalez, C.: Analyzing the influence of differential constraints in possible conflict and ARR computation. In: Meseguer, P., Mandow, L., Gasca, R.M. (eds.) Current topics in artficial intelligence, CAEPIA 2009. Springer-Verlag, Berlin (2009)","DOI":"10.1007\/978-3-642-14264-2_2"},{"key":"78_CR30","doi-asserted-by":"crossref","unstructured":"Pulido, B., Bregon, A., Alonso-Gonz\u00e1lez, C.: Analyzing the influence of differential constraints in possible conflicts and ARR computation. In: Meseguer, P., Mandow, L., Gasca, R. (eds.) Current topics in artificial intelligence, LNCS, vol. 5988, pp. 11\u201321. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-14264-2_2"},{"key":"78_CR31","doi-asserted-by":"crossref","unstructured":"Pulido, B., Alonso-Gonz\u00e1lez, C.: Possible conflicts: a compilation technique for consistency-based diagnosis. IEEE Trans. Syst. Man Cybern. Part B Cybern. 34(5), 2192\u20132206 (2004). doi: 10.1109\/TSMCB.2004.835007","DOI":"10.1109\/TSMCB.2004.835007"},{"key":"78_CR32","doi-asserted-by":"crossref","unstructured":"Reiter, R.: A Theory of diagnosis from first principles. Artificial Intelligence, vol. 32. Elsevier Science Publishers B.V., North-Holland (1987)","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"78_CR33","unstructured":"Struss, P., Price, C.: Model-based systems in the automotive industry. AI Mag. 24(4), 17\u201334 (2004). http:\/\/dl.acm.org\/citation.cfm?id=973340.973344"},{"key":"78_CR34","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1109\/64.590070","volume":"12","author":"L Trav\u00e9-Massuy\u00e8s","year":"1997","unstructured":"Trav\u00e9-Massuy\u00e8s, L., Milne, R.: Gas-turbine condition monitoring using qualitative model-based diagnosis. IEEE Expert 12, 22\u201331 (1997)","journal-title":"IEEE Expert"}],"container-title":["Progress in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13748-015-0078-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13748-015-0078-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13748-015-0078-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T22:36:52Z","timestamp":1654123012000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13748-015-0078-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,19]]},"references-count":34,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2016,5]]}},"alternative-id":["78"],"URL":"https:\/\/doi.org\/10.1007\/s13748-015-0078-5","relation":{},"ISSN":["2192-6352","2192-6360"],"issn-type":[{"type":"print","value":"2192-6352"},{"type":"electronic","value":"2192-6360"}],"subject":[],"published":{"date-parts":[[2016,1,19]]}}}