State estimation of probabilistic hybrid systems with particle filters

Robotic and embedded systems have become increasingly pervasive in every-day applications, ranging from space probes and life support systems to autonomous rovers. In order to act robustly in the physical world, robotic systems must handle the uncertainty and partial observability inherent in most real-world situations. A convenient modeling tool for many applications, including fault diagnosis and visual tracking, are probabilistic hybrid models. In probabilistic hybrid models, the hidden state is represented with discrete and continuous state variables that evolve probabilistically. The hidden state is observed indirectly, through noisy observations. A challenge is that real-world systems are non-linear, consist of a large collection of concurrently operating components, and exhibit autonomous mode transitions, that is, discrete state transitions that depend on the continuous dynamics. In this thesis, we introduce an efficient algorithm for hybrid state estimation that combines Rao-Blackwellised particle filtering with a Gaussian representation. Conceptually, our algorithm samples trajectories traced by the discrete variables over time and, for each trajectory, estimates the continuous state with a Kalman Filter. A key insight to handling the autonomous transitions is to reuse the continuous estimates in the importance sampling step. We extended the class of autonomous transitions that can be efficiently handled by Gaussian techniques and provide a detailed empirical evaluation of the algorithm on a dynamical system with four continuous state variables. Our results indicate that our algorithm is substantially more efficient than non-RaoBlackwellised approaches. Though not as good as a k-best filter in nominal scenarios, our algorithm outperforms a k-best filter when the correct diagnosis has too low a probability to be included in the leading set of trajectories. Through these accomplishments, the thesis lays ground work for a unifying stochastic search algorithm that shares the benefits of both methods. Thesis Supervisor: Brian C. Williams Title: Associate Professor

[1]  Brian C. Williams,et al.  Hybrid estimation of complex systems , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[2]  Leonid Peshkin,et al.  Factored Particles for Scalable Monitoring , 2002, UAI.

[3]  Nando de Freitas,et al.  Rao-Blackwellised Particle Filtering for Dynamic Bayesian Networks , 2000, UAI.

[4]  John Langford,et al.  Risk Sensitive Particle Filters , 2001, NIPS.

[5]  Jun S. Liu,et al.  Sequential Imputations and Bayesian Missing Data Problems , 1994 .

[6]  Michael W. Hofbaur,et al.  Hybrid Diagnosis with Unknown Behavioral Modes , 2002 .

[7]  Melvin Michael Henry,et al.  Model-based Estimation of Probabilistic Hybrid Automata , 2002 .

[8]  Rudolph van der Merwe,et al.  The unscented Kalman filter for nonlinear estimation , 2000, Proceedings of the IEEE 2000 Adaptive Systems for Signal Processing, Communications, and Control Symposium (Cat. No.00EX373).

[9]  D. Avitzour Stochastic simulation Bayesian approach to multitarget tracking , 1995 .

[10]  Gautam Biswas,et al.  Bayesian Fault Detection and Diagnosis in Dynamic Systems , 2000, AAAI/IAAI.

[11]  B. Anderson,et al.  Optimal Filtering , 1979, IEEE Transactions on Systems, Man, and Cybernetics.

[12]  Brian C. Williams,et al.  Mode Estimation of Probabilistic Hybrid Systems , 2002, HSCC.

[13]  Keiji Kanazawa,et al.  A model for reasoning about persistence and causation , 1989 .

[14]  Chang‐Jin Kim,et al.  Dynamic linear models with Markov-switching , 1994 .

[15]  Feng Zhao,et al.  Monitoring and Diagnosis of Hybrid Systems Using Particle Filtering Methods , 2002 .

[16]  Simon J. Godsill,et al.  On sequential simulation-based methods for Bayesian filtering , 1998 .

[17]  P. Pandurang Nayak,et al.  A Model-Based Approach to Reactive Self-Configuring Systems , 1996, AAAI/IAAI, Vol. 2.

