Barbeau, Michel; St-Denis, Richard Beyond the verification approach: the synthesis approach. (English) Zbl 1123.68067 Ionescu, Dan (ed.) et al., Real-time-systems. Modeling, design and applications. Selected papers based on the presentations at the AMAST workshops. Hackensack, NJ: World Scientific (ISBN 981-02-4424-X/hbk). AMAST Series in Computing 8, 197-218 (2007). MSC: 68Q60 68N30 PDFBibTeX XMLCite \textit{M. Barbeau} and \textit{R. St-Denis}, AMAST Ser. Comput. 8, 197--218 (2007; Zbl 1123.68067)
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
Kabanza, F.; Barbeau, M.; St-Denis, R. Planning control rules for reactive agents. (English) Zbl 0894.68138 Artif. Intell. 95, No. 1, 67-113 (1997). MSC: 68T20 PDFBibTeX XMLCite \textit{F. Kabanza} et al., Artif. Intell. 95, No. 1, 67--113 (1997; Zbl 0894.68138) Full Text: DOI
Barbeau, M.; Kabanza, F.; St-Denis, R. An efficient algorithm for controller synthesis under full observation. (English) Zbl 0888.68064 J. Algorithms 25, No. 1, 144-161 (1997). MSC: 68W10 PDFBibTeX XMLCite \textit{M. Barbeau} et al., J. Algorithms 25, No. 1, 144--161 (1997; Zbl 0888.68064) 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