Logic control law design for automated manufacturing systems. - Henry, Sébastien; Zamaï, Eric; Jacomino, Mireille (Eng. Appl. Artif. Intell., 2012)