[Aguilar-Martin, 1991a], "ALCMEN,A language for qualitative/quantitative knowledge representation in expert supervisory process control". LAAS Report. Jan, 1991.

[Aguilar-Martin, 1991b], "Representación simbólico numérica para sistemas expertos de control en tiempo real", Curso de Verano Universidad Internacional Menendez Pelayo, Santander, 1991.

[Aguilar-Martin, 1993], "Knowledge-based Real Time Supervision of Dynamic Processes : Basic Principles and Methods", Applied Control : Current Trends and Applied Methodologies, Ed. Marcel Dekker, Inc. , 1993.

[Aguilar-Martin, 1994], "Qualitative control, diagnostic and supervision of compelx processes", Mathematics and Computers in Simulation, 36, pp 115-127, 1994.

[Aguilar-Martin et al, 1997], Aguilar-Martin, Fuster-Parra, P.and A. Ligeza: "Abductive diagnostic procedure based on an AND/OR/NOT graph for expected behaviour: application to a gas turbine". Proceedings of the 10th International Congress and Exhibition on Condition Monitoring and Diagnostic Engineering Management COMANDEM 97, Helsinki, Finland, 1997.

[Althoff, et al, 1995] Althoff, K.-D., A Review of Industrial Case-Based Reasoning Tools. AI Intelligence, UK, 1995.

[Andert, 1992], Andert E.P., "Integrated knowledge-based system design and validation for solving problems in uncertain environments", International Journal of Man-Machine Studies, 1992, Vol. 36,pp. 357-373.

[Årzen, 1995], "Experiences of using G2 for real-time Process Control", in "Supervision de processus à l’aide du système expert G2", Ed. Hermes, Paris.

[Årzen, 1995b], "AI in the feedback loop : A survey of alternative approaches", in IFAC Workshop on "Artificial Intelligence in Real Time Control", pp : 207-218,Bled, 1995

[Åström, Anton and Årzén, 1986], "Expert Control" in Automatica, 22 :3, pp : 277-286, 1986.

[Åström et al., 1993], Åstrom, T. Hägglund, C.C. Hang, W.K. Ho, "Automatic Tuning and adaption for PID controllers- A survey", Control Eng. Practice, Vol 1, N4, pp 699-714, 1993.

[Ayrolles et al., 1995], Ayrolles L., Aguilar-Martin J., Guerin F., "Interprétation Symbolique pour la Supervision Multi-Résolution de Processus Dynamiques", Supervision de Processus à l'aide du Système Expert G2, pp 73-90, Ed Hermes, 1995.

[Ayrolles, 1996], « Abstraction temporelle et interprétation quantitative/qualitative de processus à dynamiques multiples. Application aux processus biologiques» , These de Doctorat Universite Paul Sabatier, Toulouse, France, 1996.

[Bach and Allemang, 1996], Bach C.and D. Allemang, "Case-based reasoning in diagnostic expert systems", Artificial Intelligence Communications, 1996, Vol. 9, 2, pp. 49-52.

[Bakshi and Stephanopoulos, 1994], B.R Bakshi and G. Stephanopulos, "Representation of process trends, part III and part IV", in Computer Chem. Engng. Vol 18, No 4 pp267-332, 1994.

[Bakshi B.R. et al., 1994], "Analysis of operating data for evaluation,diagnosis and control of batch operations", Journal of Process Control, vol 4, nº 4, pp 179-194, 1994.

[Barker, 1995], Barker H.A., "Open-environmets and Object-oriented methods for computer-aided control systems design", Control Eng. Practice, Vol. 3, pp 347-356, 1995.

[Barlow and Lambert, 1975], Barlow R.E. and H.E. Lambert, "Introduction to fault tree analysis", pp. 7-35, In: Ed.Barlow R.E., J.B. Fussel, and N.D. Singpurwalla (Eds.), Reliability and Fault Tree Analysis, Society for Industrial and Applied Mathematics, 1975, ,Philadelphia, Pennsylvania.

[Bernard and Williams, 1995], Bernard J.W. and T.J. Williams, "Computers – Hierarchical Control", Process Control. In: B.G. Lipták, (Ed.), Process Control, Vol. I, Chapter 7.3, pp.815-825. Chilton Book I Radnor, Pensylvania, 1995. .

[Blankenship et al., 1995], Blankenship G.L., Ghanadan R., Kwatny H.G., LaVigna C., Polyakov V., "Tools for Integrated Modeling, Design, and Nonlinear Control", IEEE Control Systems, vol 15 nº 2, pp 65-77, 1995.

[Bohn and Atherton , 1995], "An Analysis Package Comparing PID Anti-Windup Strategies", IEEE Control Systems, vol 15 nº 2,pp 34-40, 1995.

[Bobrow, 1984], "Qualitative reasoning about Physical Systems : An Introduction", Artificial Intelligence, 24, pp : 1-5, 1984.

[Bousson et al, 1994], Bousson K., L. Zimmer, and L. Trave-Massuyes, "Causal model-based diagnosis of dynamic systems", LAAS Report No.: 94231 , 1994.

