Makungu, Mbi; Barbeau, Michel; St.-Denis, Richard Synthesis of controllers of processes modeled as colored Petri nets. (English) Zbl 0952.93040 Discrete Event Dyn. Syst. 9, No. 2, 147-169 (1999). Reviewer: Thomas M.Liebling (Lausanne) MSC: 93B50 93C30 68Q85 93A13 PDFBibTeX XMLCite \textit{M. Makungu} et al., Discrete Event Dyn. Syst. 9, No. 2, 147--169 (1999; Zbl 0952.93040) Full Text: DOI
Barbeau, Michel; Kabanza, Froduald; St.-Denis, Richard A method for the synthesis of controllers to handle safety, liveness, and real-time constraints. (English) Zbl 0986.93040 IEEE Trans. Autom. Control 43, No. 11, 1543-1559 (1998). Reviewer: T.Riismaa (Tallinn) MSC: 93C65 93B50 93C83 68Q45 PDFBibTeX XMLCite \textit{M. Barbeau} et al., IEEE Trans. Autom. Control 43, No. 11, 1543--1559 (1998; Zbl 0986.93040) Full Text: DOI
Barbeau, Michel; Custeau, Guy; St-Denis, Richard An algorithm for computing the mask value of the supremal normal sublanguage of a legal language. (English) Zbl 0833.93006 IEEE Trans. Autom. Control 40, No. 4, 699-703 (1995). Reviewer: P.d’Alessandro (Roma) MSC: 93A13 93B40 93C30 PDFBibTeX XMLCite \textit{M. Barbeau} et al., IEEE Trans. Autom. Control 40, No. 4, 699--703 (1995; Zbl 0833.93006) Full Text: DOI