Abstract
This chapter primarily reviews methods for online monitoring, fault detection, and fault isolation of complex hybrid systems, such as automobiles [39], aircraft [13], and spacecraft [6, 12]. Hybrid systems mix continuous behaviors with discrete mode transitions that may be attributed to configuration changes in the system, or to simplifying assumptions, where complex nonlinearities are substituted by a sequence of simpler piecewise linear behaviors [33]. As a result, mathematical models that describe hybrid system behaviors are complex, and this makes the design of hybrid diagnosers a challenging task.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Ackerson, G., Fu, K.: On state estimation in switching environments. IEEE Trans. Autom. Control 15(1), 10–17 (1970)
Babaali, M., Egerstedt, M.: Observability of switched linear systems. In: International Workshop on Hybrid Systems: Computation and Control, pp. 48–63. Springer (2004)
Bayoudh, M., Travé-Massuyès, L., Olive, X.: Coupling continuous and discrete event system techniques for hybrid system diagnosability analysis. In: 18th European Conference on Artificial Intelligence, pp. 219–223, Amsterdam, The Netherlands (2008)
Bayoudh, M., Travé-Massuyès, L., Olive, X.: On-line analytic redundancy relations instantiation guided by component discrete-dynamics for a class of non-linear hybrid systems. In: 48th IEEE Conference on Decision and Control, Held Jointly with the 28th Chinese Control Conference (2009)
Bemporad, A., Morari, M.: Control of systems integrating logic, dynamics, and constraints. Automatica 35(3), 407–427 (1999)
Biswas, G., Khorasgani, H., Stanje, G., Dubey, A., Deb, S., Ghoshal, S.: An approach to mode and anomaly detection with spacecraft telemetry data. Int. J. Progn. Health Manag. (2016)
Biswas, G., Manders, E.J., Ramirez, J., Mahadevan, N., Abdelwahed, S.: Online model-based diagnosis to support autonomous operation of an advanced life support system. Habitat. Int. J. Hum. Support Res. 10(1), 21–38 (2004)
Biswas, G., Simon, G., Mahadevan, N., Narasimhan, S., Ramirez, J., Karsai, G., et al.: A robust method for hybrid diagnosis of complex systems. In: Proceedings of the 5th Symposium on Fault Detection, Supervision and Safety for Technical Processes, pp. 1125–1131, Washington D.C., USA (2003)
Bregon, A., Alonso, C., Biswas, G., Pulido, B., Moya, N.: Hybrid systems fault diagnosis with possible conflicts. In: Proceedings of the 22nd International Workshop on Principles of Diagnosis, pp. 195–202, Murnau, Germany (2011)
Cocquempot, V., El Mezyani, T., Staroswiecki, M.: Fault detection and isolation for hybrid systems using structured parity residuals. In: 5th Asian Control conference, 2004, vol. 2, pp. 1204–1212. IEEE (2004)
Cocquempot, V., Staroswieck, M., Mezyani, T.E.: Switching time estimation and fault detection for hybrid system using structured parity residuals. In: IFAC Conference Safeprocess, pp. 2045–2055, Washington D.C., USA (2003)
Daigle, M.J., Roychoudhury, I., Biswas, G., Koutsoukos, X.D., Patterson-Hine, A., Poll, S.: A comprehensive diagnosis methodology for complex hybrid systems: a case study on spacecraft power distribution systems. IEEE Trans. Syst. Man Cybern. Part A Syst. Hum. 5(40), 917–931 (2010)
Derler, P., Lee, E.A., Vincentelli, A.S.: Modeling cyber-physical systems. Proc. IEEE 100(1), 13–28 (2012)
Domlan, E.A., Ragot, J., Maquin, D.: Active mode estimation for switching systems. In: American Control Conference, 2007, ACC’07, pp. 1143–1148. IEEE (2007)
Flaugergues, V., Cocquempot, V., Bayart, M., Pengov, M.: Structural analysis for FDI: a modified, invertibility-based canonical decomposition. In: Proceedings of the 20th International Workshop on Principles of Diagnosis, DX09, pp. 59–66, Stockholm, Sweden (2009)
de Freitas, N., Dearden, R., Hutter, F., Morales-Menendez, R., Mutch, J., Poole, D.: Diagnosis by a waiter and a mars explorer. Proc. IEEE 92(3), 455–468 (2004). https://doi.org/10.1109/JPROC.2003.823157
Frisk, E., Bregon, A., Aslund, J., Krysander, M., Pulido, B., Biswas, G.: Diagnosability analysis considering causal interpretations for differential constraints. IEEE Trans. Syst. Man Cybern. Part A Syst. Hum. 42(5), 1216–1229 (2012)
Frisk, E., Krysander, M., Jung, D.: A toolbox for analysis and design of model based diagnosis systems for large scale models. In: IFAC World Congress, Toulouse, France (2017)
Hofbaur, M.W., Williams, B.C.: Hybrid estimation of complex systems. IEEE Trans. Syst. Man Cybern. Part B (Cybern.) 34(5), 2178–2191 (2004)
Hutter, F., Dearden, R.: Efficient on-line fault diagnosis for non-linear systems. In: Proceedings of the 7th International Symposium on Artificial Intelligence, Robotics and Automation in Space (2003)
Khorasgani, H., Biswas, G.: Structural fault detection and isolation in hybrid systems. IEEE Trans. Autom. Sci. Eng. 15(4), 1585–1599 (2018). https://doi.org/10.1109/TASE.2017.2749447
Khorasgani, H., Jung, D.E., Biswas, G., Frisk, E., Krysander, M.: Off-line robust residual selection using sensitivity analysis. In: International Workshop on Principles of Diagnosis (DX-14), Graz, Austria (2014)
Khorasgani, H., Jung, D.E., Biswas, G., Frisk, E., Krysander, M.: Robust residual selection for fault detection. In: IEEE 53rd Annual Conference on Decision and Control (CDC), pp. 5764–5769. IEEE, Los Angeles, CA (2014)
Korte, B., Vygen, B.K.: Combinatorial Optimization. Springer, Heidelberg (2002)
Krysander, M., Aslund, J., Nyberg, M.: An efficient algorithm for finding minimal overconstrained subsystems for model-based diagnosis. IEEE Trans. Syst. Man Cybern. Part A Syst. Hum. 38(1), 197–206 (2008)
Levy, R., Arogeti, S.A., Wang, D.: An integrated approach to mode tracking and diagnosis of hybrid systems. IEEE Trans. Ind. Electron. 61(4), 2024–2040 (2014)
Li, X.R., Bar-Shalom, Y.: Multiple-model estimation with variable structure. IEEE Trans. Autom. Control 41(4), 478–493 (1996)
Low, C.B.D.W., Arogeti, S., Zhang, J.B.: Causality assignment and model approximation for quantitative hybrid bond graph-based fault diagnosis. In: Proceedings of the 17th IFAC World Congress, vol. 41, pp. 10,522–10,527, Seoul, Korea (2008)
Low, C.B.D.W., Arogeti, S., Zhang, J.B.: Monitoring ability analysis and qualitative fault diagnosis using hybrid bond graph. In: Proceedings of the 17th IFAC World Congress, vol. 41, pp. 10,516–10,521, Seoul, Korea (2008)
Mazor, E., Averbuch, A., Bar-Shalom, Y., Dayan, J.: Interacting multiple model methods in target tracking: a survey. IEEE Trans. Aerosp. Electron. Syst. 34(1), 103–123 (1998)
de Mortain, F., Subias, A., Travé-Massuyès, L., de Flaugergues, V.: Towards active diagnosis of hybrid systems leveraging multimodel identification and a markov decision process. IFAC-PapersOnLine 48(21), 171–176 (2015)
Mosterman, P.J.: An overview of hybrid simulation phenomena and their support by simulation packages. In: International Workshop on Hybrid Systems: Computation and Control, pp. 165–177. Springer, Berg en Dal, The Netherlands (1999)
Mosterman, P.J., Biswas, G.: A theory of discontinuities in physical system models. J. Frankl. Inst. 335(3), 401–439 (1998)
Narasimhan, S., Biswas, G.: Model-based diagnosis of hybrid systems. IEEE Trans. Syst. Man Cybern. Part A 27(3), 348–361 (2007)
Narasimhan, S., Brownston, L.: HyDE-a general framework for stochastic and hybrid model based diagnosis. Proc. DX 7, 162–169 (2007)
Petzold, L.R., Ascher, U.M.: Computer methods for ordinary differential equations and differential-algebraic equations. SIAM (1998)
Pulido, B., González, C.A.: Possible conflicts: a compilation technique for consistency-based diagnosis. IEEE Trans. Syst. Man Cybern. Part B (Cybern.) 34(5), 2192–2206 (2004)
Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.C.: Failure diagnosis using discrete-event models. IEEE Trans. Control Syst. Technol. 4(2), 105–124 (1996)
Torrisi, F.D., Bemporad, A.: HYSDEL-a tool for generating computational hybrid models for analysis and synthesis problems. IEEE Trans. Control Syst. Technol. 12(2), 235–249 (2004)
Travé-Massuyes, L., Escobet, T., Olive, X.: Diagnosability analysis based on component-supported analytical redundancy relations. IEEE Trans. Syst. Man Cybern. Part A Syst. Hum. 36(6), 1146–1160 (2006)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Khorasgani, H., Biswas, G. (2019). Mode Detection and Fault Diagnosis in Hybrid Systems. In: Escobet, T., Bregon, A., Pulido, B., Puig, V. (eds) Fault Diagnosis of Dynamic Systems. Springer, Cham. https://doi.org/10.1007/978-3-030-17728-7_13
Download citation
DOI: https://doi.org/10.1007/978-3-030-17728-7_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-17727-0
Online ISBN: 978-3-030-17728-7
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)