The LQ control problem, for Markovian jumps linear systems with horizon defined by stopping times | IEEE Conference Publication | IEEE Xplore