Effective control synthesis for DES under partial observations. - Hichem Lamouchi; John G. Thistle (CDC, 2000)