Edit Profile (opens in new tab) St-Denis, Richard Co-Author Distance Author ID: st-denis.richard Published as: St-Denis, Richard; St.-Denis, Richard; St-Denis, R. more...less Documents Indexed: 13 Publications since 1995 Co-Authors: 13 Co-Authors with 13 Joint Publications 101 Co-Co-Authors all top 5 Co-Authors 0 single-authored 6 Barbeau, Michel 5 Frappier, Marc 4 Kabanza, Froduald 3 Bherer, Hans 3 Desharnais, Jules 1 Custeau, Guy 1 Diab, Hassan B. 1 Embe Jiague, Michel 1 Gervais, Frédéric 1 Kerjean, Sylvain 1 Laleau, Régine 1 Makungu, Mbi 1 Thiébaux, Sylvie Serials 2 IEEE Transactions on Automatic Control 2 Discrete Event Dynamic Systems 1 Artificial Intelligence 1 Journal of Algorithms Fields 9 Computer science (68-XX) 7 Systems theory; control (93-XX) 1 Difference and functional equations (39-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 8 Publications have been cited 20 times in 17 Documents Cited by ▼ Year ▼ Planning control rules for reactive agents. Zbl 0894.68138 Kabanza, F.; Barbeau, M.; St-Denis, R. 7 1997 A method for the synthesis of controllers to handle safety, liveness, and real-time constraints. Zbl 0986.93040 Barbeau, Michel; Kabanza, Froduald; St.-Denis, Richard 4 1998 Control of parameterized discrete event systems. Zbl 1169.93018 Bherer, Hans; Desharnais, Jules; St-Denis, Richard 3 2009 Synthesis of controllers of processes modeled as colored Petri nets. Zbl 0952.93040 Makungu, Mbi; Barbeau, Michel; St.-Denis, Richard 2 1999 An efficient algorithm for controller synthesis under full observation. Zbl 0888.68064 Barbeau, M.; Kabanza, F.; St-Denis, R. 1 1997 An algorithm for computing the mask value of the supremal normal sublanguage of a legal language. Zbl 0833.93006 Barbeau, Michel; Custeau, Guy; St-Denis, Richard 1 1995 Synthesis of state feedback controllers for parameterized discrete event systems. Zbl 1108.93311 Bherer, Hans; Desharnais, Jules; Frappier, Marc; St-Denis, Richard 1 2004 Towards a computer-aided design of reactive systems. Zbl 1023.93511 Frappier, Marc; St-Denis, Richard 1 2001 Control of parameterized discrete event systems. Zbl 1169.93018 Bherer, Hans; Desharnais, Jules; St-Denis, Richard 3 2009 Synthesis of state feedback controllers for parameterized discrete event systems. Zbl 1108.93311 Bherer, Hans; Desharnais, Jules; Frappier, Marc; St-Denis, Richard 1 2004 Towards a computer-aided design of reactive systems. Zbl 1023.93511 Frappier, Marc; St-Denis, Richard 1 2001 Synthesis of controllers of processes modeled as colored Petri nets. Zbl 0952.93040 Makungu, Mbi; Barbeau, Michel; St.-Denis, Richard 2 1999 A method for the synthesis of controllers to handle safety, liveness, and real-time constraints. Zbl 0986.93040 Barbeau, Michel; Kabanza, Froduald; St.-Denis, Richard 4 1998 Planning control rules for reactive agents. Zbl 0894.68138 Kabanza, F.; Barbeau, M.; St-Denis, R. 7 1997 An efficient algorithm for controller synthesis under full observation. Zbl 0888.68064 Barbeau, M.; Kabanza, F.; St-Denis, R. 1 1997 An algorithm for computing the mask value of the supremal normal sublanguage of a legal language. Zbl 0833.93006 Barbeau, Michel; Custeau, Guy; St-Denis, Richard 1 1995 all cited Publications top 5 cited Publications all top 5 Cited by 43 Authors 3 Traverso, Paolo 2 Cimatti, Alessandro 2 Kuter, Ugur 2 Nau, Dana 2 Pistore, Marco 2 Roveri, Marco 2 Wonham, W. Murray 1 Abid, Chiheb Ameur 1 Aiello, Marco 1 Alford, Ron 1 Baral, Chitta R. 1 Ben Hadj-Alouane, Nejib 1 Bertoli, Piergiorgio 1 Bherer, Hans 1 Bjäreland, Marcus 1 Bouyer, Patricia 1 Desharnais, Jules 1 Eiter, Thomas 1 Gan, Yongmei 1 Giordano, Laura 1 Goldman, Robert P. 1 Jiao, Ting 1 Kaldeli, Eirini 1 Khoumsi, Ahmed 1 Lafortune, Stéphane 1 Lazovik, Alexander 1 Lin, Feng 1 Lin, Liyong 1 Majumdar, Rupak 1 Markey, Nicolas 1 Martelli, Alberto 1 Moor, Thomas 1 Nakamura, Mutsumi 1 Schmuck, Anne-Kathrin 1 Seow, Kiam Tian 1 St-Denis, Richard 1 Ştefănescu, Alin 1 Su, Rong 1 Theseider Dupré, Daniele 1 Vester, Steen 1 Wang, Weilin 1 Xiao, Guochun 1 Zouari, Belhassen all top 5 Cited in 6 Serials 6 Artificial Intelligence 4 Discrete Event Dynamic Systems 3 International Journal of Control 2 Automatica 1 Information and Computation 1 Theory and Practice of Logic Programming all top 5 Cited in 6 Fields 9 Computer science (68-XX) 9 Systems theory; control (93-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Mathematical logic and foundations (03-XX) 1 Difference and functional equations (39-XX) 1 Numerical analysis (65-XX) Citations by Year