{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T19:38:46Z","timestamp":1726083526008},"publisher-location":"Cham","reference-count":106,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030061630"},{"type":"electronic","value":"9783030061647"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-06164-7_21","type":"book-chapter","created":{"date-parts":[[2020,5,7]],"date-time":"2020-05-07T22:03:20Z","timestamp":1588889000000},"page":"673-706","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Diagnosis and Supervision: Model-Based Approaches"],"prefix":"10.1007","author":[{"given":"Marie-Odile","family":"Cordier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Dague","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yannick","family":"Pencol\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Louise","family":"Trav\u00e9-Massuy\u00e8s","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,5,8]]},"reference":[{"key":"21_CR1","unstructured":"Aghasaryan A, Fabre E, Benveniste A, Boubour R, Jard C (1997) A Petri net approach to fault detection and diagnosis in distributed systems. II. Extending Viterbi algorithm and HMM techniques to Petri nets. In: 36th IEEE conference on decision and control, San Diego (CA), USA, pp 726\u2013731"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Armengol J, Bregon A, Escobet T, Gelso E, Krysander M, Nyberg M, Olive X, Pulido B, Trav\u00e9-Massuy\u00e8s L (2009) Minimal structurally overdetermined sets for residual generation: a comparison of alternative approaches. In: 7th IFAC symposium on fault detection, supervision and safety of technical processes, Barcelona, Spain, pp 1480\u20131485","DOI":"10.3182\/20090630-4-ES-2003.00241"},{"issue":"2","key":"21_CR3","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1109\/78.978374","volume":"50","author":"MS Arulampalam","year":"2002","unstructured":"Arulampalam MS, Maskell S, Gordon N, Clapp T (2002) A tutorial on particle filters for online nonlinear\/non-Gaussian Bayesian tracking. IEEE Trans Signal Process 50(2):174\u2013188","journal-title":"IEEE Trans Signal Process"},{"issue":"3","key":"21_CR4","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/s10626-012-0153-z","volume":"24","author":"M Bayoudh","year":"2014","unstructured":"Bayoudh M, Trav\u00e9-Massuy\u00e8s L (2014) Diagnosability analysis of hybrid systems cast in a discrete-event framework. Discret Event Dyn Syst 24(3):309\u2013338","journal-title":"Discret Event Dyn Syst"},{"key":"21_CR5","unstructured":"Bayoudh M, Trav\u00e9-Massuy\u00e8s L, Olive X (2008a) Coupling continuous and discrete event system techniques for hybrid system diagnosability analysis. In 18th European conference on artificial intelligence including prestigious applications of intelligent, Patras, Greece. IOS Press, pp 219\u2013223"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Bayoudh M, Trav\u00e9-Massuy\u00e8s L, Olive X (2008b) Hybrid systems diagnosis by coupling continuous and discrete event techniques. In: Proceedings of the IFAC world congress, Seoul, Korea, pp 7265\u20137270","DOI":"10.3182\/20080706-5-KR-1001.01229"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Benazera E, Trav\u00e9-Massuy\u00e8s L (2003) The consistency approach to the on-line prediction of hybrid system configurations. In: Analysis and design of hybrid systems 2003 (ADHS 03): a proceedings volume from the IFAC Conference, St. Malo, Brittany, France, 16\u201318 June 2003. Elsevier Science, pp 241\u2013246","DOI":"10.1016\/S1474-6670(17)36438-8"},{"issue":"6","key":"21_CR8","doi-asserted-by":"publisher","first-page":"1277","DOI":"10.1109\/TSMCB.2009.2015280","volume":"39","author":"E Benazera","year":"2009","unstructured":"Benazera E, Trav\u00e9-Massuy\u00e8s L (2009) Set-theoretic estimation of hybrid system configurations. IEEE Trans Syst Man Cybern. Part B Cybern: Publ IEEE Syst Man Cybern Soc 39(6):1277\u20131291","journal-title":"IEEE Trans Syst Man Cybern. Part B Cybern: Publ IEEE Syst Man Cybern Soc"},{"key":"21_CR9","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/BF01530738","volume":"11","author":"P Besnard","year":"1994","unstructured":"Besnard P, Cordier M-O (1994) Explanatory diagnoses and their characterization by circumscription. Ann Math Artif Intell 11:75\u201396","journal-title":"Ann Math Artif Intell"},{"key":"21_CR10","volume-title":"Diagnosis and fault-tolerant control","author":"M Blanke","year":"2015","unstructured":"Blanke M, Kinnaert M, Lunze J, Staroswiecki M (2015) Diagnosis and fault-tolerant control, 3rd edn. Springer, Berlin","edition":"3"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Blanke M, Kinnaert M, Schr\u00f6der J, Lunze J, Staroswiecki M (2003) Diagnosis and fault-tolerant control. Springer, Berlin","DOI":"10.1007\/978-3-662-05344-7"},{"key":"21_CR12","doi-asserted-by":"publisher","first-page":"780","DOI":"10.1109\/9.1299","volume":"33","author":"H Blom","year":"1988","unstructured":"Blom H, Bar-Shalom Y (1988) The interacting multiple model algorithm for systems with Markovian switching coefficients. IEEE Trans Autom Control 33:780\u2013783","journal-title":"IEEE Trans Autom Control"},{"key":"21_CR13","doi-asserted-by":"publisher","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\u00e9 DT (1998) A spectrum of definitions for temporal model-based diagnosis. Artif Intell 102:39\u201379","journal-title":"Artif Intell"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Carle P, Choppy C, Kervarc R (2011) Behaviour recognition using chronicles. In: 2011 fifth international conference on theoretical aspects of software engineering, pp 100\u2013107","DOI":"10.1109\/TASE.2011.24"},{"key":"21_CR15","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1016\/j.engappai.2014.07.018","volume":"36","author":"N Chatti","year":"2014","unstructured":"Chatti N, Ould-Bouamama B, Gehin A-L, Merzouki R (2014) Signed bond graph for multiple faults diagnosis. Eng Appl Artif Intell 36:134\u2013147","journal-title":"Eng Appl Artif Intell"},{"key":"21_CR16","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/j.artint.2003.06.003","volume":"1\u20132","author":"L Chittaro","year":"2004","unstructured":"Chittaro L, Ranon R (2004) Hierarchical model-based diagnosis based on structural abstraction. Artif Intell 1\u20132:147\u2013182","journal-title":"Artif Intell"},{"issue":"7","key":"21_CR17","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1109\/TAC.1984.1103593","volume":"29","author":"E Chow","year":"1984","unstructured":"Chow E, Willsky A (1984) Analytical redundancy and the design of robust failure detection systems. IEEE Trans Autom Control 29(7):603\u2013614","journal-title":"IEEE Trans Autom Control"},{"key":"21_CR18","unstructured":"Cimatti A, Pecheur C, Cavada R (2003) Formal verification of diagnosability via symbolic model checking. In: Proceedings of the 18th international joint conference on artificial intelligence IJCAI\u201903, Acapulco, Mexico, pp 363\u2013369"},{"key":"21_CR19","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/S0004-3702(02)00292-8","volume":"142","author":"L Console","year":"2002","unstructured":"Console L, Picardi C, Ribaudo M (2002) Process algebra for systems diagnosis. Artif Intell 142:19\u201351","journal-title":"Artif Intell"},{"issue":"1","key":"21_CR20","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1002\/int.1990.5.1.83","volume":"5","author":"L Console","year":"1990","unstructured":"Console L, Torasso P (1990) Hypothetical reasoning in causal models. Int J Intell Syst 5(1):83\u2013124","journal-title":"Int J Intell Syst"},{"key":"21_CR21","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1111\/j.1467-8640.1991.tb00388.x","volume":"7","author":"L Console","year":"1991","unstructured":"Console L, Torasso P (1991) A spectrum of logical definitions of model-based diagnosis. Comput Intell 7:133\u2013141","journal-title":"Comput Intell"},{"issue":"2","key":"21_CR22","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1023\/B:DISC.0000018570.20941.d2","volume":"14","author":"O Contant","year":"2004","unstructured":"Contant O, Lafortune S, Teneketzis D (2004) Diagnosis of intermittent faults. Discret Event Dyn Syst: Theory Appl 14(2):171\u2013202","journal-title":"Discret Event Dyn Syst: Theory Appl"},{"issue":"5","key":"21_CR23","doi-asserted-by":"publisher","first-page":"2163","DOI":"10.1109\/TSMCB.2004.835010","volume":"34","author":"M Cordier","year":"2004","unstructured":"Cordier M, Dague P, L\u00e9vy F, Montmain J, Staroswiecki M, Trav\u00e9-Massuy\u00e8s L (2004) Conflicts versus analytical redundancy relations: a comparative analysis of the model based diagnosis approach from the artificial intelligence and automatic control perspectives. IEEE Trans Syst Man Cybern Part B 34(5):2163\u20132177","journal-title":"IEEE Trans Syst Man Cybern Part B"},{"key":"21_CR24","unstructured":"Cordier M-O (1998) When abductive diagnosis fails to explain too precise observations: an extended spectrum of model-based diagnosis definitions based on abstracting observations. In: Proceedings of DX\u201998, Cape Cod (MA), USA, pp 24\u201331"},{"key":"21_CR25","unstructured":"Cordier M-O, Pencol\u00e9 Y, Trav\u00e9-Massuy\u00e8s L, Vidal T (2007) Self-healability = diagnosability + repairability. In: 18th international workshop on principles of diagnosis, Nashville, Tennessee, USA, pp 251\u2013258"},{"key":"21_CR26","unstructured":"Cordier M-O, Thi\u00e9baux S (1994) Event-based diagnosis for evolutive systems. In: 5th international workshop on principles of diagnosis (DX-94), New Palz (NY), USA, pp 64\u201369"},{"key":"21_CR27","unstructured":"Cordier M-O, Trav\u00e9-Massuy\u00e8s L, Pucel X (2006) Comparing diagnosability in continuous and discrete-event systems. In: 17th international workshop on principles of diagnosis (DX06), Burgos, Spain, pp 55\u201360"},{"key":"21_CR28","doi-asserted-by":"crossref","unstructured":"Dague P, Jehl O, Taillibert P (1990) An interval propagation and conflict recognition engine for diagnosing continuous dynamic systems. In: Expert systems in engineering, pp 16\u201331","DOI":"10.1007\/3-540-53104-1_28"},{"key":"21_CR29","first-page":"247","volume":"38","author":"P Dague","year":"2004","unstructured":"Dague P, Trav\u00e9-Massuy\u00e8s L (2004) Raisonnement causal en physique qualitative. Intellectica 38:247\u2013290","journal-title":"Intellectica"},{"key":"21_CR30","unstructured":"De Kleer J (1992) Focusing on probable diagnosis. Readings in model-based diagnosis. Morgan Kaufmann, San Mateo"},{"key":"21_CR31","unstructured":"De Kleer J (2006) Improving probability estimates to lower diagnostic costs. In: 17th international workshop on principles of diagnosis (DX06), Burgos, Spain, pp 55\u201360"},{"issue":"1","key":"21_CR32","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J De Kleer","year":"1987","unstructured":"De Kleer J, Williams B (1987) Diagnosing multiple faults. Artif Intell 32(1):97\u2013130","journal-title":"Artif Intell"},{"issue":"1\u20132","key":"21_CR33","first-page":"33","volume":"10","author":"R Debouk","year":"2002","unstructured":"Debouk R, Lafortune S, Teneketzis D (2002) Coordinated decentralized protocols for failure diagnosis of discrete event systems. Discret Event Dyn Syst: Theory Appl 10(1\u20132):33\u201386","journal-title":"Discret Event Dyn Syst: Theory Appl"},{"issue":"9\u201310","key":"21_CR34","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1007\/BF02997712","volume":"51","author":"C Dousson","year":"1996","unstructured":"Dousson C (1996) Alarm driven supervision for telecommunication networks: II -On line chronicle recognition. Annales des T\u00e9l\u00e9communications 51(9\u201310):501\u2013508","journal-title":"Annales des T\u00e9l\u00e9communications"},{"key":"21_CR35","unstructured":"Dubuisson B (2001) Automatique et statistiques pour le diagnostic. Hermes Science Europe Ltd"},{"key":"21_CR36","unstructured":"DX (2018) Proceedings of the 0th to 29th international workshop on principles of diagnosis, 1989\u20132018"},{"issue":"1","key":"21_CR37","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s10626-005-5238-5","volume":"15","author":"E Fabre","year":"2005","unstructured":"Fabre E, Benveniste A, Haar S, Jard C (2005) Distributed monitoring of concurrent and asynchronous systems. Discret-Event Dyn Syst: Theory Appl 15(1):33\u201384","journal-title":"Discret-Event Dyn Syst: Theory Appl"},{"key":"21_CR38","unstructured":"Feldman A, Provan G, Van Gemund A (2009) FRACTAL: efficient fault isolation using active testing. In: Proceedings of the international joint conference on artificial intelligence (IJCAI\u201909), Pasadena (CA), USA, pp 778\u2013784"},{"issue":"1\u20134","key":"21_CR39","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/BF01530742","volume":"11","author":"G Friedrich","year":"1994","unstructured":"Friedrich G, Gottlob G, Nejdl W (1994) Formalizing the repair process - extended report. Ann Math Artif Intell 11(1\u20134):187\u2013201","journal-title":"Ann Math Artif Intell"},{"issue":"6","key":"21_CR40","doi-asserted-by":"publisher","first-page":"3757","DOI":"10.1109\/TIE.2015.2417501","volume":"62","author":"Z Gao","year":"2015","unstructured":"Gao Z, Cecati C, Ding SX (2015) A survey of fault diagnosis and fault-tolerant techniques part i: fault diagnosis with model-based and signal-based approaches. IEEE Trans Ind Electron 62(6):3757\u20133767","journal-title":"IEEE Trans Ind Electron"},{"issue":"5","key":"21_CR41","doi-asserted-by":"publisher","first-page":"2207","DOI":"10.1109\/TSMCB.2004.833335","volume":"34","author":"S Gentil","year":"2004","unstructured":"Gentil S, Montmain J, Combastel C (2004) Combining FDI and AI approaches within causal-model-based diagnosis. IEEE Trans Syst Man Cybern Part B 34(5):2207\u20132221","journal-title":"IEEE Trans Syst Man Cybern Part B"},{"key":"21_CR42","unstructured":"Gertler J (1998) Fault detection and diagnosis in engineering systems. Marcel Deker, New York"},{"issue":"1","key":"21_CR43","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10626-016-0234-5","volume":"27","author":"H-E Gougam","year":"2017","unstructured":"Gougam H-E, Pencol\u00e9 Y, Subias A (2017) Diagnosability analysis of patterns on bounded labeled prioritized Petri nets. J Discret Event Dyn Syst: Theory Appl 27(1):143\u2013180","journal-title":"J Discret Event Dyn Syst: Theory Appl"},{"key":"21_CR44","doi-asserted-by":"crossref","unstructured":"Grastien A, Cordier M-O, Largou\u00ebt C (2005) Automata slicing for diagnosing discrete-event systems with partially ordered observations. In: 9th congress of the Italian association for artificial intelligence, Milano, Italy, pp 270\u2013281","DOI":"10.1007\/11558590_27"},{"issue":"1","key":"21_CR45","doi-asserted-by":"publisher","first-page":"5023","DOI":"10.1016\/j.ifacol.2017.08.911","volume":"50","author":"A Grastien","year":"2017","unstructured":"Grastien A, Trav\u00e9-Massuy\u00e8s L, Puig V (2017) Solving diagnosability of hybrid systems via abstraction and discrete event techniques. IFAC-PapersOnLine 50(1):5023\u20135028","journal-title":"IFAC-PapersOnLine"},{"issue":"12","key":"21_CR46","doi-asserted-by":"publisher","first-page":"3070","DOI":"10.1109\/TAC.2013.2275892","volume":"58","author":"Al Grastien","year":"2013","unstructured":"Grastien Al, Anbulagan An (2013) Diagnosis of discrete event systems using satisfiability algorithms: a theoretical and empirical study. IEEE Trans Autom Control (TAC) 58(12):3070\u20133083","journal-title":"IEEE Trans Autom Control (TAC)"},{"key":"21_CR47","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0004-3702(89)90079-9","volume":"41","author":"R Greiner","year":"1989","unstructured":"Greiner R, Smith B, Wilkerson R (1989) A correction to the algorithm in Reiter\u2019s theory of diagnosis. Artif Intell 41:79\u201388","journal-title":"Artif Intell"},{"issue":"5","key":"21_CR48","doi-asserted-by":"publisher","first-page":"2178","DOI":"10.1109\/TSMCB.2004.835009","volume":"34","author":"MW Hofbaur","year":"2004","unstructured":"Hofbaur MW, Williams BC (2004) Hybrid estimation of complex systems. IEEE Trans Syst, Man, Cybern-Part B: Cybern 34(5):2178\u20132191","journal-title":"IEEE Trans Syst, Man, Cybern-Part B: Cybern"},{"key":"21_CR49","doi-asserted-by":"crossref","unstructured":"J\u00e9ron T, Marchand H, Pinchinat S, Cordier M-O (2006) Supervision patterns in discrete event systems diagnosis. In: Workshop on discrete event systems, WODES\u201906, Ann-Arbor (MI), USA, pp 262\u2013268","DOI":"10.1109\/WODES.2006.1678440"},{"issue":"8","key":"21_CR50","doi-asserted-by":"publisher","first-page":"1318","DOI":"10.1109\/9.940942","volume":"46","author":"S Jiang","year":"2001","unstructured":"Jiang S, Huang Z, Chandra V, Kumar R (2001) A polynomial time algorithm for diagnosability of discrete event systems. IEEE Trans Autom Control 46(8):1318\u20131321","journal-title":"IEEE Trans Autom Control"},{"issue":"5\u20136","key":"21_CR51","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/j.matcom.2005.11.003","volume":"70","author":"G Jiroveanu","year":"2006","unstructured":"Jiroveanu G, Boel R (2006) A distributed approach for fault detection and diagnosis based on time Petri nets. Math Comput Simul 70(5\u20136):287\u2013313","journal-title":"Math Comput Simul"},{"key":"21_CR52","unstructured":"KanJohn P, Grastien A (2008) Local consistency and junction tree for diagnosis of discrete-event systems. In: European conference on artificial intelligence (ECAI-08). Patras, Greece, pp 209\u2013213"},{"issue":"2\u20133","key":"21_CR53","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","volume":"56","author":"J Kleer","year":"1992","unstructured":"Kleer J, Mackworth A, Reiter R (1992) Characterizing diagnoses and systems. Artif Intell 56(2\u20133):197\u2013222","journal-title":"Artif Intell"},{"issue":"7","key":"21_CR54","doi-asserted-by":"publisher","first-page":"1067","DOI":"10.1002\/aic.690330703","volume":"33","author":"MA Kramer","year":"1987","unstructured":"Kramer MA, Palowitch BL (1987) A rule-based approach to fault diagnosis using the signed directed graph. AIChE J 33(7):1067\u20131078","journal-title":"AIChE J"},{"issue":"1","key":"21_CR55","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1109\/TSMCA.2007.909555","volume":"38","author":"M Krysander","year":"2008","unstructured":"Krysander M, \u00c5slund J, Nyberg M (2008) An efficient algorithm for finding minimal overconstrained subsystems for model-based diagnosis. IEEE Trans Syst, Man, Cybern-Part A: Syst HumS 38(1):197\u2013206","journal-title":"IEEE Trans Syst, Man, Cybern-Part A: Syst HumS"},{"key":"21_CR56","doi-asserted-by":"crossref","unstructured":"Lamperti G, Zanella M (2003) Diagnosis of active systems. Kluwer Academic Publishers, Dordrecht","DOI":"10.1007\/978-94-017-0257-7"},{"key":"21_CR57","unstructured":"Loiez E, Taillibert P (1997) Polynomial temporal band sequences for analog diagnosis. In: IJCAI-97: proceedings of the fifteenth international joint conference on artificial intelligence, Nagoya, Japan, pp 474\u2013479"},{"issue":"3","key":"21_CR58","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1016\/0005-1098(94)90119-8","volume":"30","author":"J Lunze","year":"1994","unstructured":"Lunze J (1994) Qualitative modelling of linear dynamical systems with quantized state measurements. Automatica 30(3):417\u2013431","journal-title":"Automatica"},{"key":"21_CR59","unstructured":"Marchand H, Roz\u00e9 L (2002) Diagnostic de pannes sur des syst\u00e8mes \u00e0 \u00e9v\u00e9nements discrets : une approche \u00e0 base de mod\u00e8les symboliques. In: 13\u00e8me Congr\u00e8s Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle. Angers, France, pp 191\u2013200"},{"key":"21_CR60","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"J McCarthy","year":"1986","unstructured":"McCarthy J (1986) Applications of circumscription to formalizing common-sense knowledge. Artif Intell 28:89\u2013116","journal-title":"Artif Intell"},{"key":"21_CR61","doi-asserted-by":"crossref","unstructured":"McIlraith S, Biswas G, Clancy D, Gupta V (2000) Hybrid systems diagnosis. Lecture notes in computer science, pp 282\u2013295","DOI":"10.1007\/3-540-46430-1_25"},{"key":"21_CR62","unstructured":"Nayak P, Kurien J (2000) Back to the future for consistency-based trajectory tracking. In: Proceedings of AAAI-2000, Austin (TX), USA, pp 370\u2013377"},{"key":"21_CR63","unstructured":"Nejdl W, Bachmayer J (1993) Diagnosis and repair iteration planning versus n-step look ahead planning. In: 4th international workshop on principles of diagnosis, Aberystwyth, UK"},{"issue":"2","key":"21_CR64","first-page":"183","volume":"1","author":"R Patton","year":"1991","unstructured":"Patton R, Chen J (1991) A re-examination of the relationship between parity space and observer-based approaches in fault diagnosis. Eur J Diagn Saf Autom 1(2):183\u2013200","journal-title":"Eur J Diagn Saf Autom"},{"key":"21_CR65","unstructured":"Pencol\u00e9 Y (2004) Diagnosability analysis of distributed discrete event systems. In: European conference on artificial intelligence (ECAI\u201904). Valencia, Spain, pp 43\u201347"},{"key":"21_CR66","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.artint.2005.01.002","volume":"164","author":"Y Pencol\u00e9","year":"2005","unstructured":"Pencol\u00e9 Y, Cordier M-O (2005) A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artif Intell 164:121\u2013170","journal-title":"Artif Intell"},{"key":"21_CR67","doi-asserted-by":"crossref","unstructured":"Pencol\u00e9 Y, Schumann A, Kamenetsky D (2006) Towards low-cost fault diagnosis in large component-based systems. In: 6th IFAC symposium on fault detection, supervision and safety of technical processes, Beijing, China, pp 1473\u20131478","DOI":"10.3182\/20060829-4-CN-2909.00245"},{"key":"21_CR68","unstructured":"Pencol\u00e9 Y, Steinbauer G, M\u00fchlbacher C, Trav\u00e9-Massuy\u00e8s L (2018) Diagnosing discrete event systems using nominal models only. In: 28th international workshop on principles of diagnosis, Brescia, Italy, pp 169\u2013183"},{"key":"21_CR69","unstructured":"Pencol\u00e9 Y, Subias A (2018) Diagnosis of supervision patterns on bounded labeled petri nets by model checking. In: 28th international workshop on principles of diagnosis, Brescia, Italy, pp 184\u2013199"},{"key":"21_CR70","doi-asserted-by":"crossref","unstructured":"Peng Y, Reggia JA (1990) Abductive inference models for diagnsotic problem-solving. Springer, Berlin","DOI":"10.1007\/978-1-4419-8682-5"},{"key":"21_CR71","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/j.engappai.2014.09.016","volume":"37","author":"R Pons","year":"2015","unstructured":"Pons R, Subias A, Trav\u00e9-Massuy\u00e8s L (2015) Iterative hybrid causal model based diagnosis: application to automotive embedded functions. Eng Appl Artif Intell 37:319\u2013335","journal-title":"Eng Appl Artif Intell"},{"key":"21_CR72","unstructured":"Poole D (1989) Normality and faults in logic-based diagnosis. In: IJCAI, pp 1304\u20131310"},{"key":"21_CR73","doi-asserted-by":"crossref","unstructured":"Provan G (2002) On the diagnosability of decentralized, timed discrete event systems. In: 41st IEEE conference on decision and control, Las Vegas (NV), USA, pp 405\u2013410","DOI":"10.1109\/CDC.2002.1184528"},{"issue":"5","key":"21_CR74","doi-asserted-by":"publisher","first-page":"2192","DOI":"10.1109\/TSMCB.2004.835007","volume":"34","author":"B Pulido","year":"2004","unstructured":"Pulido B, Gonzalez C (2004) Possible conflicts: a compilation technique for consistency-based diagnosis. IEEE Trans Syst, Man, Cybern, Part B 34(5):2192\u20132206","journal-title":"IEEE Trans Syst, Man, Cybern, Part B"},{"key":"21_CR75","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/S0020-7373(83)80065-0","volume":"19","author":"JA Reggia","year":"1983","unstructured":"Reggia JA, Nau D, Wang Y (1983) Diagnostic expert systems based on a set covering model. Int J Man-Mach Stud 19:437\u2013460","journal-title":"Int J Man-Mach Stud"},{"issue":"1","key":"21_CR76","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R Reiter","year":"1987","unstructured":"Reiter R (1987) A theory of diagnosis from first principles. Artif Intell 32(1):57\u201395","journal-title":"Artif Intell"},{"key":"21_CR77","unstructured":"Ribot P, Pencol\u00e9 Y, Combacau M (2008) Design requirements for the diagnosability of distributed discrete event systems. In: 19th international workshop on principles of diagnosis. Blue Mountains, New South Wales, Australia, pp 347\u2013354"},{"key":"21_CR78","doi-asserted-by":"crossref","unstructured":"Roz\u00e9 L, Cordier M-O (2002) Diagnosing discrete-event systems: extending the \u201cdiagnoser approach\u201d to deal with telecommunication networks. Discrete-Event Dyn Syst: Theory Appl 12(1):43\u201381","DOI":"10.1023\/A:1013335803945"},{"issue":"9","key":"21_CR79","doi-asserted-by":"publisher","first-page":"1555","DOI":"10.1109\/9.412626","volume":"40","author":"M Sampath","year":"1995","unstructured":"Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1995) Diagnosability of discrete event system. IEEE Trans Autom Control 40(9):1555\u20131575","journal-title":"IEEE Trans Autom Control"},{"issue":"2","key":"21_CR80","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1109\/87.486338","volume":"4","author":"M Sampath","year":"1996","unstructured":"Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1996) Failure diagnosis using discrete-event models. IEEE Trans Control Syst Technol 4(2):105\u2013124","journal-title":"IEEE Trans Control Syst Technol"},{"key":"21_CR81","doi-asserted-by":"crossref","unstructured":"Sarrate R, Puig V, Trav\u00e9-Massuy\u00e8s L (2018) Diagnosis of hybrid dynamic systems based on the behavior automaton abstraction. In: Fault diagnosis of hybrid dynamic and complex systems. Springer, Berlin, pp 243\u2013278","DOI":"10.1007\/978-3-319-74014-0_10"},{"key":"21_CR82","unstructured":"Schumann A, Pencol\u00e9 Y (2007) Scalable diagnosability checking of event-driven system. In: Proceedings of the twentieth international joint conference on artificial intelligence (IJCAI07), Hyderabad, India, pp 575\u2013580"},{"key":"21_CR83","unstructured":"Schumann A, Pencol\u00e9 Y, Thi\u00e9baux S (2004) Diagnosis of discrete-event systems using binary decision diagrams. In: Proceedings of the internationalworkshop on principles of diagnosis (DX\u201904), Carcassonne, France, pp 197\u2013202"},{"key":"21_CR84","unstructured":"Schumann A, Pencol\u00e9 Y, Thi\u00e9baux S (2010) A decentralised symbolic diagnosis approach. In: 19th European conference on artificial intelligence (ECAI-10). IOS Press, Lisbon, Portugal, pp 99\u2013104"},{"key":"21_CR85","unstructured":"Siddiqi S, Huang J (2010) New advances in sequential diagnosis. In: Proceedings of the twelfth international conference on the principles of knowledge representation (KR\u201910), Toronto, Canada, pp 17\u201325"},{"issue":"5","key":"21_CR86","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1016\/S0005-1098(01)00005-X","volume":"37","author":"M Staroswiecki","year":"2001","unstructured":"Staroswiecki M, Comtet-Varga G (2001) Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems. Automatica 37(5):687\u2013699","journal-title":"Automatica"},{"key":"21_CR87","unstructured":"Su X, Grastien Al (2013) Diagnosis of discrete event systems by independent windows. In: 24th international workshop on principles of diagnosis (DX-13), Jerusalem, Israel, pp 148\u2013153"},{"key":"21_CR88","unstructured":"Su X, Grastien Al, Pencol\u00e9 Ya (2014) Window-based diagnostic algorithms for discrete event systems: what information to remember. In: 25th international workshop on principles of diagnosis (DX-14), Graz, Austria"},{"key":"21_CR89","unstructured":"Su X, Zanella M, Grastien A (2016) Diagnosability of discrete-event systems with uncertain observations. In: 25th international joint conference on artificial intelligence (IJCAI-16), pp 1265\u20131271"},{"key":"21_CR90","unstructured":"Sun Y, Weld DS (1993) A framework for model-based repair. In: 11th national conference on artificial intelligence, Washington, D.C., USA, pp 182\u2013187"},{"key":"21_CR91","unstructured":"Ten Teije A, Van Harmelen F (1994) An extended spectrum of logical definitions for diagnostic systems. In: Proceedings of DX-94 Fifth International Workshop on Principles of Diagnosis, New Paltz (NY), USA, pp 334\u2013342"},{"key":"21_CR92","unstructured":"Torta G, Torasso P (2003) Automatic abstraction in component-based diagnosis driven by system observability. In: Proceedings of the 18th international joint conference on artificial intelligence - IJCAI03, Mexico, Acapulco, pp 394\u2013400"},{"key":"21_CR93","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.engappai.2013.09.018","volume":"27","author":"L Trav\u00e9-Massuy\u00e8s","year":"2014","unstructured":"Trav\u00e9-Massuy\u00e8s L (2014) Bridging control and artificial intelligence theories for diagnosis: a survey. Eng Appl Artif Intell 27:1\u201316","journal-title":"Eng Appl Artif Intell"},{"key":"21_CR94","doi-asserted-by":"crossref","unstructured":"Trav\u00e9-Massuy\u00e8s L, Calderon-Espinoza G (2007) Timed fault diagnosis. In: Proceedings of the IEEE European control conference (ECC-07), Kos, Greece, pp 2272\u20132279","DOI":"10.23919\/ECC.2007.7068364"},{"key":"21_CR95","unstructured":"Trav\u00e9-Massuy\u00e8s L, Dague P (2003) Mod\u00e8les et raisonnements qualitatifs. Hermes sciences"},{"key":"21_CR96","unstructured":"Trav\u00e9-Massuy\u00e8s L, Escobet T, Milne R (2001) Model-based diagnosability and sensor placement application to a frame 6 gas turbine subsystem. In: Proceedings of the seventeenth international joint conference on artificial intelligence, IJCAI\u201901, vol\u00a01, pp 551\u2013556"},{"key":"21_CR97","unstructured":"Trav\u00e9-Massuy\u00e8s L, Pons R, Tornil S, Escobet T (2001) The CA-En diagnosis system and its automatic modelling method. Computaci\u00f3n y Sistemas 5(2):128\u2013143"},{"issue":"5","key":"21_CR98","doi-asserted-by":"publisher","first-page":"788","DOI":"10.1109\/TSMC.2014.2375158","volume":"45","author":"J Vento","year":"2015","unstructured":"Vento J, Trav\u00e9-Massuy\u00e8s L, Puig V, Sarrate R (2015) An incremental hybrid system diagnoser automaton enhanced by discernibility properties. IEEE Trans Syst, Man, Cybern: Syst 45(5):788\u2013804","journal-title":"IEEE Trans Syst, Man, Cybern: Syst"},{"key":"21_CR99","unstructured":"Washio T, Motoda H, Niwa Y (1999) Discovering admissible model equations from observed data. In Proceeding of IJCAI99: sixteenth international joint conferenceon artificial intelligence, vol 2, Stockholm, Sweden, pp 772\u2013779"},{"key":"21_CR100","unstructured":"Weld D, De Kleer J (1989) Readings in qualitative reasoning about physical systems. Morgan Kaufmann Publishers Inc"},{"key":"21_CR101","unstructured":"Williams BC, Nayak P (1996) A model-based approach to reactive self-configuring systems. In: Proceedings of the 13th national conference on artificialintelligence (AAAI-96), Portland (OR), USA, pp 971\u2013978"},{"key":"21_CR102","doi-asserted-by":"crossref","unstructured":"Ye L, Dague P (2012) A general algorithm for pattern diagnosability of distributed discrete event systems. In: ICTAI - 24th international conference ontools with artificial intelligence, Athens, Greece","DOI":"10.1109\/ICTAI.2012.26"},{"issue":"4","key":"21_CR103","doi-asserted-by":"publisher","first-page":"1768","DOI":"10.1109\/TAC.2016.2593626","volume":"62","author":"L Ye","year":"2017","unstructured":"Ye L, Dague P (2017) An optimized algorithm of general distributed diagnosability analysis for modular structures. IEEE Trans Autom Control 62(4):1768\u20131780","journal-title":"IEEE Trans Autom Control"},{"issue":"9","key":"21_CR104","doi-asserted-by":"publisher","first-page":"1491","DOI":"10.1109\/TAC.2002.802763","volume":"47","author":"T Yoo","year":"2002","unstructured":"Yoo T, Lafortune S (2002) Polynomial-time verification of diagnosability of partially-observed discrete-event systems. IEEE Trans Autom Control 47(9):1491\u20131495","journal-title":"IEEE Trans Autom Control"},{"key":"21_CR105","unstructured":"Zaatiti H, Ye L, Dague P, Gallois J-P (2017) Counter example guided abstraction refinement for hybrid systems diagnosability analysis. In: 28th internationalworkshop on principles of diagnosis (DX-17), Brescia, Italy"},{"key":"21_CR106","doi-asserted-by":"crossref","unstructured":"Zaatiti H, Ye L, Dague P, Gallois J-P, Trav\u00e9-Massuy\u00e8s L (2018) Abstractions refinement for hybrid systems diagnosability analysis. In: Diagnosability, security and safety of hybrid dynamic and cyber-physical systems. Springer, Berlin, pp 279\u2013318","DOI":"10.1007\/978-3-319-74962-4_11"}],"container-title":["A Guided Tour of Artificial Intelligence Research"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-06164-7_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T04:21:20Z","timestamp":1666498880000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-06164-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030061630","9783030061647"],"references-count":106,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-06164-7_21","relation":{},"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"8 May 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}