Supervision applied to nuclear fuel reprocessing

AI Communications

Volumn 13, Issue 2, 2000, Pages 61-81

  Montmain, Jacky ^a  

^a ECOLE DES MINES D ALÈS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIORAL RESEARCH; DECISION SUPPORT SYSTEMS; KNOWLEDGE ACQUISITION; MATHEMATICAL MODELS; NUCLEAR FUEL REPROCESSING; SCADA SYSTEMS; USER INTERFACES;

MODEL-BASED DIAGNOSIS; SOFTWARE PACKAGE SAGACE;

ARTIFICIAL INTELLIGENCE;

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

References (36)

1. L. Bainbridge, Les systèmes experts résoudront-ils tous les problèmes des opérateurs? in: Introductory Lecture: Facteurs Humains de la Fiabilité et de la Sécurité des Systèmes Complexes, INRS, ed., Vandoeuvre, France, 1991.
2. J. Brunet, D. Jaume, M. Labarrère, A. Rault and M. Vergé, Détection et diagnostic de pannes, approche par modélisation, in: Traité des Nouvelles Technologies, Série Diagnostic et Maintenance, Editions Hermès, 1990.
3. L. Chittaro, G. Guida, C Tasso and E. Toppano, Functional and teleological knowledge in the multimodeling approach for reasoning about physical systems, IEEE Transactions on Systems, Man, and Cybernetics 23(6) (1993), 1718-1751.
4. L. Chittaro and R. Ranon, Augmenting the diagnostic power of flow based approaches to functional reasoning, in: Proc. of AAAI-96: 13th National Conference on Artificial Intelligence, AAAI Press/MIT Press, Portland, Oregon, 1996, pp. 1010-1015.
5. F. Despres, Automatisation des systèmes de production du besoin à l'utilisation, Kirk, ed., 1994.
6. G. de Terssac and C. Chabaud. Référentiel opératif commun et fiabilité, in: Les Facteurs Humains de la Fiabilité Dans les Systèmes Complexes, Sous la Direction, de J. Leplat et G. de Terssac, eds, OCTARES, Marseille, France, 1990.
7. D. Dubois and H. Prade, A review of fuzzy set aggregation connectives. Information Sciences 36 (1985), 85-121.
8. P. Dziopa, L. Leyval and S. Gentil, Qualitative reasoning for supervision, in: International Joint Conference on Artificial Intelligence, Qualitative Reasoning Workshop, Chambry, France, 1993.
9. C Feliot and M. Staroswiecki, Towards a formal language of physical system, in: IEEESMC '96, Beijing, China, 1996.
10. C Feliot and M. Staroswiecki, A syntactic approach for functional modelling of physical systems, in: 9th Int. Workshop on Principles of Diagnosis, Dx '98, Cape Cod, MA. 1998. pp. 174-181.
11. P. Frank, Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy, a survey and some new results. Automatica 26(3) (1990), 459-474.
12. P. Frank, Fault diagnosis in dynamic system using software redundancy. Revue européenne Diagnostic et Sûreté de fonctionnement. Hermès 1(2) (1991), 113-143.
13. P. Frank, Application of fuzzy logic to process supervision and fault diagnosis, in: Safeprocess '94, IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, Vol. 2, Espoo, Finland, 1994, pp. 531-537.
14. P. Frank, Analytical and qualitative model-based fault diagnosis, a survey and some new results, European Journal of Control 1(2) (1996), 6-28.
15. J. Gertler, Fault detection and isolation using parity relations, Control Eng. Practice 5(5) (1997), 653-661.
16. R. Isermann, Fault diagnosis of machines via parameter estimation and knowledge processing - Tutorial paper, Automatica 29(4) (1993), 815-835.
17. R. Isermann and P. Ballé, Trends in the application of model-based fault detection and diagnosis of technical processes, Control Eng. Practice 5(5) (1997), 709-719.
18. N. Kiupel and P. Frank, A fuzzy FDI decision making system for the support of the human operator, in: Safeprocess '97, IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, Vol. 2. Hull, UK, 1997, pp. 731-736.
19. B. Kuipers, Qualitative simulation. Artificial Intelligence 29 (1986), 289-388.
20. J.E. Larsson, Diagnosis based on explicit means-end models, Artificial Intelligence 80(1) (1996), 29-93.
21. J.L. Lemoigne, La Théorie du Système Général, Théorie de la Modélisation, P.U.F, Paris, 1984 (réédité en 1994).
22. L. Leyval, S. Gentil and S. Feray-Beaumont, Model based causal reasoning for process supervision, Automatica 30(8) (1994), 1295-1306.
23. M. Lind, Modeling goals and functions of complex industrial plants, Journal of Applied Artificial Intelligence 8(2) (1994), 259-284.
24. P. Millot, Supervision des Procédés Automatisés et Ergonomie, Hermès, ed., 1990.
25. J. Mortmain and S. Gentil, Interprétation qualitative pour le diagnostic en ligne. Revue Européenne Diagnostic et Sûreté de Fonctionnement, Hermès 3(1) (1993), 23-45.
26. J. Montmain, L. Leyval and S. Gentil, Qualitative analysis for decision making in supervision of industrial continuous processes, Mathematics and Computers in Simulation 36 (1994), 149-163.
27. J. Montmain and S. Gentil, Operation support for alarm filtering, in: Symposium on Modelling, Analysis and Simulation, CESA '96 IMACS Multicoference, Lille, France, 1996.
28. J. Montmain, From DIAPASON research program to its industrial application in nuclear fuel reprocessing, in: Safeprocess '97, IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, Vol. 1. Hull, UK, 1997, pp. 209-216.
29. P. J. Mosterman and G. Biswas, Formal specifications from hybrid bond graph models, in: 11th International Workshop on Qualitative Reasoning, Tuscany, Italy, 1997, pp. 131-142.
30. MQ&D coordinated by P. Dague, Qualitative reasoning: a survey of techniques and applications, AI Communications the European Journal of AI, IOS Press 8(3/4) (1995), 119-192.
31. R. Patton and J. Chen, A review of parity space approaches to fault diagnosis, in: Safeprocess '91, IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, Vol. 1, Baden-Baden, Germany, 1991, pp. 239-255.
32. 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), 57-65.
33. J.-M. Penalva, La modélisation par les systèmes en situations complexes. PhD thesis, Université de Paris XI-Orsay, France, 1997.
34. J. Ragot, M. Darouach, D. Maquin and D. Bloch, Validation de données, in: Traité des Nouvelles Technologies, Séie Diagnostic et Maintenance, editions Hermès.
35. J. Rasmussen, Diagnostic reasoning in action, IEEE Transactions on Systems Man and Cybernetics 23(4) (1993), 981-991.
36. C. Yu and C. Lee, Fault diagnosis based on qualitative/quantitative process knowledge, AIChE Journal 37(4) (1991), 617-627.