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