Output-feedback control design of semi-Markovian jump systems with incomplete probability description | IEEE Conference Publication | IEEE Xplore