Fault Detection of Discrete-Time Stochastic Systems Subject to Temporal Logic Correctness Requirements - Jun Chen; Kumar, Ratnesh (IEEE transactions on automation science and engineering, 2015)
Keywords: Automata; Automation; Bayes methods; Bayesian filtering; Control systems; Cyber-physical systems; cyberphysical systems; diagnosability; Discrete-time systems; Fault detection; Faults; Hybrid systems; linear-time temporal logic; Preserves; Probability distribution; stochastic hybrid systems; Stochastic models; Stochastic systems; Stochasticity; Temporal logic