[Bouzid and Ligeza, 1995], Bouzid M. and A. Ligeza, "Temporal logic based on characteristic functions". In: C. Rolliger, I. Wachsmuth, and W. Brauer (Eds.), Advances in Artificial Intelligence, 19-th Annual German Conference on AI; Lecture Notes in Artificial Intelligence, Springer Verlag, 1995, Vol. 981, pp. 221-232.

[Bratko, 1987], Bratko I., Prolog Programming for Artificial Intelligence, Addison-Wesley Publ. Co., 1987, Wokingham, England; Reading, Massachusetts; Menlo Park, California.

[Brownston et al, 1985], Brownston L., R.Farrell, E.Kant, and N.Martin, Programming Expert Systems in OPS5, Addison-Wesley Publ. Co., 1985, Reading, Massachusetts; Menlo Park California.

[Cassar and Staroswiecki, 1996], "Pour una approche unifiée de la surveillance" in Preprints of Surveillance des systèmes continus, Tome 1, Ecole d’Eté d’Automatique de Grnoble, Sept. 1996.

[Chang and Lee, 1973], Chang C.L., and R.C.T. Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press, 1973, New York and London.

[Cheung and Stephanopoulos, 1990a], Cheung J. T.-Y., and G. Stephanopoulos, "Representation of process trends - part I. A formal representation framework", Computers Chem. Engineering, 1990, Vol. 14, pp. 495-510.

[Cheung and Stephanopoulos, 1990], "Representation of process trends - Part I and Part II", Computer Chemical Engineering, 14, pp 495-540, 1990.

[Bakshi and Stephanopoulos, 1994], Bakshi B. R., and G. Stephanopoulos, "Representation of process trends - part IV. Induction of real-time patterns from operating data for diagnosis and supervisory control", Computers Chem. Engineering, 1994.

[Chipperfield and Fleming, 1995], "PARSIM: A parallel Optimization Tool", IEEE Control Systems, vol 15 n 2, pp 48-53, 1995.

[Colomer et al. 1996], Colomer J., C. Pous, J. Melendez, J. Ll de la Rosa, J. Aguilar,"Abstracting Qualitative Information for process Supervision", IEEE International Symposium on CACSD, pp. 410-415, Dearborn, MI, 1996.

[Colomer et al. 1997], Colomer J, Melendez, J, De la Rosa J.L., Aguilar, J. "A qualitative/quantitative representation of signals for supervision of continuous systems", in ECC97, ECC382.pdf, Brussels, 1997.

[Console et al, 1989], Console L., D.T. Dupré, and P. Torasso, "A theory of diagnosis for incomplete causal models", Proceedings of the 11th IJCAI, Detroit, 1989, Vol. I, pp. 1311-1317.

[Console and Torasso, 1992], Console L., and P. Torasso, "An approach to the compilation of operational knowledge from causal models", IEEE Transactions on Systems, Man, and Cybernetics, 1992, Vol. 22, No.:4, pp. 772-789.

[Dague, 1995], Dague P., "Qualitative reasoning: A survey of techniques and applications", Artificial Intelligence Communications, 1995, Vol. 8, No.: 3/4, pp. 119-192.

[Date, 1995], Date C.J., An Introduction to Database Systems, Addison-Wesley Publishing Company, 1995, Reading, Massachusetts.

[Davis and Hamscher, 1992], Davis R., and W. Hamscher, "Model-based reasoning: troubleshooting". In: Hamscher W., L. Console, and J. de Kleer (Eds.), Readings in Model-Based Diagnosis, Morgan Kaufmann Publishers, 1992, pp. 3-24, San Mateo, CA.

[De Kleer and Brown, 1984] "A qualitative physics based on confluences", Artificial Intelligence, Nº 24, pp 7-83, 1984.

[DeKleer, 1987], De Kleer J., "Diagnosing multiple faults", Artificial Intelligence, 1987, Vol. 32, pp. 97-130.

[De la Rosa J.Ll, 1994], "Heuristics for cooperation of expert systems. Application to process control", Universitat de Girona, 1994.

[De la Rosa et al., 1995], De la Rosa J.Ll., Colomer, J., Meléndez, J., "Qualitative Modelling for partially known biotechnological process", in 'Current trends In Qualitative Reasoning and Applications", pp. 114-119, Monograph CIMNE N 33, Barcelona (Spain), 1995.

[Denoeux, Masson and Debuisson, 1996] "System diagnosis using Pattern Recognition Techniques : A Survey", in Surveillance des systèmes continus, Tome 1, Ecole d’Eté d’Automatique de Grenoble, Sept, 1996.

[Dorf R.C., 1993], "Exploring Control Design Variables", Proceedings of the American Control Conference, pp 3062-3066, 1993.

[Dorf and Bishop, 1995], Dorf R.C., and R.H. Bishop, Modern Control Systems, Addison-Wesley Publishing Company, 1995, Reading, Massachusetts.