[18]  Peter S. Maybeck,et al.  Multiple-model adaptive estimation using a residual correlation Kalman filter bank , 2000, IEEE Trans. Aerosp. Electron. Syst..

[19]  Hiromitsu Kumamoto,et al.  Random sampling approach to state estimation in switching environments , 1977, Autom..

[20]  G. Kitagawa Monte Carlo Filter and Smoother for Non-Gaussian Nonlinear State Space Models , 1996 .

[21]  Donald B. Rubin,et al.  Max-imum Likelihood from Incomplete Data , 1972 .

[22]  Uri Lerner,et al.  Hybrid Bayesian networks for reasoning about complex systems , 2002 .

[23]  Jitendra K. Tugnait,et al.  Detection and estimation for abruptly changing systems , 1981, 1981 20th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes.

[24]  T. Higuchi Monte carlo filter using the genetic algorithm operators , 1997 .

[25]  Brian C. Williams,et al.  Timed model-based programming: executable specifications for robust mission-critical sequences , 2003 .

[26]  B. Williams,et al.  Multi-Modal Particle Filtering for Hybrid Systems with Autonomous Mode Transitions , 2003 .

[27]  Timothy J. Robinson,et al.  Sequential Monte Carlo Methods in Practice , 2003 .

[28]  N. Gordon,et al.  Novel approach to nonlinear/non-Gaussian Bayesian state estimation , 1993 .

[29]  Jeffrey K. Uhlmann,et al.  New extension of the Kalman filter to nonlinear systems , 1997, Defense, Security, and Sensing.

[30]  Nancy A. Lynch,et al.  Hybrid I/O automata , 1995, Inf. Comput..

[31]  Y. Bar-Shalom,et al.  The interacting multiple model algorithm for systems with Markovian switching coefficients , 1988 .

[32]  Jun S. Liu,et al.  Sequential Monte Carlo methods for dynamic systems , 1997 .

[33]  H. Joe Approximations to Multivariate Normal Rectangle Probabilities Based on Conditional Expectations , 1995 .

[34]  N. de Freitas Rao-Blackwellised particle filtering for fault diagnosis , 2002, Proceedings, IEEE Aerospace Conference.

[35]  Peter Struss,et al.  Automated Qualitative Domain Abstraction , 2003, IJCAI.

[36]  D. Mayne,et al.  Monte Carlo techniques to estimate the conditional expectation in multi-stage non-linear filtering† , 1969 .

[37]  A. Genz,et al.  Numerical evaluation of singular multivariate normal distributions , 2000 .

[38]  K. Ito,et al.  On State Estimation in Switching Environments , 1970 .

[39]  Uri Lerner,et al.  Inference in Hybrid Networks: Theoretical Limits and Practical Algorithms , 2001, UAI.

[40]  J. E. Handschin Monte Carlo techniques for prediction and filtering of non-linear stochastic processes , 1970 .

[41]  J. Geweke,et al.  Bayesian Inference in Econometric Models Using Monte Carlo Integration , 1989 .

[42]  Jonathan C. McDowell Jupiter Icy Moons Orbiter , 2004 .

[43]  R. Shumway,et al.  Dynamic linear models with switching , 1991 .

[44]  Frank Hutter,et al.  The Gaussian Particle Filter for Diagnosis of Non-Linear Systems , 2003 .

[45]  Richard Dearden,et al.  Particle Filters for Real-Time Fault Detection in Planetary Rovers , 2001 .

[46]  Dan Crisan,et al.  Particle Filters - A Theoretical Perspective , 2001, Sequential Monte Carlo Methods in Practice.

[47]  G. Casella,et al.  Rao-Blackwellisation of sampling schemes , 1996 .

[48]  Nando de Freitas,et al.  The Unscented Particle Filter , 2000, NIPS.

[49]  Nando de Freitas,et al.  Real-Time Monitoring of Complex Industrial Processes with Particle Filters , 2002, NIPS.

[50]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[51]  Arnaud Doucet,et al.  Particle filters for state estimation of jump Markov linear systems , 2001, IEEE Trans. Signal Process..