Observer-based sensor fault-tolerant control for semi-Markovian jump systems. (November 2016)