Fault Detection of Discrete-Time Stochastic Systems Subject to Temporal Logic Correctness Requirements.
Jun ChenRatnesh KumarPublished in: IEEE Trans Autom. Sci. Eng. (2015)
Keyphrases
- temporal logic
- fault detection
- stochastic systems
- model checking
- industrial processes
- fault diagnosis
- modal logic
- stochastic models
- markov chain
- sample path
- finite state
- confidence intervals
- verification method
- power plant
- linear temporal logic
- markov processes
- belief revision
- optimal solution
- special case
- search algorithm