A model for reasoning about persistence and causation
Computational Intelligence
Estimation with Applications to Tracking and Navigation
Estimation with Applications to Tracking and Navigation
On sequential Monte Carlo sampling methods for Bayesian filtering
Statistics and Computing
Inference in Hybrid Networks: Theoretical Limits and Practical Algorithms
UAI '01 Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence
Bayesian Fault Detection and Diagnosis in Dynamic Systems
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Convex Optimization
Object-oriented Bayesian networks
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
Model-driven data acquisition in sensor networks
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Set-theoretic estimation of hybrid system configurations
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Using Bayesian Networks in an Industrial Setting: Making Printing Systems Adaptive
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Decentralized sensor fusion with distributed particle filters
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Particle petri nets for aircraft procedure monitoring under uncertainty
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Runtime monitoring of stochastic cyber-physical systems with hybrid state
RV'11 Proceedings of the Second international conference on Runtime verification
Reasoning about continuous uncertainty in the situation calculus
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Bridging control and artificial intelligence theories for diagnosis: A survey
Engineering Applications of Artificial Intelligence
Hi-index | 0.00 |
The Reverse Water Gas Shift system (RWGS) is a complex physical system designed to produce oxygen from the carbon dioxide atmosphere on Mars. If sent to Mars, it would operate without human supervision, thus requiring a reliable automated system for monitoring and control. The RWGS presents many challenges typical of real-world systems, including: noisy and biased sensors, nonlinear behavior, effects that are manifested over different time granularities, and unobservability of many important quantities. In this paper we model the RWGS using a hybrid (discrete/continuous) Dynamic Bayesian Network (DBN), where the state at each time slice contains 33 discrete and 184 continuous variables. We show how the system state can be tracked using probabilistic inference over the model. We discuss how to deal with the various challenges presented by the RWGS, providing a suite of techniques that are likely to be useful in a wide range of applications. In particular, we describe a general framework for dealing with nonlinear behavior using numerical integration techniques, extending the successful Unscented Filter. We also show how to use a fixed-point computation to deal with effects that develop at different time scales, specifically rapid changes occurring during slowly changing processes. We test our model using real data collected from the RWGS, demonstrating the feasibility of hybrid DBNs for monitoring complex real-world physical systems.