Skip to main content

A Common Framework for Fault Diagnosis of Parametric and Discrete Faults Using Possible Conflicts

  • Conference paper
Advances in Artificial Intelligence (CAEPIA 2013)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 8109))

Included in the following conference series:

Abstract

This work proposes a common framework for Fault Detection and Isolation of discrete and parametric faults in hybrid systems using Hybrid Possible Conflicts , HPCs. Fault detection is based on residual activation for the set of HPCs in the current mode. Using the structural information in each HPC we first search for discrete –related to actuators– fault candidates, because these faults introduce highly non-linear behaviors. To confirm or reject them, we track sets of HPCs in the current and potential faulty modes. We confirm the mode whose HPC residuals become zero, or start the fault isolation of parametric faults if every discrete fault is discarded. We test our approach in a hybrid four tank system.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bayoudh, M., Travé-Massuyès, L., Olive, X.: Towards Active Diagnosis of Hybrid Systems. In: Proc. of the 19th Int. WS on Pples. of Diagnosis, DX08, Blue Mountains, Australia (September 2008)

    Google Scholar 

  2. Benazera, E., Travé-Massuyès, L.: Set-theoretic estimation of hybrid system configurations. IEEE Trans. on Sys. Man Cyber. Part B 39, 1277–1291 (2009), http://portal.acm.org/citation.cfm?id=1656796.1656811

    Article  Google Scholar 

  3. Benazera, E., Travé-Massuyès, L., Dague, P.: State Tracking of Uncertain Hybrid Concurrent Systems. In: Proc. of the 13th Int. WS on Pples. of Diagnosis, DX08, Austria (2002)

    Google Scholar 

  4. Bregon, A., Alonso, C., Biswas, G., Pulido, B., Moya, N.: Fault diagnosis in hybrid systems using possible conficts. In: Proc. of Safeprocess 2012, Mexico City, Mexico (2012)

    Google Scholar 

  5. Bregon, A., Biswas, G., Pulido, B.: A Decomposition Method for Nonlinear Parameter Estimation in TRANSCEND. IEEE Trans. Syst. Man, Cyber. Part A 42(3), 751–763 (2012)

    Article  Google Scholar 

  6. Bregon, A., Pulido, B., Biswas, G., Koutsoukos, X.: Generating Possible Conflicts from Bond Graphs Using Temporal Causal Graphs. In: Proc. of the 23rd European Conference on Modelling and Simulation, ECMS 2009, Madrid, Spain, pp. 675–682 (2009)

    Google Scholar 

  7. Cocquempot, V., El Mezyani, T., Staroswiecki, M.: Fault detection and isolation for hybrid systems using structured parity residuals. In: 5th Asian Control Conference, vol. 2, pp. 1204–1212 (July 2004)

    Google Scholar 

  8. Daigle, M.: A qualitative event-based approach to fault diagnosis of hybrid systems. Ph.D. Thesis, Graduate School of Vandebilt University, Nashville, TN (May 2008)

    Google Scholar 

  9. Dressler, O., Struss, P.: The consistency-based approach to automated diagnosis of devices. In: Brewka, G. (ed.) Principles of Knowledge Representation, pp. 269–314. CSLI Publications, Standford (1996)

    Google Scholar 

  10. Hofbaur, M., Williams, B.: Hybrid estimation of complex systems. IEEE Trans. on Sys., Man, and Cyber. Part B 34(5), 2178–2191 (2004)

    Article  Google Scholar 

  11. Karnopp, D., Margolis, D., Rosenberg, R.: System Dynamics: Modeling and Simulation of Mechatronic Systems. John Wiley & Sons, Inc., New York (2006)

    Google Scholar 

  12. Lunze, J.: Diagnosis of quantised systems by means of timed discrete-event representations. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 258–271. Springer, Heidelberg (2000), http://portal.acm.org/citation.cfm?id=646880.710475

    Chapter  Google Scholar 

  13. Mosterman, P., Biswas, G.: Diagnosis of continuous valued systems in transient operating regions. IEEE Trans. on Sys., Man, and Cyber. Part A 29(6), 554–565 (1999)

    Article  Google Scholar 

  14. Narasimhan, S., Biswas, G.: Model-Based Diagnosis of Hybrid Systems. IEEE Trans. on Sys., Man and Cyber., Part A 37(3), 348–361 (2007)

    Article  Google Scholar 

  15. Narasimhan, S., Brownston, L.: Hyde - a general framework for stochastic and hybrid model-based diagnosis. In: Proc. of the 18th Int. WS on Pples. of Diagnosis, DX07, Nashville, TN, USA, May 29-31 pp. 186–193 (2007)

    Google Scholar 

  16. Pulido, B., Alonso-González, C.: Possible Conflicts: a compilation technique for consistency-based diagnosis. IEEE Trans. on Sys., Man, and Cyber. Part B: Cybernetics 34(5), 2192–2206 (2004)

    Article  Google Scholar 

  17. Rienmüller, T., Bayoudh, M., Hofbaur, M., Travé-Massuyès, L.: Hybrid Estimation through Synergic Mode-Set Focusing. In: Proc. of the 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, SAFEPROCESS 2009, Barcelona, Spain, pp. 1480–1485 (2009)

    Google Scholar 

  18. Roychoudhury, I., Daigle, M., Biswas, G., Koutsoukos, X.: Efficient simulation of hybrid systems: A hybrid bond graph approach. SIMULATION: Transactions of the Society for Modeling and Simulation International (6), 467–498 (June 2011)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Moya Alonso, N., Bregon, A., Alonso-González, C.J., Pulido, B. (2013). A Common Framework for Fault Diagnosis of Parametric and Discrete Faults Using Possible Conflicts. In: Bielza, C., et al. Advances in Artificial Intelligence. CAEPIA 2013. Lecture Notes in Computer Science(), vol 8109. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40643-0_25

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-40643-0_25

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-40642-3

  • Online ISBN: 978-3-642-40643-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics