Abstract
Model-based diagnosis and mode estimation capabilities excel at diagnosing systems whose symptoms are clearly distinguished from normal behavior. A strength of mode estimation, in particular, is its ability to track a system’s discrete dynamics as it moves between different behavioral modes. However, often failures bury their symptoms amongst the signal noise, until their effects become catastrophic. p] We introduce a hybrid mode estimation system that extracts mode estimates from subtle symptoms. First, we introduce a modeling formalism, called concurrent probabilistic hybrid automata (cPHA), that merge hidden Markov models (HMM) with continuous dynamical system models. Second, we introduce hybrid estimation as a method for tracking and diagnosing cPHA, by unifying traditional continuous state observers with HMM belief update. Finally, we introduce a novel, any-time, any-space algorithm for computing approximate hybrid estimates.
Supported by NASA under contract NAG2-1388.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Williams, B., Nayak, P.: A model-based approach to reactive self-configuring systems. In: Proc. of the 13th Nat. Conf. on Artificial Intelligence (AAAI-96). (1996)
Anderson, B., Moore, J.: Optimal Filtering. Prentice Hall (1979)
Branicky, M.: Studies in Hybrid Systems: Modeling, Analysis, and Control. PhD thesis, Department of Electrical Engineering and Computer Science, MIT (1995)
Henzinger, T.: The theory of hybrid automata. In: Proc. of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS’ 96) (1996) 278–292
Hu, J., Lygeros, J., Sastry, S.: Towards a theory of stochastic hybrid systems. In Lynch, N., Krogh, B., eds.: Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, 1790. Springer (2000) 160–173
Nancy Lynch, Roberto Segala, F.V.: Hybrid I/O automata revisited. In M.D. Di Benedetto, A.S.V., ed.: Hybrid Systems: Computation and Control, HSCC 2001. Lecture Notes in Computer Science, 2034. Springer Verlag (2001) 403–417
Maybeck, P., Stevens, R.: Reconfigurable flight control via multiple model adaptive control methods. IEEE Transactions on Aerospace and Electronic Systems 27 (1991) 470–480
Bar-Shalom, Y., Li, X.: Estimation and Tracking. Artech House (1993)
Li, X., Bar-Shalom, Y.: Multiple-model estimation with variable structure. IEEE Transactions on Automatic Control 41 (1996) 478–493
McIlraith, S., Biswas, G., Clancy, D., Gupta, V.: Towards diagnosing hybrid systems. In: Proc. of the 10th Internat. Workshop on Principles of Diagnosis. (1999) 194–203
Narasimhan, S., Biswas, G.: Efficient diagnosis of hybrid systems using models of the supervisory controller. In: Proc. of the 12th Internat. Workshop on Principlesof Diagnosis. (2001) 127–134
Zhao, F., Koutsoukos, X., Haussecker, H., Reich, J., Cheung, P.: Distributed monitoringof hybrid systems: A model-directed approach. In: Proc. of the Internat. Joint Conf. on Artificial Intelligence (IJCAI’01). (2001) 557–564
Lerner, U., Parr, R., Koller, D., Biswas, G.: Bayesian fault detection and diagnosis in dynamic systems. In: Proc. of the 17th Nat. Conf. on Artificial Intelligence (AAAI’00). (2000)
McIlraith, S.: Diagnosing hybrid systems: a Bayseian model selection approach. In: Proc. of the 11th Internat. Workshop on Principles of Diagnosis. (2000) 140–146
Robert, C., Casella, G.: Monte Carlo Statistical Methods. Springer-Verlag (1999)
Hanlon, P., Maybeck, P.: Multiple-model adaptive estimation using a residual correlation Kalman filter bank. IEEE Transactions on Aerospace and Electronic Systems 36 (2000) 393–406
Williams, B., Millar, B.: Decompositional, model-based learning and its analogy to diagnosis. In: Proc. of the 15th Nat. Conf. on Artificial Intelligence (AAAI-98). (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hofbaur, M.W., Williams, B.C. (2002). Mode Estimation of Probabilistic Hybrid Systems. In: Tomlin, C.J., Greenstreet, M.R. (eds) Hybrid Systems: Computation and Control. HSCC 2002. Lecture Notes in Computer Science, vol 2289. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45873-5_21
Download citation
DOI: https://doi.org/10.1007/3-540-45873-5_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43321-7
Online ISBN: 978-3-540-45873-9
eBook Packages: Springer Book Archive