[Dousson et al, 1992], Dousson C., P. Gaborit, and M. Ghallab, "Situation recognition: representation and algorithms", LAAS Report, No.: 92084, 1992.

[Du, Elbastawi and Wu, 1995a] R. Du, M.A. Elbastawi and S. M. Wu, "Automated process monitoring., Part I : Monitoring methods", in Journal of Engineering for Industry, 117 : 121-132, 1995

[Du, Elbastawi and Wu, 1995b] R. Du, M.A. Elbastawi and S. M. Wu, "Automated process monitoring., Part II : Applications", in Journal of Engineering for Industry, 117 : 133-141, 1995.

[Dvorak and Kuipers, 1989], Dvorak D., and B. Kuipers, "Model-based monitoring of dynamic systems", Proceedings of the IJCAI'89, 1989, pp. 1239-1243.

[Evangelos, 1996], Evangelos S., "Reality check for Data Mining", IEEE Expert, p. 26-33, 1996.

[Fagan, 1980], Fagan L.M., "VM: Representing Time-Dependent Relations in A Medical Setting", Ph.D. Dissertation, Stanford University, 1980, CA.

[Famili et al, 1996], Famili A., W.-M. Shen, R. Weber, and E. Simoudis, "Data preprocessing and intelligent data analysis", Intelligent Data Analysis, 1996, Vol. 1, http://www.elsevier.com/locate/ida.

[Fayyad, 1996], Fayyad U. M., "Data Mining and Knowledge Discovery :Making sense out of data", IEEE Expert, p. 20-25, 1996.

[Feray-Beaumont and Gentil, 1989], Feray-Beaumont S., Gentil S., "Declarative Modelling for Process Supervision", Revue d’intelligence artificielle, vol. 3, num 4, p. 135-150, 1989.

[Forbus, 1984 ], Forbus K. D., "Qualitative Process Theory, Artificial Intelligence, num. 24, p. 85-168, 1984.

[Frank, 1996], "Analytical and Qualitative Model-based Fault Diagnosis -A Survey and Some New Results", in European Jouranl of Control ,2 :6-28, 1996.

[Frank and Köppen-Seliger, 1995] "New developments using AI in fault daignosis", in IFAC/IMACS International Workshop on Artificial Intelligence in Real-Time Control, Bled Slovenia, Dec. 1995, pp. 1-12.

[Fu, 1971], Fu K.S., "Learning control systems and intelligent control systems: An intersection of artificial intelligence and automatic control", IEEE Transactions on Automatic Control, 1971, Vol. February, pp. 70-72.

[Fuster and Ligeza, 1995], Fuster-Parra, P. and A. Ligeza: "Qualitative probabilities for ordering diagnostic reasoning in causal graphs". In: M. A. Bramer et al (Eds.), Research and Development in Expert Systems XII, SGES Publications, Information Press Ltd., Oxford, 1995, pp. 327-339.

[Fuster, 1996], Fuster Parra P., "A Model For Causal Diagnostic Reasoning. Extended Inference Models and Efficiency Profblems", Ph.D. Thesis at the University of Balearic Islands, 1996, University of Balearic Islands, Palma de Mallorca, Spain.

