Skip to main content
SpringerLink
Log in

Diagnosis and Supervision: Model-Based Approaches

  • Chapter
  • First Online:
A Guided Tour of Artificial Intelligence Research

Abstract

This chapter is devoted to diagnosis and supervision. It is organized as follows: after a section dedicated to the logical formalization of model-based diagnosis, the focus is made on diagnosis of discrete event systems modeled by automata. In the last section, one presents more succinctly the works that allowed to make the bridge between the approaches proposed by the Artificial Intelligence community and those proposed by the Automatic Control community.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  • 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–731

    Google Scholar 

  • Armengol J, Bregon A, Escobet T, Gelso E, Krysander M, Nyberg M, Olive X, Pulido B, Travé-Massuyès 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–1485

    Google Scholar 

  • 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–188

    Article  Google Scholar 

  • Bayoudh M, Travé-Massuyès L (2014) Diagnosability analysis of hybrid systems cast in a discrete-event framework. Discret Event Dyn Syst 24(3):309–338

    Article  MathSciNet  MATH  Google Scholar 

  • Bayoudh M, Travé-Massuyès 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–223

    Google Scholar 

  • Bayoudh M, Travé-Massuyès 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–7270

    Google Scholar 

  • Benazera E, Travé-Massuyès 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–18 June 2003. Elsevier Science, pp 241–246

    Google Scholar 

  • Benazera E, Travé-Massuyès 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–1291

    Article  Google Scholar 

  • Besnard P, Cordier M-O (1994) Explanatory diagnoses and their characterization by circumscription. Ann Math Artif Intell 11:75–96

    Article  MATH  Google Scholar 

  • Blanke M, Kinnaert M, Lunze J, Staroswiecki M (2015) Diagnosis and fault-tolerant control, 3rd edn. Springer, Berlin

    MATH  Google Scholar 

  • Blanke M, Kinnaert M, Schröder J, Lunze J, Staroswiecki M (2003) Diagnosis and fault-tolerant control. Springer, Berlin

    Google Scholar 

  • Blom H, Bar-Shalom Y (1988) The interacting multiple model algorithm for systems with Markovian switching coefficients. IEEE Trans Autom Control 33:780–783

    Article  MATH  Google Scholar 

  • Brusoni V, Console L, Terenziani P, Dupré DT (1998) A spectrum of definitions for temporal model-based diagnosis. Artif Intell 102:39–79

    Article  MathSciNet  MATH  Google Scholar 

  • Carle P, Choppy C, Kervarc R (2011) Behaviour recognition using chronicles. In: 2011 fifth international conference on theoretical aspects of software engineering, pp 100–107

    Google Scholar 

  • Chatti N, Ould-Bouamama B, Gehin A-L, Merzouki R (2014) Signed bond graph for multiple faults diagnosis. Eng Appl Artif Intell 36:134–147

    Article  Google Scholar 

  • Chittaro L, Ranon R (2004) Hierarchical model-based diagnosis based on structural abstraction. Artif Intell 1–2:147–182

    Article  MathSciNet  MATH  Google Scholar 

  • Chow E, Willsky A (1984) Analytical redundancy and the design of robust failure detection systems. IEEE Trans Autom Control 29(7):603–614

    Article  MathSciNet  MATH  Google Scholar 

  • 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’03, Acapulco, Mexico, pp 363–369

    Google Scholar 

  • Console L, Picardi C, Ribaudo M (2002) Process algebra for systems diagnosis. Artif Intell 142:19–51

    Article  MathSciNet  MATH  Google Scholar 

  • Console L, Torasso P (1990) Hypothetical reasoning in causal models. Int J Intell Syst 5(1):83–124

    Article  MATH  Google Scholar 

  • Console L, Torasso P (1991) A spectrum of logical definitions of model-based diagnosis. Comput Intell 7:133–141

    Article  Google Scholar 

  • Contant O, Lafortune S, Teneketzis D (2004) Diagnosis of intermittent faults. Discret Event Dyn Syst: Theory Appl 14(2):171–202

    Article  MathSciNet  MATH  Google Scholar 

  • Cordier M, Dague P, Lévy F, Montmain J, Staroswiecki M, Travé-Massuyès 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–2177

    Article  Google Scholar 

  • 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’98, Cape Cod (MA), USA, pp 24–31

    Google Scholar 

  • Cordier M-O, Pencolé Y, Travé-Massuyès L, Vidal T (2007) Self-healability = diagnosability + repairability. In: 18th international workshop on principles of diagnosis, Nashville, Tennessee, USA, pp 251–258

    Google Scholar 

  • Cordier M-O, Thiébaux S (1994) Event-based diagnosis for evolutive systems. In: 5th international workshop on principles of diagnosis (DX-94), New Palz (NY), USA, pp 64–69

    Google Scholar 

  • Cordier M-O, Travé-Massuyès 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–60

    Google Scholar 

  • 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–31

    Google Scholar 

  • Dague P, Travé-Massuyès L (2004) Raisonnement causal en physique qualitative. Intellectica 38:247–290

    Google Scholar 

  • De Kleer J (1992) Focusing on probable diagnosis. Readings in model-based diagnosis. Morgan Kaufmann, San Mateo

    Google Scholar 

  • De Kleer J (2006) Improving probability estimates to lower diagnostic costs. In: 17th international workshop on principles of diagnosis (DX06), Burgos, Spain, pp 55–60

    Google Scholar 

  • De Kleer J, Williams B (1987) Diagnosing multiple faults. Artif Intell 32(1):97–130

    Article  MATH  Google Scholar 

  • 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–2):33–86

    MathSciNet  MATH  Google Scholar 

  • Dousson C (1996) Alarm driven supervision for telecommunication networks: II -On line chronicle recognition. Annales des Télécommunications 51(9–10):501–508

    Google Scholar 

  • Dubuisson B (2001) Automatique et statistiques pour le diagnostic. Hermes Science Europe Ltd

    Google Scholar 

  • DX (2018) Proceedings of the 0th to 29th international workshop on principles of diagnosis, 1989–2018

    Google Scholar 

  • 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–84

    Article  MathSciNet  MATH  Google Scholar 

  • 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’09), Pasadena (CA), USA, pp 778–784

    Google Scholar 

  • Friedrich G, Gottlob G, Nejdl W (1994) Formalizing the repair process - extended report. Ann Math Artif Intell 11(1–4):187–201

    Article  MATH  Google Scholar 

  • 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–3767

    Article  Google Scholar 

  • 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–2221

    Article  Google Scholar 

  • Gertler J (1998) Fault detection and diagnosis in engineering systems. Marcel Deker, New York

    Google Scholar 

  • Gougam H-E, Pencolé Y, Subias A (2017) Diagnosability analysis of patterns on bounded labeled prioritized Petri nets. J Discret Event Dyn Syst: Theory Appl 27(1):143–180

    Article  MathSciNet  MATH  Google Scholar 

  • Grastien A, Cordier M-O, Largouët 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–281

    Google Scholar 

  • Grastien A, Travé-Massuyès L, Puig V (2017) Solving diagnosability of hybrid systems via abstraction and discrete event techniques. IFAC-PapersOnLine 50(1):5023–5028

    Article  Google Scholar 

  • 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–3083

    Article  MathSciNet  MATH  Google Scholar 

  • Greiner R, Smith B, Wilkerson R (1989) A correction to the algorithm in Reiter’s theory of diagnosis. Artif Intell 41:79–88

    Article  MathSciNet  MATH  Google Scholar 

  • Hofbaur MW, Williams BC (2004) Hybrid estimation of complex systems. IEEE Trans Syst, Man, Cybern-Part B: Cybern 34(5):2178–2191

    Article  Google Scholar 

  • Jéron T, Marchand H, Pinchinat S, Cordier M-O (2006) Supervision patterns in discrete event systems diagnosis. In: Workshop on discrete event systems, WODES’06, Ann-Arbor (MI), USA, pp 262–268

    Google Scholar 

  • 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–1321

    Article  MATH  Google Scholar 

  • Jiroveanu G, Boel R (2006) A distributed approach for fault detection and diagnosis based on time Petri nets. Math Comput Simul 70(5–6):287–313

    Article  MathSciNet  MATH  Google Scholar 

  • 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–213

    Google Scholar 

  • Kleer J, Mackworth A, Reiter R (1992) Characterizing diagnoses and systems. Artif Intell 56(2–3):197–222

    Article  MathSciNet  MATH  Google Scholar 

  • Kramer MA, Palowitch BL (1987) A rule-based approach to fault diagnosis using the signed directed graph. AIChE J 33(7):1067–1078

    Article  MathSciNet  Google Scholar 

  • Krysander M, Åslund 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–206

    Article  Google Scholar 

  • Lamperti G, Zanella M (2003) Diagnosis of active systems. Kluwer Academic Publishers, Dordrecht

    Google Scholar 

  • 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–479

    Google Scholar 

  • Lunze J (1994) Qualitative modelling of linear dynamical systems with quantized state measurements. Automatica 30(3):417–431

    Article  MathSciNet  MATH  Google Scholar 

  • Marchand H, Rozé L (2002) Diagnostic de pannes sur des systèmes à événements discrets : une approche à base de modèles symboliques. In: 13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle. Angers, France, pp 191–200

    Google Scholar 

  • McCarthy J (1986) Applications of circumscription to formalizing common-sense knowledge. Artif Intell 28:89–116

    Article  MathSciNet  Google Scholar 

  • McIlraith S, Biswas G, Clancy D, Gupta V (2000) Hybrid systems diagnosis. Lecture notes in computer science, pp 282–295

    Google Scholar 

  • Nayak P, Kurien J (2000) Back to the future for consistency-based trajectory tracking. In: Proceedings of AAAI-2000, Austin (TX), USA, pp 370–377

    Google Scholar 

  • 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

    Google Scholar 

  • 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–200

    Google Scholar 

  • Pencolé Y (2004) Diagnosability analysis of distributed discrete event systems. In: European conference on artificial intelligence (ECAI’04). Valencia, Spain, pp 43–47

    Google Scholar 

  • Pencolé 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–170

    Article  MathSciNet  MATH  Google Scholar 

  • Pencolé 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–1478

    Google Scholar 

  • Pencolé Y, Steinbauer G, Mühlbacher C, Travé-Massuyès L (2018) Diagnosing discrete event systems using nominal models only. In: 28th international workshop on principles of diagnosis, Brescia, Italy, pp 169–183

    Google Scholar 

  • Pencolé 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–199

    Google Scholar 

  • Peng Y, Reggia JA (1990) Abductive inference models for diagnsotic problem-solving. Springer, Berlin

    Google Scholar 

  • Pons R, Subias A, Travé-Massuyès L (2015) Iterative hybrid causal model based diagnosis: application to automotive embedded functions. Eng Appl Artif Intell 37:319–335

    Article  Google Scholar 

  • Poole D (1989) Normality and faults in logic-based diagnosis. In: IJCAI, pp 1304–1310

    Google Scholar 

  • 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–410

    Google Scholar 

  • Pulido B, Gonzalez C (2004) Possible conflicts: a compilation technique for consistency-based diagnosis. IEEE Trans Syst, Man, Cybern, Part B 34(5):2192–2206

    Article  Google Scholar 

  • Reggia JA, Nau D, Wang Y (1983) Diagnostic expert systems based on a set covering model. Int J Man-Mach Stud 19:437–460

    Article  Google Scholar 

  • Reiter R (1987) A theory of diagnosis from first principles. Artif Intell 32(1):57–95

    Article  MathSciNet  MATH  Google Scholar 

  • Ribot P, Pencolé 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–354

    Google Scholar 

  • Rozé L, Cordier M-O (2002) Diagnosing discrete-event systems: extending the “diagnoser approach” to deal with telecommunication networks. Discrete-Event Dyn Syst: Theory Appl 12(1):43–81

    Google Scholar 

  • Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1995) Diagnosability of discrete event system. IEEE Trans Autom Control 40(9):1555–1575

    Article  MathSciNet  MATH  Google Scholar 

  • 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–124

    Article  MATH  Google Scholar 

  • Sarrate R, Puig V, Travé-Massuyès 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–278

    Google Scholar 

  • Schumann A, Pencolé 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–580

    Google Scholar 

  • Schumann A, Pencolé Y, Thiébaux S (2004) Diagnosis of discrete-event systems using binary decision diagrams. In: Proceedings of the internationalworkshop on principles of diagnosis (DX’04), Carcassonne, France, pp 197–202

    Google Scholar 

  • Schumann A, Pencolé Y, Thiébaux S (2010) A decentralised symbolic diagnosis approach. In: 19th European conference on artificial intelligence (ECAI-10). IOS Press, Lisbon, Portugal, pp 99–104

    Google Scholar 

  • Siddiqi S, Huang J (2010) New advances in sequential diagnosis. In: Proceedings of the twelfth international conference on the principles of knowledge representation (KR’10), Toronto, Canada, pp 17–25

    Google Scholar 

  • Staroswiecki M, Comtet-Varga G (2001) Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems. Automatica 37(5):687–699

    Article  MathSciNet  MATH  Google Scholar 

  • 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–153

    Google Scholar 

  • Su X, Grastien Al, Pencolé 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

    Google Scholar 

  • 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–1271

    Google Scholar 

  • Sun Y, Weld DS (1993) A framework for model-based repair. In: 11th national conference on artificial intelligence, Washington, D.C., USA, pp 182–187

    Google Scholar 

  • 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–342

    Google Scholar 

  • 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–400

    Google Scholar 

  • Travé-Massuyès L (2014) Bridging control and artificial intelligence theories for diagnosis: a survey. Eng Appl Artif Intell 27:1–16

    Article  Google Scholar 

  • Travé-Massuyès L, Calderon-Espinoza G (2007) Timed fault diagnosis. In: Proceedings of the IEEE European control conference (ECC-07), Kos, Greece, pp 2272–2279

    Google Scholar 

  • Travé-Massuyès L, Dague P (2003) Modèles et raisonnements qualitatifs. Hermes sciences

    Google Scholar 

  • Travé-Massuyès 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’01, vol 1, pp 551–556

    Google Scholar 

  • Travé-Massuyès L, Pons R, Tornil S, Escobet T (2001) The CA-En diagnosis system and its automatic modelling method. Computación y Sistemas 5(2):128–143

    Google Scholar 

  • Vento J, Travé-Massuyès 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–804

    Article  Google Scholar 

  • 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–779

    Google Scholar 

  • Weld D, De Kleer J (1989) Readings in qualitative reasoning about physical systems. Morgan Kaufmann Publishers Inc

    Google Scholar 

  • 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–978

    Google Scholar 

  • 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

    Google Scholar 

  • Ye L, Dague P (2017) An optimized algorithm of general distributed diagnosability analysis for modular structures. IEEE Trans Autom Control 62(4):1768–1780

    Article  MathSciNet  MATH  Google Scholar 

  • Yoo T, Lafortune S (2002) Polynomial-time verification of diagnosability of partially-observed discrete-event systems. IEEE Trans Autom Control 47(9):1491–1495

    Article  MathSciNet  MATH  Google Scholar 

  • 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

    Google Scholar 

  • Zaatiti H, Ye L, Dague P, Gallois J-P, Travé-Massuyès 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–318

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IRISA, Rennes, France

    Marie-Odile Cordier

  2. LRI, Université Paris-Sud, CNRS, Orsay, France

    Philippe Dague

  3. LAAS-CNRS, Toulouse, France

    Yannick Pencolé & Louise Travé-Massuyès

Authors
  1. Marie-Odile Cordier
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Philippe Dague
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Yannick Pencolé
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Louise Travé-Massuyès
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yannick Pencolé .

Editor information

Editors and Affiliations

  1. CRIL-CNRS, Université d'Artois and Institut Universitaire de France, Lens, France

    Pierre Marquis

  2. Aix Marseille Université, Université de Toulon, CNRS, LIS, Marseille, France

    Odile Papini

  3. IRIT, CNRS and Université Paul Sabatier, Toulouse, France

    Henri Prade

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Cordier, MO., Dague, P., Pencolé, Y., Travé-Massuyès, L. (2020). Diagnosis and Supervision: Model-Based Approaches. In: Marquis, P., Papini, O., Prade, H. (eds) A Guided Tour of Artificial Intelligence Research. Springer, Cham. https://doi.org/10.1007/978-3-030-06164-7_21

Download citation

Publish with us

Policies and ethics

Search

Navigation