Control and filtering for semi-Markovian jump systems. ([2017])