Abstract
As engineering systems increase in complexity, it becomes more crucial to have automated fault diagnosis to ensure that system faults and failures can be quickly isolated and identified, and appropriate responses quickly executed. Complex systems are also increasingly hybrid, that is, they exhibit mixed discrete and continuous behavior. Faults in these system can manifest in both the continuous dynamics (e.g., as system parameter changes) and the discrete dynamics (e.g., as changes in component operational modes). In such systems, the complexity of fault diagnosis increases significantly. Due to the large number of possible system modes, and possible mode changes, including those that may occur during fault diagnosis, most available diagnosis approaches become prohibitively computationally expensive. This chapter develops a qualitative fault isolation framework for diagnosis of hybrid systems, based on the analysis of residual signals, and under bounded observation delay. Central to the approach is the concept of structural model decomposition, which essentially defines several smaller independent diagnosis problems that become more efficient to solve than the global system-level diagnosis problem. As a result, the developed methodology is efficient and scalable. The approach is applied to an electrical power system testbed, and simulation results demonstrate the efficacy of the approach and the computational advantages provided by structural model decomposition.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Here, we denote derivatives using dot notation.
- 2.
If algebraic loops exist, the algorithm will terminate before all constraints have been assigned a causality. Extending the algorithm to handle algebraic loops is similar to that for bond graphs; a constraint without a causality assignment is assigned one arbitrarily, and then effects of this assignment are propagated until nothing more is forced. This process repeats until all constraints have been assigned causality.
- 3.
Fault signatures will be defined formally in Sect. 8.4.
- 4.
Relaxation of this assumption has been explored for continuous systems in [25].
References
Narasimhan, S., & Biswas, G. (2007). Model-based diagnosis of hybrid systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, 37(3), 348–361.
Cocquempot, V., El Mezyani, T., & Staroswiecki, M. (2004). Fault detection and isolation for hybrid systems using structured parity residuals. In 5th Asian Control Conference (Vol. 2, pp. 1204–1212).
Sundström, C., Frisk, E., & Nielsen, L. (2014). Selecting and utilizing sequential residual generators in FDI applied to hybrid vehicles. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 44(2), 172–185.
Koutsoukos, X., Kurien, J., & Zhao, F. (2003). Estimation of distributed hybrid systems using particle filtering methods. In Hybrid Systems: Computation and Control (HSCC 2003). Lecture notes on computer science (pp. 298–313). Berlin: Springer.
Hofbaur, M. W., & Williams, B. C. (2004). Hybrid estimation of complex systems. IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, 34(5), 2178–2191.
Benazera, E., & Travé-Massuyès, L. (2009). Set-theoretic estimation of hybrid system configurations. IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, 39, 1277–1291.
Bayoudh, M., Travé-Massuyès, L., & Olive, X. (2008). Coupling continuous and discrete event system techniques for hybrid system diagnosability analysis. In 18th European Conference on Artificial Intelligence (pp. 219–223).
Bayoudh, M., Travé-Massuyès, L., & Olive, X. (2009). Diagnosis of a class of non linear hybrid systems by on-line instantiation of parameterized analytical redundancy relations. In 20th International Workshop on Principles of Diagnosis (pp. 283–289).
Mosterman, P. J., & Biswas, G. (1999). Diagnosis of continuous valued systems in transient operating regions. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, 29(6), 554–565.
Daigle, M. J., Koutsoukos, X., & Biswas, G. (2009). A qualitative event-based approach to continuous systems diagnosis. IEEE Transactions on Control Systems Technology, 17(4), 780–793.
Narasimhan, S., & Brownston, L. (2007). HyDE: A general framework for stochastic and hybrid model-based diagnosis. In Proceedings of the 18th International Workshop on Principles of Diagnosis (pp. 186–193).
Trave-Massuyes, L., & Pons, R. (1997). Causal ordering for multiple mode systems. In Proceedings of the Eleventh International Workshop on Qualitative Reasoning (pp. 203–214).
Roychoudhury, I., Daigle, M., Bregon, A., & Pulido, B. (2013). A structural model decomposition framework for systems health management. In Proceedings of the 2013 IEEE Aerospace Conference.
Daigle, M., Bregon, A., & Roychoudhury, I. (2015). A structural model decomposition framework for hybrid systems diagnosis. In Proceedings of the 26th International Workshop on Principles of Diagnosis, Paris, France.
Bregon, A., Daigle, M., & Roychoudhury, I. (2016). Qualitative fault isolation of hybrid systems: A structural model decomposition-based approach. In Third European Conference of the PHM Society 2016.
Daigle, M., Bregon, A., & Roychoudhury, I. (2016). A qualitative fault isolation approach for parametric and discrete faults using structural model decomposition. In Annual Conference of the Prognostics and Health Management Society 2016 (pp. 413–425).
Alonso, N. M., 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 Advances in artificial intelligence (pp. 239–249). Berlin: Springer.
Bregon, A., Narasimhan, S., Roychoudhury, I., Daigle, M., & Pulido, B. (2013). An efficient model-based diagnosis engine for hybrid systems using structural model decomposition. In Proceedings of the Annual Conference of the Prognostics and Health Management Society, 2013.
Daigle, M. (2008). A Qualitative Event-Based Approach to Fault Diagnosis of Hybrid Systems. PhD thesis, Vanderbilt University.
Daigle, M., Koutsoukos, X., & Biswas, G. (2010). An event-based approach to integrated parametric and discrete fault diagnosis in hybrid systems. Transactions of the Institute of Measurement and Control, 32(5), 487–510.
Poll, S., Patterson-Hine, A., Camisa, J., Garcia, D., Hall, D., Lee, C., et al. (2007). Advanced diagnostics and prognostics testbed. In Proceedings of the 18th International Workshop on Principles of Diagnosis (pp. 178–185).
Henzinger, T. A. (2000). The theory of hybrid automata. Berlin: Springer.
Mosterman, P. J., & Biswas, G. (2000). A comprehensive methodology for building hybrid models of physical systems. Artificial Intelligence, 121(1–2), 171–209.
Daigle, M., Roychoudhury, I., & Bregon A. (2015). Qualitative event-based diagnosis applied to a spacecraft electrical power distribution system. Control Engineering Practice, 38, 75–91.
Daigle, M., Roychoudhury, I., & Bregon, A. (2014). Qualitative event-based fault isolation under uncertain observations. In Annual Conference of the Prognostics and Health Management Society 2014 (pp. 347–355).
Kurtoglu, T., Narasimhan, S., Poll, S., Garcia, D., Kuhn, L., de Kleer, J., et al. (2009). First international diagnosis competition – DXC’09. In Proceedings of 20th International Workshop on Principles of Diagnosis (pp. 383–396).
Poll, S., de Kleer, J., Abreau, R., Daigle, M., Feldman, A., Garcia, D., et al. (2011). Third international diagnostics competition – DXC’11. In Proceedings of the 22nd International Workshop on Principles of Diagnosis (pp. 267–278).
Sweet, A., Feldman, A., Narasimhan, S., Daigle, M., & Poll, S. (2013). Fourth international diagnostic competition – DXC’13. In Proceedings of the 24th International Workshop on Principles of Diagnosis (pp. 224–229).
Bregon, A., Biswas, G., Pulido, B., Alonso-González, C., & Khorasgani, H. (2014). A common framework for compilation techniques applied to diagnosis of linear dynamic systems. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 44(7), 863–876.
Daigle, M., Bregon, A., Koutsoukos, X., Biswas, G., & Pulido, B. (2016). A qualitative event-based approach to multiple fault diagnosis in continuous systems using structural model decomposition. Engineering Applications of Artificial Intelligence, 53, 190–206.
Acknowledgements
Matthew Daigle and Indranil Roychoudhury’s work has been partially supported by the NASA SMART-NAS project in the Airspace Operations and Safety Program of the Aeronautics Mission Directorate. Anibal Begon’s work has been funded by the Spanish MINECO DPI2013-45414-R grant.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Daigle, M.J., Bregon, A., Roychoudhury, I. (2018). Diagnosis of Hybrid Systems Using Structural Model Decomposition. In: Sayed-Mouchaweh, M. (eds) Fault Diagnosis of Hybrid Dynamic and Complex Systems. Springer, Cham. https://doi.org/10.1007/978-3-319-74014-0_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-74014-0_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-74013-3
Online ISBN: 978-3-319-74014-0
eBook Packages: EngineeringEngineering (R0)