Richard St-Denis

Professeur titulaire

Page personnelle

Coordonnées

Courriel : Richard.St-Denis@USherbrooke.ca
Téléphone : 819 821-8000, poste 62847
Télécopieur : 819 821-8200
Local : D4-2005

Formation

M. Sc. Informatique, Université de Montréal (1977)
Ph. D. Sciences appliquées, École polytechnique de Montréal (1992)

Thèmes de recherche

Théorie des langages formels, systèmes réactifs, systèmes à événements discrets, synthèse de contrôleurs.

Recherches actuelles

  • Formalisation de modèles à base de composants logiciels à l'aide de théories de contrôle hiérarchique;
  • Développer des méthodes formelles de spécification de systèmes à événements discrets et de systèmes hybrides;
  • Concevoir des algorithmes de synthèse de contrôleurs de systèmes réactifs;
  • Définir des règles de transformation de contrôleurs abstraits en des contrôleurs concrets.

Publications

Autres publications

B. Fraikin, M. Frappier, and R. St-Denis. Supervisory control theory with Alloy. Science of Computer Programming, 94 (2), 2014, 217-237. 

D. Côté and R. St-Denis. Component-based method for the modeling and control of modular production systems. IEEE Transactions on Control Systems Technology, 21 (5), 2013, 1570-1585. 

H. Bherer, J. Desharnais, and R. St-Denis. Control of parameterized discrete event systems. Discrete Event Dynamic Systems: Theory and Applications, 19 (2), 2009, 213-265.