Skip to main content
Log in

Hierarchical model-based diagnosis for high autonomy systems

  • Published:
Journal of Intelligent and Robotic Systems Aims and scope Submit manuscript

Abstract

Deep reasoning diagnostic procedures are model-based, inferring single or multiple faults from the knowledge of faulty behavior of component models and their causal structure. The overall goal of this paper is to develop a hierarchical diagnostic system that exploit knowledge of structure and behavior. To do this, we use a hierarchical architecture including local and global diagnosers. Such a diagnostic system for high autonomy systems has been implemented and tested on several examples in the domain of robot-managed fluid-handling laboratory.

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

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Chi, S.D., Modelling and simulation for high autonomy systems, PhD Dissertation, University of Arizona, 1991.

  2. Chi, S.D. and Zeigler, B.P., DEVS-based intelligent control of space adapted fluid mixing,Proc. 5th Conf. on Artificial Intelligence for Space Applications, May 1990.

  3. Chi, S.D., Zeigler, B.P., and Cellier, F.E., Model-based task planning system for a space laboratory environment,SPIE Conference on Cooperative Intelligent Robotics in Space, Boston, Nov. 1990.

  4. DeKleer, Y. and Williams, B.C., Diagnosing multiple faults,Artificial Intelligence 32 (1987), 97–130.

    Google Scholar 

  5. DeVries, R.C., An automated methodology for generating a fault tree,IEEE Trans. Reliability 39(1) (April 1990).

  6. Garzia, R.F., Garzia, M.R., and Zeigler, B.P., Discrete event simulation,IEEE Spectrum (Dec. 1986), pp. 32–36.

  7. Greiner, R., Smith, B.A., and Wilkerson, R.W., A correction to the algorithm in Reiter's theory of diagnosis,Artificial Intelligence 41 (1989), 79–88.

    Google Scholar 

  8. Ho, Y. Editors introduction, Special Issue on Dynamics of Discrete Event Systems,Proc. IEEE 77(1) (1989).

  9. Klir, G.,Architecture of Systems Problem Solving, Plenum Press, New York, 1985.

    Google Scholar 

  10. Kuipers, B.J., Qualitative reasoning with causal models in diagnosis of complex systems, in L.A. Widman, K.A. Loparo, and N. Nielsen (eds)Artificial Intelligence, Simulation and Modelling, Wiley, New York, 1989, pp. 257–274.

    Google Scholar 

  11. Mesarovic, M.D. and Takahara, Y.,General Systems Theory: Mathematical Foundations, Academic Press, New York, 1975.

    Google Scholar 

  12. Orden, A., On the solution of linear equation/inequality systems,Math. Program. 1 (1971), 137–152.

    Google Scholar 

  13. Patterson-Hine, F.A. and Koen, B.V., Direct evaluation of fault trees using object-oriented programming techniques,IEEE Trans. Reliability 38(2) (June 1989).

  14. Reiter, R., Theory of diagnosis from first principles,Artificial Intelligence 32 (1987), 57–95.

    Google Scholar 

  15. Wang, Q. and Cellier, F.E., Time windows: An approach to automated abstraction of continuoustime models into discrete-event models,Proc. AI, Simulation, and Planning in High Autonomy Systems, Tucson, 1990.

  16. Wymore, A.W.,A Mathematical Theory of Systems Engineering: The Elements, Wiley, New York, 1967.

    Google Scholar 

  17. Zeigler, B.P., DEVS representation of dynamical systems: Event-based intelligent control,IEEE Proc. 77(1) (Jan. 1989), 72–80.

    Google Scholar 

  18. Zeigler, B.P.,Multifaceted Modelling and Discrete Event Simulation, Academic Press, New York, 1984.

    Google Scholar 

  19. Zeigler, B.P.,Object-Oriented Simulation with Hierarchical, Modular Models: Intelligent Agents and Endomorphic Systems, Academic Press, New York, 1990.

    Google Scholar 

  20. Zeigler, B.P., High autonomy systems: Concepts and models,Proc. AI, Simulation and Planning in High Autonomy Systems, Tucson, March 1990.

  21. Zeigler, B.P., Systems formulation of a theory of diagnosis from first principles,IEEE Trans. Reliability 41(1) (1992), 38–48.

    Google Scholar 

  22. Zeigler, B.P. and Chi, S.D., Symbolic discrete event system specification,IEEE Trans. Systems, Man, Cybernet. 22(6) (July 1992), 28–43.

    Google Scholar 

  23. Zeigler, B.P., Cellier, F.E., and Rozenblit, J.W., Design of a simulation environment for laboratory management by robot organizations,J. Intelligent and Robotic Systems 1 (1988), 299–309.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Additional information

Research supported by NASA-Ames Co-operative Agreement No. NCC 2-525, ‘A Simulation Environment for Laboratory Management by Robot Organization’.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Chi, SD., Zeigler, B.P. Hierarchical model-based diagnosis for high autonomy systems. J Intell Robot Syst 9, 193–207 (1994). https://doi.org/10.1007/BF01276498

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01276498

Key words

Navigation