Jun Chen, Ratnesh Kumar. Fault Detection of Discrete-Time Stochastic Systems Subject to Temporal Logic Correctness Requirements. IEEE T. Automation Science and Engineering, 12(4):1369-1379, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.