Diagnosis as Approximate Belief State Enumeration for Probabilistic Concurrent Constraint Automata

Book One

Volume

Proceedings of the AAAI Conference on Artificial Intelligence, 20

Automated Reasoning

As autonomous spacecraft and other robotic systems grow increasingly complex, there is a pressing need for capabilities that more accurately monitor and diagnose system state while maintaining reactivity. Mode estimation addresses this problem by reasoning over declarative models of the physical plant, represented as a factored variant of Hidden Markov Models (HMMs), called