Fault detection for linear discrete-time systems with output quantisation. Issue 10 (3rd October 2017)