Monitoring and alarm interpretation in industrial environments

AI Communications

Volumn 11, Issue 3, 1998, Pages 139-173

  Cauvin, S ^a   Cordier, M O ^b   Dousson, C ^c   Laborie, P ^d   Levy F ^e   Montmain, J ^f   Porcheron, M ^d   Servet, I ^g   Trave Massuyes L ^g  

^a IFP ENERGIES NOUVELLES   (France)

^b CAMPUS DE BEAULIEU   (France)

^c ORANGE LABS   (France)

^d EDF R AND D   (France)

^e LIPN   (France)

^f CEA Marcoule   (France)

^g LAAS CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALARM SYSTEMS; PROCESS ENGINEERING;

ALARM INTERPRETATION;

ARTIFICIAL INTELLIGENCE;

EID: 0032266436     PISSN: 09217126     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (57)

1. Y. Peng and J.A. Reggia, Abductive Inference Models for Diagnostic Problem Solving, Springer-Verlag, 1990.
2. W. Hamscher, L. Console and J. De Kleer, eds, Readings in Model-Based Diagnosis, Morgan Kaufman, 1991.
3. L. Console, D.T. Dupré and P. Torasso, Abductive reasonning through direct deduction from completed domain models, Methodologies for Intelligent Systems 4 (1989) 175-182.
4. L. Console, D.T. Dupré and P. Torasso, A theory of diagnosis for incomplete causal models, in: Proc. of the IJCAI, Detroit, 1989.
5. L. Console, L. Portinale, D.T. Dupré and P. Torasso, Diagnostic reasoning across different time points, in: 10th Europpean Conference on Artificial Intelligence, Vienne, 1992, pp. 369-373.
6. MQ&D, Qualitative reasoning: a survey of techniques and applications, AICOMS 8(3/4) (1995), 119-192 (coordinated by Philippe Dague).
7. L. Travé-Massuyès, P. Dague and F. Guerrin, Le Raisonnement Qualitatif pour les Sciences de l'Ingenieur, Edition Hermès, Paris, 1997.
8. B.J. Kuipers, Qualitative simulation, Artificial Intelligence 29 (1986), 289-338. Also in: Readings in Qualitative Reasoning About Physical Systems, Morgan Kaufmann.
9. B.J. Kuipers, Qualitative simulation, Artificial Intelligence 29 (1986), 289-338. Also in: Readings in Qualitative Reasoning About Physical Systems, Morgan Kaufmann.
10. B. Kuipers, Qualitative reasoning - Modeling and Simulation with Incomplete Knowledge, MIT Press, Cambridge, MA, 1994.
11. D. Dvorak and B.J. Kuipers, Model-based monitoring of dynamic systems, in: 11th Int. Joint Conf. on Artificial Intelligence, Detroit, MI, 1989, pp. 1238-1243. Also in: Readings in Model-Based Diagnosis, Morgan Kaufmann.
12. D. Dvorak and B.J. Kuipers, Model-based monitoring of dynamic systems, in: 11th Int. Joint Conf. on Artificial Intelligence, Detroit, MI, 1989, pp. 1238-1243. Also in: Readings in Model-Based Diagnosis, Morgan Kaufmann.
13. R. Davis, Diagnosis via causal reasoning: paths of interaction and the l ocality principle, in: AAAI, 1983, pp. 88-94.
14. V. Bandekar, Causal models for diagnostic reasoning, Artificial Intelligence in Engineering 4(2) 1989.
15. P. Berthelot, G2: a real-time computing tool. real-time, knowledge-based systems, Technical report, Engineering Software no. 28, Sept. 1992.
16. S. Cauvin, B. Braunschweig, P. Galtier and Y. Glaize, Alexip, expert system coupled with a dynamic simulator for the supervision of the alphabutol process, Revue of Institut Français du Pétrole 47(3) (May-June 1992) 375-382.
17. S. Cauvin, Un environnement générique à base de connaissances pour la supervision de procédés de raffinage et de petrochimie, Informatique, Thèse de Doctorat CNAM, France, Nov. 1995.
18. C. Ungauer, Problématique d'utilisation de techniques de supervision à base de connaissances profondes: L'exemple de la supervision du réseau TRANSPAC, Rapport technique, CNET, Octobre 1993.
19. S. Cauvin and L. Bes, Model based alarm filtering on pilot plants, in: Preprints IFAC On-Line Fault Detection and Supervision in the Chemical Process Industries, Newcastle, pp. 224-236, June 1995.
20. D. Fontaine, Reconnaissance de scénarios temporels, in: Revue d'Intelligence Artificielle, Hermès, ed., Vol. 8:1, AFCET, 1994.
21. C. Dousson, Suivi d'évolutions et reconnaissance de chroniques. Intelligence artificielle, Thèse de Doctorat de l'Université Paul Sabatier, Toulouse, France, Sept. 1994.
22. F. Lévy, Recognising scenarios: a study, in: Fifth International Workshop of Diagnosis, 1994, pp. 174-178.
23. P. Laborie and J.-P. Krivine, Automatic generation of chronicles and its application to alarm processing in power distribution systems, in: International Workshop on Principles of Diagnosis (DX '97). Mont St Michel, France, 1997, pp. 61-68.
24. S. Cauvin, Action plans dynamic application in the alexip knowledge-based system, in: Preprints of 2nd IFAC Workshop on Computer Software Structures Integrating AI/KBS Systems in Process Control, Lund, Suède, 1994.
25. S. Bibas, M.-O. Cordier, P. Dague, C. Dousson, F. Lévy and L. Rozé, Alarm driven supervision for telecommunication networks: I-Off-line scenario generation. Annales des Télécommunications 9/10(51) (Oct. 1996), 493-500.
26. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen and D. Teneketzis, A discrete event system approach to failure diagnosis, in: International Workshop on Principles of Diagnosis (DX '94), New Paltz, USA, 1994, pp. 269-277.
27. C. Dousson, P. Gaborit and M. Ghallab, Situation recognition: representation and algorithms, in: Proc. 13th IJCAI, Chambéry, France, 1993, pp. 166-172.
28. L. Rozé, Supervision of telecommunications network: A diagnoser approach, in: Proc. of the International Workshop on Principles of Diagnosis (DX '97), Mont St Michel, 1997, pp. 103-111.
29. K. Khoualdi, Filtrage d'alarmes pour un syst me automatisé par une approche multi-agent, Master's thesis, Université Paris 6, 1994.
30. S. Cauvin, B. Braunschweig, P. Galtier and Y. Glaize, Model-based diagnosis for continuous process supervision: the alexip experience, Engineering Applications of Artificial Intelligence 6(4) (1993), 333-343.
31. S. Cauvin and B. Braunschweig, Graphical knowledge representation in the alexip system for petrochemical process supervision, in: Applications of AI in Engineering, Applications and Techniques, Vol. 8(2), Toulouse, France, 1993, pp. 219-234.
32. C. Ferraz-Simha, Sacre: système d'Aide au contrôle de résultats expérimentaux, Informatique, Thèse de Doctorat de l'Université Paris XIII, France, Nov. 1993.
33. J.-P. Krivine and O. Jehl, The AUSTRAL system for diagnosis and power restoration: an overview, in: Proc. of International Conference on Intelligent System Application to Power Systems (ISAP '96), Orlando, USA, 1996.
34. P. Laborie and J.-P. Krivine, GEMO: A model-based approach for an alarm processing function in power distribution networks, in: Proc. of International Conference on Intelligent System Application to Power Systems (ISAP '97), Seoul, South Corea, 1997.
35. P. Laborie and J.-P. Krivine, Automatic generation of chronicles and its application to alarm processing in power distribution systems, in: Proc. International Workshop on Principles of Diagnosis (DX '97), Mont St Michel, France, 1997.
36. M. Porcheron and B. Ricard, An application of abductive diagnostic methods to a real world problem, in: International Workshop on Principles of Diagnosis (DX '97), Mont St Michel, France, 1997, pp. 87-94.
37. L. Console, Dupré and P. Torasso, On the co-operation between abductive and temporal reasoning in medical diagnostic, Artificial Intelligence in Medecine 3(6) (1991), 291-311.
38. S. Bibas, P. Dague, F. Lévy, M.-O. Cordier and L. Rozé, Scenario generation for telecommunication network supervision, in: Workshop on AI in Distributed Information Networks, Montréal, Québec, Canada, 1995.
39. C. Dousson, Alarm driven supervision for telecommunication networks: II-On-line chronicle recognition. Annales des Télécommunications 9/10(51) (Oct. 1996) 501-508.
40. M. Sampath, R. Sengupta, S. Lafortune et al., A discrete event systems approach to failure diagnosis, in: Fifth International Workshop on Principles of Diagnosis, New Paltz, USA, 1994.
41. J.M. Penalva, L. Coudouneau, L. Leyval and J. Montmain, Diapason: a supervision support system, IEEE Expert Intelligent Systems and their Applications 8(5) (1993).
42. L. Leyval, Raisonnement causal pour la simulation de procédés industriels continus, PhD thesis, 1991.
43. J. Montmain, Analyse qualitative de simulations pour le diagnostic en ligne de procédés continus, PhD thesis, 1992.
44. S. Gentil and J. Montmain, Operation support for alarm filtering, in: IEEE, CES '96, Lille, 1996.
45. H. Philippe, Algorithmes pour la compilation de bases de connaissances en logique propositionnelle et du premier ordre: les systèmes CLOPS et KHÉOPS, Intelligence artificielle, Thèse de Doctorat de l'Universit Paul Sabatier, Toulouse, France, 1989.
46. L. Travé-Massuyès and R. Pons, Causal ordering for multiple mode systems, in: 11th Int. Workshop on Qualitative Reasoning about Physical Systems, 1997.
47. K. Bousson and L. Travè-Massuyès, Fuzzy causal simulation in process engineering, in: Proc. 13th IJCAI, Chambéry, France, 1993.
48. K. Bousson and L. Travé-Massuyès, Putting more numbers in the qualitative simulator ca-en, Intelligent Systems Engineering (1994), 62-69.
49. K. Bousson, L. Travé-Massuyès and L. Zimmer, Causal model-based diagnosis of dynamic systems, in: 5th Int. Workshop on Principles of Diagnosis (DX '94), New Paltz, USA, 1994.
50. I. Servet, L. Travé-Massuyès and D. Stern, Evolutionary computation techniques for telephone networks traffic supervision based on a qualitative stream propagation model, in: ICAN-NGA '97, Norwich, UK, 1997.
51. I. Servet, L. Travé-Massuyès and D. Stern, Traffic supervision in telephone networks and qualitative modelling, Annales des télécommunications 51(9-10) (Octobre 1996).
52. I. Servet, L. Travé-Massuyès and D. Stern, Traffic supervision based on a one-moment model of telephone networks built from qualitative knowledge, in: CESA '96 IEEE-IMACS Multiconference, Lille, 1996.
53. F. LeGall, J. Bernussou and J.M. Garcia, A one-moment model for telephone networks with dependance on link blocking probabilities, in: Performance, E. Gelenbe, ed., 1984, pp. 449-458.
54. D. R. Manfield and T. Downs, On the one-moment analysis of telephone traffic networks, IEEE Transactions on Communications 27(8) (Aug. 1979), 1169.
55. J.P. Guérineau and J. Labetoulle, End to end blocking in telephone networks: a new algorithm, in: Int. International Teletraffic Congress, M. Akiyama, ed., Kyoto, Japan, Elsevier, 1985, pp. 2.4A-2-1-2.4A-2-7.
56. M. Chantler, S. Cermignani, K.W. Mathisen and O. Saarela, Selecting model-based diagnostic solutions, in: International Workshop on Principles of Diagnosis (DX '98), Cape Cod, MA, 1998, pp. 6-15.
57. L. Console and D. T. Dupré, On the dimensions of temporal model-based diagnosis, in: International Workshop on Principles of Diagnosis (DX '98), Cape Cod, MA, 1998, pp. 16-23.