×

zbMATH — the first resource for mathematics

St-Denis, Richard

Compute Distance To:
Author ID: st-denis.richard Recent zbMATH articles by "St-Denis, Richard"
Published as: St-Denis, Richard; St.-Denis, Richard; St-Denis, R.
Documents Indexed: 13 Publications since 1995

Publications by Year

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
Towards a computer-aided design of reactive systems. Zbl 1023.93511
Frappier, Marc; St-Denis, Richard
1
2001
Synthesis of state feedback controllers for parameterized discrete event systems. Zbl 1108.93311
Bherer, Hans; Desharnais, Jules; Frappier, Marc; St-Denis, Richard
1
2004
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

Citations by Year