Esprit ’89 pp 420-448 | Cite as

QUIC Toolkit Demonstrator Applications

  • A. Cavanna
  • J. C. Chautard
  • C. Honnorat
  • M. Levin
  • B. Klausen

Abstract

The QUIC Toolkit can be characterised as an application environment specially designed to support process control applications. The QUIC Toolkit methodology and terminology has been validated on three different applications ranging from diagnosis of power plant condenser subsystems over monitoring and control of spacecrafts to control of vital parts in cement manufacturing plants. For each application a detailed system description is provided together with a task analysis which provide the mapping of the demonstrator requirements onto the QUIC Toolkit. Using the methodology and terminology of the QUIC Toolkit each application is then hierarchical decomposed into its basic building blocks. Finally, validation results are described and discussed.

Keywords

Decision Task Electrical Power Supply Event Graph Tactical Level Knowledge Representation Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bailby, G., Chautard, JC. and Honnorat, C. (1988) ’Functional Comparison of PES and the E/G tool’, ESPRIT Project P820, Internal Report IR4.2,1988.Google Scholar
  2. Bobrow, D. G. and Hayes, P. J. (Eds.) (1984) ’Qualitative reasoning about physical systems’, Artificial Intelligence Special Volume 24, (1–3).Google Scholar
  3. Chautard, JC., Courtin, JP. and Honnorat, C. (1988) ’Demonstrator 2 requirements stemming from first phase’, ESPRIT Project P820, Internal Report IR4.4,1988.Google Scholar
  4. D2.3. Many Authors. (1988), ’Kernel Toolkit User Manual’, ESPRIT Project P820 Deliverable Report D2.3, June 1988.Google Scholar
  5. Davis, R. (1984) ’Diagnostic reasoning based on structure and behaviour’, Artificial Intelligence 24, 347–410.CrossRefGoogle Scholar
  6. de Kleer, Johan and Williams, Brian C. (1987) ’Reasoning about multiple faults’, Proceedings of the national Conference on Artificial Intelligence 1987.Google Scholar
  7. Georgeff, M. P. and Lansky, A. (1986) ’A system for reasoning in dynamic domains: Fault diagnosis on the space shuttle’, Technical note 375, 1986 - SRI International.Google Scholar
  8. Leitch, R. R. (1987) Task Classification for Knowledge Based Systems in Industrial Control’, ESPRIT PROJECT 820 (QUIC). Internal Report 2.10, December 1987.Google Scholar
  9. Leitch, R. R. and Stefanini, A. (1988) ’QUIC: a development environment for Knowledge Based Systems in industrial automation’, ESPRIT ’88, Putting the Technology to Use, Proceedings of the 5th Annual ESPRIT Conference Brussels, November 14–17,1988 (Part 1), Elsevier Science Publications B.V., Netherlands.Google Scholar
  10. Reisig, W. (1982) ’Petrinetze’, Springer-Verlag, Berlin, Heidelberg, New York, 1982.Google Scholar
  11. Stefanini, A. (1988) ’Task Dependent Tools for Intelligent Automation’, ESPRIT PROJECT 820 (QUIC), Status Report on Esprit Project 820 “QUIC”, March 1988.Google Scholar
  12. Struss, P. (1987) ’Multiple representation of structure and function’, in John Gero (ed.), Expert System in computer aided design, North Holland 1987.Google Scholar
  13. Zadeh, L. A. (1971) ’Toward a Theory of Fuzzy Systems’, in R. E. Kalman and N. de Claris (eds.), Aspects of Network and System-Theory, Holt, Rinehart and Winston Inc., 1971.Google Scholar
  14. Zadeh, L. A. (1972) ’Outline of a New Approach to Analysis of complex Systems and Decision Processes’, IEEE Transaction on systems, Man, and Cybernetics, vol. SNC-3, No. 1, January 1973.Google Scholar
  15. Zadeh, L. A. (1988) ’Fuzzy Logic’, IEEE Computer, April 1988.Google Scholar

Copyright information

© ECSC, EEC, EAEC, Brussels and Luxembourg 1989

Authors and Affiliations

  • A. Cavanna
    • 1
  • J. C. Chautard
    • 2
  • C. Honnorat
    • 2
  • M. Levin
    • 3
  • B. Klausen
    • 3
  1. 1.Ansaldo SPAGenovaItaly
  2. 2.AerospatialeCannes-la-BoccaFrance
  3. 3.F.L.Smidth & Co. A/SValbyDenmark

Personalised recommendations