{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:19:07Z","timestamp":1725495547752},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422327"},{"type":"electronic","value":"9783540455455"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45545-0_134","type":"book-chapter","created":{"date-parts":[[2007,11,16]],"date-time":"2007-11-16T19:01:49Z","timestamp":1195239709000},"page":"1228-1236","source":"Crossref","is-referenced-by-count":0,"title":["Diagnosis Algorithms for a Symbolically Modeled Manufacturing Process"],"prefix":"10.1007","author":[{"given":"N.","family":"Rakoto-Ravalontsalama","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,7,17]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"A. Aghasaryan, E. Fabre, A. Benveniste, R. Boubour and C. Jard \u201cA Petri net approach to fault detection and diagnosis in distributed systems: Extending Viterbi algorithm and HMM techniques to Petri nets\u201d. In Proc. 36th IEEE Conf. on Decision and Control, Dec. 1997.","key":"134_CR1","DOI":"10.1109\/CDC.1997.650721"},{"doi-asserted-by":"crossref","unstructured":"R. Boubour, C. Jard, A. Aghasaryan, E. Fabre and A. Benveniste. \u201cA Petri net approach to fault detection and diagnosis in distributed systems: Application to telecommunication networks, motivations, and modelling\u201d. In Proc. 36th IEEE Conf. on Decision and Control, Dec. 1997.","key":"134_CR2","DOI":"10.1109\/CDC.1997.650720"},{"unstructured":"P. Dague. \u201cSymbolic reasoning with relative orders of magnitude\u201d. In Proc. 13th Int. Conf. on Artificial Intelligence IJCAI\u201993, pp. 1509\u20131514, Chambery, France, 1993.","key":"134_CR3"},{"unstructured":"R. Debouk, S. Lafortune and D. Teneketzis. \u201cCoordinated decentralized protocols for failure diagnosis of discrete event systems\u201d. In Proc. 37th IEEE Conf. on Decision and Control, Dec. 1998.","key":"134_CR4"},{"key":"134_CR5","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. Kleer de","year":"1987","unstructured":"J. de Kleer and B. C. Williams. \u201cDiagnosing multiple faults\u201d. Artificial Intelligence., 32:97\u2013130, 1987.","journal-title":"Artificial Intelligence"},{"key":"134_CR6","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1016\/0098-1354(79)80079-4","volume":"3","author":"M. Iri","year":"1979","unstructured":"M. Iri, K. Aoki, E. O\u2019Schima and H. Matsuyama. \u201cAn algorithm for diagnosis of system failure in the chemical process\u201d. Computer Chemical Engineering, 3:489\u2013493, 1979.","journal-title":"Computer Chemical Engineering"},{"key":"134_CR7","volume-title":"Esprit 2428 IPCES: Process description of prototype 2","author":"J. Kamerbeek","year":"1991","unstructured":"J. Kamerbeek and J. S. Kikkert. \u201cEsprit 2428 IPCES: Process description of prototype 2\u201d. Private Communication, Philips-PRL and Philips-TCDC, Eindhoven, The Netherlands, December 1991."},{"unstructured":"J. Kamerbeek. \u201cGenerating simulators from causal process knowledge\u201d. Proc. of European Simulation Symposium 1993. Delft, The Netherlands, October 1993.","key":"134_CR8"},{"key":"134_CR9","doi-asserted-by":"publisher","first-page":"867","DOI":"10.1016\/0098-1354(88)87014-5","volume":"12","author":"M. L. Mavrovouniotis","year":"1988","unstructured":"M. L. Mavrovouniotis and G. Stephanopoulos. \u201cFormal order of magnitude reasoning in process engineering\u201d. Computer Chemical Engineering, 12:867\u2013880, 1988.","journal-title":"Computer Chemical Engineering"},{"key":"134_CR10","doi-asserted-by":"publisher","first-page":"1441","DOI":"10.1002\/aic.690340906","volume":"34","author":"O. O. Oyeleye","year":"1988","unstructured":"O. O. Oyeleye and M. A. Kramer. \u201cQualitative simulation of chemical process systems: Steady-state analysis\u201d. AIChE Journal, 34:1441\u20131454, 1988.","journal-title":"AIChE Journal"},{"key":"134_CR11","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1016\/S0947-3580(96)70024-9","volume":"2","author":"P. M. Frank","year":"1996","unstructured":"P. M. Frank. \u201cAnalytical and qualitative model-based fault diagnosis-A survey and some new results\u201d. European Journal of Control, 2:6\u201328, 1996.","journal-title":"European Journal of Control"},{"unstructured":"O. Raiman. \u201cOrder of magnitude reasoning\u201d. Proc. of AAAI-86, pp. 100\u2013104, Philadelphia, PA, USA. 1986.","key":"134_CR12"},{"key":"134_CR13","series-title":"Lect Notes Comput Sci","first-page":"284","volume-title":"IPMU\u201992-Advanced Methods in Artificial Intelligence","author":"N. Rakoto-Ravalontsalama","year":"1992","unstructured":"N. Rakoto-Ravalontsalama, A. Missier, and J. S. Kikkert. \u201cQualitative operators and process engineer semantics of uncertainty\u201d.In B. Bouchon-Meunier, L. Valverde, and R. R. Yager, editors, Lecture Notes in Computer Science 682, IPMU\u201992-Advanced Methods in Artificial Intelligence, pp. 284\u2013293. Springer Verlag, 1992."},{"issue":"1","key":"134_CR14","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0967-0661(95)00214-0","volume":"4","author":"N. Rakoto-Ravalontsalama","year":"1996","unstructured":"N. Rakoto-Ravalontsalama and J. Aguilar-Martin. \u201cKnowledge-based modelling of a TV-tube manufacturing system \u201d IFAC Journal of Control Engineering Practice, 4(1), pp. 117\u2013123, Jan. 1996.","journal-title":"IFAC Journal of Control Engineering Practice"},{"unstructured":"P. Rose and M. A. Kramer. \u201cQualitative analysis of causal feedback\u201d. Proc. of AAAI-91, Anaheim, CA, USA. 1991.","key":"134_CR15"},{"issue":"7","key":"134_CR16","doi-asserted-by":"publisher","first-page":"908","DOI":"10.1109\/9.701089","volume":"43","author":"M. Sampath","year":"1998","unstructured":"M. Sampath, S. Lafortune, and D. Teneketzis. \u201cActive diagnosis of discrete event systems\u201d. IEEE Trans. Automat. Contr., 43(7), pp. 908\u2013929, July 1998.","journal-title":"IEEE Trans. Automat. Contr."}],"container-title":["Lecture Notes in Computer Science","Computational Science \u2014 ICCS 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45545-0_134","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T17:02:12Z","timestamp":1551114132000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45545-0_134"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422327","9783540455455"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-45545-0_134","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}