[Fuster and Ligeza, 1996], Fuster Parra P and A. Ligeza: "Diagnostic knowledge representation and reasoning with use of AND/OR/NOT causal graphs". {Systems Science, 1996, Vol. 22, No. 3, pp. 53-61.

[Fuster and Ligeza, 1996a], Fuster Parra P and A. Ligeza: "A Model for Representing Causal Diagnostic Reasoning. In: Proceedings of the 13th European Meeting on Cybernetics and Systems Research EMCSR'96, Vienna, Austria, 1966, vol.:2, pp. 1222-1227. Also as LAAS Report, LAAS-CNRS, Toulouse, 1996, No.: 96186.

[Fuster et al, 1996b], Fuster Parra P., A. Ligeza and J. Aguilar-Martin: "Enhancing Search Efficiency in Diagnostic Reasoning Based on Causal Graphs Via Qualitative Probabilities. European Simulation Multiconference ESM'96 -- ICQFN'96 Conference, Budapest, 1996, pp. 752-756. Also as LAAS Report, LAAS-CNRS, Toulouse, 1996, No.: 96188.

[Ganz, Kolb and Rickli, 1993], "A Data Management Tool for Computed Aided Control Engineering", Proceedings of the American Control Conference, pp 3076-3080, 1993.

[Gebhardt, et al, 1977] Gebhardt, F., Reasoning with Complex Cases. Kluwer Academic Publishers, Boston, 1997.

[Geneserethan and Nilsson, 1987], :Genesereth M.R., and N.J. Nilsson, Logical Foundations of Artificial Intelligence, M.Kaufmann Publ. Inc., 1987, Los Altos, California.

[Gentil, 1996], "Intelligence Artificialle pour la Surveillance des procédés continus", in Surveillance des systèmes continus, Tome 1, Ecole d’Eté d’Automatique de Grenoble, Sept, 1996.

[Gesti, 1989], Gesti J., Curso de reparación de video, Fonovisión, 1989.

[Gouyon, 1997], Gouyon J.P., "Kheops Version C-2.6 User's Guide", LAAS Document, 1997,

[Grübel, 1993], "ANDECS and CACE ‘Frameworks Reference Models ", OPEN-CACSD : Newsletter of the IFAC/IEEE-CSS Working Group Guidelines for Open CACSD Software, Swansea, 1 (11), February, 1993

[Grübel, 1995], "The ANDECS CACE Framework", IEEE Control Systems, vol 15 nº 2, pp 8-13, 1995.

[Helfman et al, 1998], Helfman, R., E. Baur, J. Dumer, T. Hanratty, and H. Ingham, "Turbine engine diagnostics (TED): an expert diagnostic system for the M1 Abrams Turbine Engine. In: Proceedings of the Fifteenth National Conference on Artificial Intelligence AAAI-98, AAAI Press/The MIT Press, Menlo Park, California, 1998, pp. 1032-1038.

[IEEE Control Systems, 1995], "Special Issue on CACSD", IEEE Control Systems, Vol 15, N2, pp6-85, April 1995.

[Isermann, 1994], Isermann R., "Integration of fault detection and diagnosis methods". In: T. Ruokonen (Ed.), Fault Detection, Supervision and Safety for Technical Processes - SAFEPROCESS '94, IFAC Symposium, Vol. 2, 1994, Espoo, Finland, pp. 597-612.

[Isermann and Ballé, 1996], "Trends in the application of model based fault detection and diagnosis of technical processes", in IFAC -13^th Triennial World Congress, ref. 7f-01 1, San Francisco, USA.

[Jacobstein and Kitzmiller, 1988], "Integrating Symbolic and Numerical Methods in Knowledge-Based Systems : Current Status, Future Prospects, Driving Events", in "Coupling symbolic and numerical computing in expert systems, II", JS Kowalik and CT Kitzmiller Edt., Elsevier Science Publishers B.V., North Holland, 1988.

[James et al., 1995], "The state of Computer-Aided Control System Design", IEEE Control Systems, vol 15 nº 2, pp 6-7, 1995.

[James, 1988], "Lessons learned in coordinating symbolic and numeric computing in knowledge-based systems for control design", Coupling Symbolic and Numerical Computiong in Expert Systems II, J.S. Kowalik and C.T.Kitzmiller Edts., Elsevier Science Publishers B.V., 1988.

[Janusnz and Venkatasubramanian, 1991], Janusz M. and Venkatasubramanian V., "Automatic generation of qualitative description of process trends for fault detection and diagnosis", Engng. Aplic. Artif. Intell., Vol. 4, p. 329-339, 1991.

[Jobling et al. 1994], Jobling C.P., Grant P.W., Barker H.A., Townsed P, "Object-oriented Programming in Control System Design: a Survey", Automatica, vol 30, nº 8, pp 1221-1261, 1994.

[Jovic, 1992], Jovic F., Expert Systems in Process Control, Chapman & Hall, London, 1992.

[Koch, 1993], "Modular Reasoning. A new approach towards intelligent control", Doctoral thesis Swiss Federal Institute of technology, Zurich, 1993.

[Konstantinov and Yoshida, 1992], Konstantinov K. and Yoshida T., "Real-Time Qualitative Analysis of the Temporal Shapes of (Bio) Process Variables", AIChE Journal, vol. 38, num. 11, p. 1703-1715, 1992.

[Koscielny, 1994], Koscielny J.M., "Algorithm of fault detection and isolation applied for an evaporation unit in a sugar factory", Control Engineering Practice, 1994, Vol. 2, No.: 4 pp. 649-657.

[Koscielny, 1995], Koscielny J.M., "Fault isolation in industrial processes by the dynamic table of states method", Automatica, 1995, Vol. 31, No.: 5, pp. 747-753.

[Kuipers, 1986], "Qualitative simulation", Artificial Intelligence, Vol 29, pp. 289-338, 1986.

[Kwakernaak and Sivan, 1991], Kwakernaak, H., and R. Sivan, Modern Signals and Systems, Prentice-Hall International, Inc., Englewood Cliffs, New Jersey, 1991.

[Lackinger and Nejdl, 1991], Lackinger F. and W. Nejdl, "Integrating model-based monitoring and diagnosis of complex dynamic systems". In: Proceedings of the IJCAI'91, 1991, pp. 1123-1128.

[Laffey et al, 1988], Laffey T.J., P.A. Cox, J.L. Schmidt, S.M. Kao, and J. Y. Read, "Real-time knowledge-based systems", AI Magazine, 1988, Vol. Spring, pp. 27-45.

[Lee et al. , 1993], LeeT.H., C.C. Hnag, W.K. Ho, P.K. Yue, "Implementation of a knowledge-based PID Auto-tuner", Automatica, Vol. 29, No 4, pp 1107-1113, 1993.

[Lane et al, 1995], Lane J.W., C.S. Lin, and T.H. Tsai, "DCS - Supervisory Computer Tasks and Configurations". In: B.G. Lipták, (Ed.), Process Control, Vol. I, Chapter 7.13, pp. 913-922 Chilton Book I Radnor, Pensylvania, 1995.

[Leyval, 1991], Leyval L., "Raisonnement Causal pour la Simulation de Procédes Industriels Continus", Doctorat de l'Institut National Politechnique de Grenoble, 1991.

[Ligeza, 1993], Ligeza A., "Logical foundations for knowledge-based control systems. Knowledge representation, reasoning and theoretical properties", Scientific Bulletins of the University of Mining and Metallurgy AGH, 1993, Vol. 63, No.:1529, Kraków, Poland (A former version also as LAAS Report, No.: 92269, LAAS-CNRS, Toulouse, 1993).

[Ligeza, 1994], Ligeza, A.: "Logical foundations for knowledge-based control systems. Part I: Language and reasoning", Archives of Control Sciences, Vol. 3(XXXIX), No. 3-4, pp. 289-315.

[Ligeza, 1995], Ligeza, A.: "Logical foundations for knowledge-based control systems. Part II: Representation of states, transformations and analysis of theoretical properties", Archives of Control Sciences, Vol. 4 (XL), No. 1-2, 129-166, 1995.

[Ligeza, 1995a], Ligeza, A.:"Towards design of complete rule-based control systems". In: J. Kocijan and R. Karba (Eds.), Preprints of the IFAC/IMACS International Workshop on Artificial Intelligence in Real-Time Control, Bled, Slovenia, 1995, pp. 189-194.

[Ligeza and Kirschner, 1995], Ligeza, A. and M. Kirschner: "Conflict resolution strategies for knowledge-based systems". Proceedings of the First International Workshop on Decentralized Intelligent and Multi-Agent Systems DIMAS'95, Cracow, 1995, pp. 276-283.

[Ligeza et al, 1996a], Ligeza A., P. Fuster Parra, and J. Aguilar-Martin, "Causal abduction: backward search on causal logical graphs as a model of diagnostic reasoning", LAAS Report, 1996, No.: 96316, LAAS-CNRS, Toulouse, 1996.

[Ligeza, 1996b], Ligeza A., "Completeness verification of rule-based control systems. Systems Analysis – Modeling, Simulation (SAMS)} (Int. Journal), 1996, Vol. 24, pp.211-220.

[Ligeza, 1996c], Ligeza A., "A logical support for design of complete rule-based systems", Systems Science, 1996, Vol. 22, No. 4, pp. 39--47.

[Ligeza and Fuster, 1996d], Ligeza A. and Fuster Parra: "Towards Logical Analysis of Rule-Based Systems. Quality and Reliability Verification. In: Proceedings of the 13^th European Meeting on Cybernetics and Systems Research EMCSR'96, Vienna, Austria, 1996, vol.:2, pp. 1211-1216,. Extended version also as LAAS Report, No.: 96185, LAAS-CNRS, Toulouse, 1996.

[Ligeza, 1996e], Ligeza A., "Logical Support fo Design of Rule-Based Systems. Reliability and Quality Issues. ECAI'96 Worksop on Validation, Verification and Refinement of KBS, Workshop W-2, Budapest 1996, pp. 28-34. Also as LAAS Report, LAAS-CNRS, Toulouse, 1996, No.: 96170.

[Ligeza, 1996f], Ligeza A., "A Note on Systematic Conflict Generationin CA-EN-type Causal Structures. LAAS Report, LAAS-CNRS, Toulouse, 1996, No. 96317, 1996.

[Ligeza, 1997a], Ligeza A., "Logical analysis of completeness of rule-based systems with dual resolution". Proceedings of the EUROVAV-97 - 4th European Symposium on the Validation and Verification of Knowledge Based Systems, Leuven, Belgium, 1997, pp. 19-29.

[Ligeza, 1997b], Ligeza A., "Functional causal graphs. Yet another model for diagnostic reasoning. IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes SAFEPROCESS'97, Hull, England, 1997.Vol. 2, pp. 1102-1107.

[Ligeza, 1997c], Ligeza A., An Introduction to Knowledge-Based Process Monitoring and Diagnosis. Basic Ideas, Problems and Theoretical Foundations. Working notes for a Ph.D. course (npublished manuscript), Prepared in LaTeX, Girona, Spain, 1997, 276 pages (available in postscript).

[Ligeza and Fuster 1997], Ligeza A., and P. Fuster Parra, "AND/OR/NOT causal graphs - a model for diagnostic reasoning", Applied Mathematics and Computer Science, 1997, Vol. 7, No.:1, pp. 185-203.

[Ligeza, 1998], Ligeza A, "Towards logical analysis of tabular rule-based systems". Proceedings of Ninth International Workshop on Database and Expert Systems Applications at DEXA'98. Wien, 1998. Published by IEEE Computer Society, Los Alamitos, CA, pp. 30-35.

[Loveday, 1996], Loveday G.C., Diagnóstico de averias en electrónica, Paraninfo,1996.

[Lunze, 1994], Lunze J., "Notion of the state in systems theory and artificial intelligence", Intelligent Systems Engineering, 1994, Vol. Winter, pp. 201-210.

[Lynch and De Paso, 1992], "An Object Oriented Intelligent Control Architecture", American Control Conference, 1992.

[Maciejowski and Szymkat, 1994], "Containers - a step towards objects with Matlab", Proc. IFAC/IEEE Joint Symp. on Computer Aided Control System Design, Tucson, AZ, March, 1994.

[Mallat, 1989], Mallat S.G. « A theory for multiresolution signal descomposition: the wavelet transform» , IEEE Transactions on pattern analysis and machine intelligence, vol 11, nº 7,pp 674-693, 1989.

[Maquin and Ragot, 1996], "Méthodes de base de la surveillance: systèmes statiques et dynamiques", in Surveillance des systèmes continus, Tome 1, Ecol d’Eté d’Automatique de Grenoble, Sept., 1996.

[Martinez, 1997], Martinez Arteaga, A.,"Exemple d'aplicació del sistema expert CEES a una planta industrial en temps real", PFC-EPS, Universitat de Girona, 1997.

[Matlab 1996], Matlab 5.0 Using Matlab, The MathWorks, Inc, Dec 1996.

[Mau et al, 1995], Mau, K. Y., P. F. Nolan, and C. H. Steele, "A feasibility study into the use of a real-time emergenecy advisory system for batch reactors. In: M. A. Bramer et al (Eds.), Research and Development in Expert Systems XII, SGES Publications, Information Press Ltd., Oxford, 1995, pp. 183-205.

[Mavrovouniotis and Stephanopoulos, 1988], Mavrovouniotis L. and StephanopoulosG., "Formal Order-of-Magnitude Reasonning in Process Engineering", Computer Chemical Engineering, num. 12, p. 867-880, 1988.

[McGhee et al, 1990], McGhee J., M.J. Grimble, and P. Mowforth (Eds.), Knowledge-Based Systems for Industrial Control, Peter Peregrinus Ltd., London, 1990,

[Melendez et al. 1995], Melendez, J., Colomer J. and De la Rosa J.Ll., "Linking G2 and Matlab for Developing an Expert Diagnostic System", in 'Supervision de processus à l'aide du système expert G2^TM'', pp. 91-110, Ed. Hermès, Paris, 1995.

[Melendez et al. 1996a] Melendez J., Colomer J., De la Rosa J.Ll., Vehí J., "Dealing with Qualitative Information in Simulation for Supervisory Systems design", in Modelling and Simulation, ESM’96, June, Budapest, 1996.

[Melendez et al., 1996b], Melendez J. , J. Colomer, J. Ll De la Rosa, J. Aguilar and J. Vehi, "Embedding Objects into Matlab/Simulink for Process Supervision", IEEE International Symposium on CACSD, pp.20-25, Dearborn, MI, 1996.

[Melendez et al., 1996c], Melendez J., J.LL. de la Rosa, J. Colomer, J. Vehí i C. Pous, "Incrustación de objetos en Simulink. Integración de herramientas de ayuda al diseño de estructuras de supervisión" , II Congreso de usuarios de MATLAB (MATLAB'96)",pp. 423-429, Madrid, Sept. 1996.

[Melendez J., 1996d] "Integrating tools for computer aided expert supervision design", 1r seminari de treball en automàtica robòtica i percepció, Edicions UPC, pp: 29-43, Barcelona, 1996.

[Melendez et al., 1997a], Melendez J., J.Ll. de la Rosa, J, Colomer, J. Aguilar-Martin, O. Contreras "A Framework for Dealing with Significant Information and Knowledge Representation in Espert Supervisory Systems Design" 7th IFAC Symposium on Computer Aided Control System Design (CACSD’97), pp :397-402. Gent (Belgium) April 28-30, 1997.

[Melendez, et al., 1997b], Melendez J., Colomer J.,De la Rosa J Ll, Waissman-Vilanova J, Aguilar-Martin J., "Supervisory diagnostic structure using qualitative signal abstraction and rule-based inferential reasoning : A two tank illustrative example" , COMADEM '97, Helsinki (Finland), 1997, June 9-11.

[Melendez, 1998], Melendez J., Colomer J., De la Rosa J.Ll., Contreras O., "Expert diagnostic using qualitative data and Rule-based inferential reasoning" , submitted at the 11^th, International Conference onIndustrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA’98, Castellon de la Plana, June, 1998.

[Millot, 1996] " De la Surveillance à la Supervision : l’integration des Operateurs Humains", in Surveillance des systèmes continus, Tome 1, Ecole d’Eté d’Automatique de Grenoble, Sept, 1996.

[Milne, 1987], "Strategies for diagnosis", IEEE transactions on Systems, Man and Cybernetics, SMC-17, pp. 333-339, 1987.

[Milne et al, 1994], Milne R., C. Nicol, M. Ghallab, L. Trave-Massuyes, K. Bousson, C. Dousson, J. Quevedo, J. Aguilar, and A Guasch, "TIGER: real-time situation assessment of dynamic systems", Intelligent Systems Engineering, 1994, Vol. 3, No.:3, pp. 103-124.

[Milne et al, 1995], Milne R., C. Nicol, L. Trave-Massuyes, and J. Quevedo, "TIGER: Knowledge based gas turbine condition monitoring", LAAS Report, 1995, No.: 95540.

[Milne et al, 1996], Milne R., L. Trave-Massuyes, and J. Quevedo, "TIGER: Numeric and qualitative model based diagnosis", LAAS Report, 1996, No.: 9394.

[Munro, 1990], "ECSTASY-A Control System CAD Environment", in Proc. 11^th IFAC World Congress on Automatic Control, Tallin, Estonia, 13-17 August, 1990.

[Moore, 1966], Moore R., Interval Analysis, Prentice-Hall, 1966.

[Nazareth, 1989], Nazareth, D.L., "Issues in the verification in rule-based systems," International Journal of Man-Machine Studies, 1989, Vol. 30, pp. 255-271.

[Nebendahl, 1988] Nebendahal Dieter, "Expert Systems. Introduction to the Technology and Applications", Siemens Aktiengesellschaft, John Wiley and Sons Limited, 1988.

[Nilsson, 1980], Nilsson N.J., Principles of Artificial Intelligence, Tioga Publishing Co., 1980, Palo Alto, California.

[Nguyen et al, 1985], Nguyen T.A., W.A. Perkins. T.J. Laffey, and D. Pecora, "Checking an expert systems knowledge base for consistency and completeness". In.: Proceedings of the 9-th International Joint Conference of Artificial Intelligence, M. Kaufmann Publ. Inc., 1985, Los Angeles, California., Los Altos, CA, pp. 375-378.

[Ogunnaike, 1995], Ogunnaike, B.A.,"The Role of CACSD in Contemporary Industrial Process Control", IEEE Control Systems, vol 15 nº 2 ,pp 41-47, 1995.

[OMG, 1995], "The Common Object Request Broker : Architecture and Specification ", 2 Ed., Object Management Group, July 1995.

[Ong, 1992], "Autonomous Control System Design", ACC/TM3, p.p. 1898-1899, 1992.

[Pal, 1995], Kajnal Miklos Pal, "Model Based Fault Detection", Contribution to TEMPUS project MODIFY, Duisburg, 1995.

[Piera, 1995], Piera N., "Current trends In Qualitative Reasoning and Application", pp. 114-119, Monograph CIMNE Nº 33, Piera Ed., Barcelona (Spain), 1995.

[Pijanowski, 1991], Pijanowski B., Pradnica i Regulator ( ang. Electric generator and controler), Wydawnictwo Komunikacji i Lacznosci, Warszawa, 1991.

[Philips, 1990], Philips, Manual de servicio TVC, Colección Auratrònica, Ed. Aura, 1990.

[Rainman, 1986], Rainman O., "Order of magnitude reasonig", Proceedings of AAAI-86, National Conference on Artificial Intelligence, p. 100-104, 1986.

[Rakoto-Ravalontsalama N., 1993], "Sur l’interface numerique-symbolique dans un schema de supervision de systemes dinamiques a l’aide de systemes experts", These de Doctorat Universite Paul Sabatier, Toulouse, France, 1993.

[Rakoto and Aguilar, 1995], Rakoto-Ravalontsalama N. and J. Aguilar Martin (Eds.), Supervision de processus à laide du système expert G2, Hermes, Paris, 1995.

[Reggia et al, 1983], Reggia J.A., D.S. Nau, and P.Y. Wang, "Diagnostic expert system based on a set covering model", International Journal on Man-Machine Studies, 1983, Vol. 19, pp. 437-460.

[Reiter, 1987], Reiter R., "A theory of diagnosis from first principles", Artificial Intelligence, 1987, Vol. 32, pp. 57-95.

[Rengasamy, 1995], "A framework for integrating process monitoring, diagnosis and superviosy control", PhD. Thesis of the Purdue University, August, 1995

[Rengaswamy and Venkatasubramanian, 1995], Rengaswamy R. and V. Venkatasubramanian, "A syntactic-recognition approach for process monitoring and fault diagnosis", Engineering Applications of Artificial Intelligence, 1995, Vol. 8, pp. 35-51.

[Rimvall et al., 1994], Rimvall C.M, Farrell J.A, Radecki M, Idelchick M, "An open architecture for Automatic Code Generation using the BEACON CACE environment", Joint IEEE/IFAC Symposium on Computer-Aided Control System Design, Tucson, AZ; March 1994. And also http:// www.phrantic.com/ j_alan/ hitech/ case/ beacon.html (Sept. 1997).

[Russel and Norwig, 1995], Russel, S. and P. Norwig, Artificial Intelligence. A Modern Approach, by Prentice Hall, Englewood Cliffs, New Jersey, 1995.

[Rutz R. and Richert, 1995], "CAMel: An open CACSD environment", IEEE Control Systems, vol 15 nº 2,pp 26-33, 1995.

[Sàbat, 1996], ‘Supervisió experta mitjançant el sistema expert CEES. Exemple d’utilització’, Proyecto Fin de Carrera, ETET,Vilanova i la Geltru, UPC, 1996.

[Sarrate R. et al., 1995], "Generación de eventos por análisis de datos basado en ventanas deslizantes", XVI Jornadas de Automática, Donostia, Spain, 1995.

[Sarrate R. and Aguilar, 1996] Sarrate, R., J. Aguilar, "Window-based quantitative-to-qualitative interface for intelligent supervisory systems", Proceedings of ESM '96, p. 724-728, Budapest, 1996.

[Saifuddin, 1996] Saifuddin, Anita Bilqees, "Computing Environments for Control Engineering", Ph. D. Thesis at the University of Cambridge, UK, March, 1996.

[Saifuddin et al., 1996], Saifuffin A.B., Maciejowski J.M. and Szymkat M., (1996), "Computational chains for CACSD Using Matlab Containers", Proceedings of the 1996 IEEE international Symposium on CACSD, pp. 392-397, Dearborn. MI, 1996.

[Shen and Leitch, 1993], "Fuzzy Qualitative simulation",IEEE, Trans. on Systems Man and Cybernetics, V. 23, N4, pp :1038-1064, 1993.

[Simulink 1993], Simulink 1.3 User's Guide, The MathWorks, Inc, April 1993.

[Simulink 1994], Simulink 1.3 Release Notes, The MathWorks, Inc, May 1994.

[Simulink 1996], Simulink 2.0 Using Simulink, The MathWorks, Inc,Dec 1996.

[Sterling and Shapiro, 1986], Sterling L., and E.Shapiro, The Art of Prolog. Advanced Programming Techniques, The MIT Press, Cambridge, Massachusetts; London, England, 1986.

[Stock 1989], Stock M., AI in Process Control, Intertext Publications/Multiscience Press, Inc., New York, 1989.

[Suwa et al, 1984], Suwa M., A.C. Scott, and E.H. Shortliffe, "Completeness and consistency in rule-based expert system". In: B.G. Buchanan, and E.H. Shortliffe (Eds.), Rule-Based Expert Systems, Addison-Wesley, London, 1985, pp. 159-170.

[Taylor et al., 1990], Taylor J.H., Frederick D.K., Rimvall C.M., Sutherland H.A., "A computer aided control engineering environment with expert aiding and data-base management", IFAC World Congress, Tallim USSR, 13-17, Aug. 1990.

[Taylor et al., 1993], Taylor J.H., Rimvall, C.M., Sutherland, H.A. "Computer-Aided Control Engineering Environments", Chapter 17, CAD for Control Systems, D.A. Linkens Ed. Marcel Dekker Inc. 1993.

[Travé-Massuyés and Piera, 1989], Travé-Massuyés, L. and Piera, N., The orders of magnitude as qualitative algebras, 11th IJCAI, Detroit, USA,1989.

[Travé-Massuyès, 1997], Travé-Massuyès, "Gas-turbine condition monitoring using qualitative model-based diagnosis", IEEE Expert Intelligent Systems & Their Applications, 1997, Vol. May/June, pp. 22-31.

[Travé-Massuyès and Milne, 1997], Travé-Massuyès L., and R. Milne, "TIGER: GAS TURBINE CONDITION MONITORING. Focus on the Ca-En qualitative model based system", LAAS Report, 1997, No.: 97157.

[Tzafestas, 1987], Tzafestas, S., "AI techniques in control: an overview". In: Reprints of the IMACS Int. Symposium on AI, Expert Systems and Languages in Modelling and Simulation, Barcelona, 1987, pp. 55-67.

[Tzafestas, 1989], Tzafestas S.G., "System fault diagnosis using the knowledge-based methodology". In: R. Patton, P. Frank ,and R. Clark (Eds.), Fault Diagnosis in Dynamic Systems. Theory and Applications, Prentice Hall International Ltd, New York,1989, pp. 509-572.

[Tzafestas, 1989a], Tzafestas S.G. (Ed.), Knowledge-Base System Diagnosis, Supervision and Control, Plenum Press, New York, London, 1989.

[Vinoski, 1997], "CORBA : Integrating Diverse Applications Within Distributed Heterogeneous Environments", Communications Magazine, Vol.14, No.2, February, 1997.

[Watson, 1997], Watson, I., Applying Case-Based Reasoning. Techniques for Enterprise Systems. Morgan Kaufmann Pulishers, Inc., San Francisco, CA, 1997.

[Williams, 1986], Williams, B.C., "Doing Time : Putting qualitative reasoning on firmer ground", Proceedings of AAAI-86, National Conference on Artificial Intelligence, p.105-112, 1986.

[WGS Newsletter, 1997], Working Group on Software, nº 11, http:// www.win.tue.nl/ wgs/ NEWSLETTER/ NEWSL11/ wgsnews11.html, January, 1997.