Elapsed-Time-Dependent Output Feedback Control of Semi-Markov Jump Linear Systems | IEEE Conference Publication | IEEE Xplore