J. Douriet

Efficient Synthesis of a Class of Discrete-Event Controllers for Forced Actions

Arturo Sanchez, J. Douriet, 2004 .

A comparison of synthesis tools for supervisory controllers

J. Douriet, A. Sanchez, J. Reza, 2003, 2003 European Control Conference (ECC).