Effective Control Synthesis for Partially Observed Discrete-Event Systems. - John G. Thistle; H. M. Lamouchi (SIAM J. Control. Optim., 2009)