On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals. - Hervé Marchand; Olivier Boivineau; Stéphane Lafortune (SIAM J. Control. Optim., 2000)

Optimal control of discrete event systems under partial observation. - Hervé Marchand; Olivier Boivineau; Stéphane Lafortune (CDC, 2001)

On optimal control of a class of partially observed discrete event systems. - Hervé Marchand; Olivier Boivineau; Stéphane Lafortune (Autom., 2002)