Journal Papers

  1. M. Routhier and R. St-Denis. A qualitative assessment of αRby in the perspective of the supervisory control theory. International Journal on Sofware Tools for Technology Transfer, 21 (2), 2019, 121-141. doi
  2. B. Fraikin, M. Frappier, and R. St-Denis. Supervisory control theory with Alloy. Science of Computer Programming, 94 (2), 2014, 217-237. doi
  3. 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. doi
  4. 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. doi
  5. R. St-Denis. Designing reactive systems: integration of abstraction techniques into a synthesis procedure. Journal of Systems and Software, 60 (2), 2002, 103-112. doi
  6. M. Makungu, M. Barbeau, and R. St-Denis. Synthesis of controllers of processes modeled as colored Petri nets. Discrete Event Dynamic Systems: Theory and Applications, 9 (2), 1999, 147-169. doi
  7. M. Barbeau, F. Kabanza, and R. St-Denis. A method for the synthesis of controllers to handle safety, liveness, and real-time constraints. IEEE Transactions on Automatic Control, 43 (11), 1998, 1543-1559. doi
  8. M. Barbeau, F. Kabanza, and R. St-Denis. An efficient algorithm for controller synthesis under full observation. Journal of Algorithms, 25 (1), 1997, 144-161. doi
  9. M. Barbeau, G. Custeau, and R. St-Denis. An algorithm for computing the mask value of the supremal normal sublanguage of a legal language. IEEE Transactions on Automatic Control, 40 (4), 1995, 699-703. doi
  10. M. Barbeau, G. Custeau, and R. St-Denis. Requirements engineering and synthesis of a control system. Automatic Control Production Systems, 28 (1), 1994, 37-52.

Book Chapters

  1. M. Barbeau and R. St-Denis. Beyond the verification approach: the synthesis approach. Real-Time Systems: Modeling, Design and Applications, D. Ionescu and A. Cornell (Eds) Hackensack, New Jersey: World Scientific, 2007, AMAST Series in Computing, vol. 8, 197-218. doi
  2. H. Bherer, J. Desharnais, M. Frappier et R. St-Denis. Intégration d'une technique de vérification dans une procédure de synthèse de contrôleurs de systèmes paramétrés. Modélisation des systèmes réactifs (MSR 2003), D. Méry, N. Rezg, and X. Xie (Eds) Paris: Lavoisier, 2003, 553-566.

Lecture Notes in Computer Science

  1. B. Fraikin, M. Frappier, and R. St-Denis. Modeling the supervisory control theory with Alloy. Abstract State Machines, Alloy, B, VDM, and Z, Third International Conference, ABZ 2012, Pise, Italy, June, 2012, J. Derrick, J. Fitzgerald, S. Gnesi, S. Khurshid, M. Leuschel, S. Reeves, and E. Riccobene (Eds) Heidelberg: Springer, 2012, vol. 7316, 94-107. doi
  2. D. Côté, M. Embe Jiague, and R. St-Denis. Systems-theoretic view of component-based software development. Formal Aspects of Component Software, 7th International Workshop, FACS 2010, Guimarães, Portugal, October, 2010, L. S. Barbosa and M. Lumpe (Eds) Heidelberg: Springer, 2012, vol. 6921, 163-181. doi
  3. D. Côté, B. Fraikin, M. Frappier, and R. St-Denis. A SAT-based approach for the construction of reusable control system components. Formal Methods for Industrial Critical Systems, 16th International Workshop, FMICS 2011, Trento, Italy, August, 2011, G. Salaün and B. Schätz (Eds) Heidelberg: Springer, 2011, vol. 6959, 52-67. doi
  4. H. Bherer, J. Desharnais, M. Frappier, and R. St-Denis. Synthesis of state feedback controllers for parameterized discrete event systems. Automated Technology for Verification and Analysis, Second International Conference, ATVA 2004, Taipei, Taiwan, October/November 2004, F. Wang (Eds) Heidelberg: Springer, 2004, vol. 3299, 487-490. doi
  5. H. Bherer, J. Desharnais, M. Frappier, and R. St-Denis. Investigating discrete controllability with Kleene algebra. Relational and Kleene-Algebraic Methods in Computer Science, 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Appplications of Kleene Algebra, Bad Malenta, Germany, May, 2003, R. Berghammer, B. Möller, and G. Struth (Eds) Heidelberg: Springer, 2004, vol. 3051, 74-85. doi
  6. M. Frappier and R. St-Denis. Towards a computer-aided design of reactive systems. Computer Aided Systems Theory - EUROCAST 2001, 8th International Workshop om Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February, 2001, R. Morero-Díaz, B. Buchberger, and J. L. Freire (Eds) Heidelberg: Springer, 2001, vol. 2178, 421-436. doi

Conference Papers

  1. M. Barati and R. St-Denis. Behavior composition meets supervisory control. Proc. of 2015 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2015), Hong Kong, October, 2015, 115-120. doi
  2. M. Barati and R. St-Denis. Optimal control in a value-based automatic behavior composition framework. Proc. of the 7th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT 2015), Brno, Czech Republic, October, 2015, 1-7. doi
  3. D. Côté, M. Embe Jiague, and R. St-Denis. Systems-theoretic view of component-based software development. FACS 2010 Pre-Proceedings, Guimarães, Portugal, October, 2010, M. Lumpe and L. S. Barbosa (Eds) 65-82.
  4. M. Embe Jiague, B. Fraikin, and R. St-Denis. A reachability graph construction technique for supervisor synthesis with parameters. Proc. of the 35th Annual Conference of the IEEE Industrial Electronics Society (IECON'09), Porto, Portugal, November, 2009, 4333-4340. doi
  5. H. Bherer, J. Desharnais, and R. St-Denis. On the reachability and nonblocking properties for parameterized discrete event systems. Proc. of the 8th International Workshop on Discrete Event Systems (WODES'06), Ann Arbor, MI, July, 2006, 113-118. doi
  6. H. Bherer, J. Desharnais, and R. St-Denis. Parameterized discrete event systems under partial observation revisited. Proc. of the 8th IASTED International Conference on Control and Applications, Montréal, Canada, May, 2006, 273-280.
  7. H. Bherer, J. Desharnais, and R. St-Denis. Synthesis of state feedback controllers for parameterized discrete event systems under partial observation. Proc. of the 44th IEEE Conference on Decision and Control and European Control Conference 2005 (CDC-ECC'05), Sevilla, December, 2005, 3499-3506. doi
  8. D. Côté, R. St-Denis, and S. Kerjean. Generative programming for programmable logic controllers. Proc. of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2005), Catania, Italy, September, 2005, vol. II, 741-748. doi
  9. É. Lacroix and R. St-Denis. Web technologies in support of virtual manufacturing environment. Proc. of the 9th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2003), Lisbon, September, 2003, vol. II, 43-49. doi
  10. H. Bherer, J. Desharnais, M. Frappier, and R. St-Denis. Kleene algebra control. 7th International Seminar on Relational Methods in Computer Science (RelMiCS 7), Malente, Germany, May, 2003, oral presentation.
  11. C. Probst and R. St-Denis. Synthesizing controllers with abstract data types. Proc. of the 18th IASTED International Conference on Modelling, Identification, and Control, Innsbruck, February, 1999, 309-311.
  12. M. Barbeau, M. Frappier, F. Kabanza, and R. St-Denis. A supervisory control synthesis case study: The antenna control system. Proc. of 35th Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, September, 1997, 533-542.
  13. M. Makungu, R. St-Denis, and M. Barbeau. A colored Petri net-based approach to the design of controllers. Proc. of the 35th IEEE Conference on Decision and Control, Kobe, December, 1996, vol. VI, 4425-4432. doi
  14. M. Makungu, R. St-Denis, and M. Barbeau. A colored Petri net-based formal method for the design of control systems. Proc. of the 20th Annual International Computer Software and Applications Conference (COMPSAC'96), Seoul, August, 1996, 28-35. doi
  15. M. Makungu, M. Barbeau, and R. St-Denis. A supervisory control theoretical approach to congestion management. Proc. of the International Conference on Communication Technology (ICCT'96), Beijing, May, 1996, vol. II, 857-861. doi
  16. M. Barbeau, F. Kabanza, and R. St-Denis. Supervisory control synthesis from metric temporal logic specifications. Proc. of 33rd Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, October, 1995, 96-105.
  17. M. Barbeau, F. Kabanza, and R. St-Denis. A comparison of two synthesis methods for timed discrete-event systems. Proc. of Canadian Conference on Electrical and Computer Engineering, Montréal, September, 1995, vol. II, 809-812. doi
  18. M. Barbeau and R. St-Denis. Verification of discrete event systems with the SUCSEDES tool. Proc. of the AMAST workshop on Real-Time Systems and Opération inter-PRC "Modèles et preuves", Bordeaux, Juin, 1995, 9 pages.
  19. M. Makungu, M. Barbeau, and R. St-Denis. Synthesis of controllers with colored Petri nets. Proc. of 32nd Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, September, 1994, 709-718.
  20. J. M. Palmier, M. Makungu, F. E. Agapi, M. Barbeau, and R. St-Denis. An introduction to a synchronized Petri net based tool for the synthesis of supervisors of discrete event systems. Proc. of BMW'94 - Méthodes mathématiques pour la synthèse des systèmes informatiques, Bordeaux, Juin, 1994, 67-78.
  21. M. Barbeau, G. Custeau, and R. St-Denis. On the computation of normal languages. Proc. of 31st Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, September, 1993, 928-937.

Other contributions

  1. M. Barbeau, F. Kabanza, and R. St-Denis. A method for the automatic derivation of controllers handling real-time requirements. Proc. of the Workshop on Application of Formal Methods to System Development: Telecommunications, VLSI and Real-Time Computerized Control Systems, 9th International Scientific Exchanges, Montréal, Canada, October, 1996, 304-313.

Technical Reports

  1. M. Barbeau, F. Kabanza, and R. St-Denis. A Method for the Synthesis of Controllers to Handle Safety, Liveness, and Real-Time Constraints. Département de mathématiques et d'informatique, Université de Sherbrooke, Février, 1997, no. 196, 13 pages.
  2. M. Barbeau, F. Kabanza, and R. St-Denis. An Efficient Algorithm for Controller Synthesis under Full Observation. Département de mathématiques et d'informatique, Université de Sherbrooke, Décembre, 1995, no. 166, 21 pages.
  3. M. Barbeau, F. Kabanza, and R. St-Denis. Synthesizing Plant Controllers Using Real-time Goals. Département de mathématiques et d'informatique, Université de Sherbrooke, Février, 1995, no. 144, 15 pages.
  4. J.-M. Palmier, M. Makungu, F. E. Agapi, M. Barbeau, and R. St-Denis. An Introduction to a Synchronized Petri Net Based Tool for the Synthesis of Supervisors of Discrete Event Systems. Département de mathématiques et d'informatique, Université de Sherbrooke, Mars, 1994, no. 128, 12 pages.
  5. M. Barbeau, G. Custeau, and R. St-Denis. An Algorithm for Computing the Mask Value of the Supremal Normal Sublanguage of a Legal Language. Département de mathématiques et d'informatique, Université de Sherbrooke, Janvier, 1994, no. 125, 11 pages.
  6. M. Barbeau, G. Custeau, and R. St-Denis. An Algorithm for Computing the Projection of the Largest Recognizable Sublanguage of a Legal Language. Département de mathématiques et d'informatique, Université de Sherbrooke, Avril, 1993, no. 111, 11 pages.
  7. M. Barbeau, G. Custeau, and R. St-Denis. A Synthesis-based Solution to a Mine Drainage Control System Problem. Département de mathématiques et d'informatique, Université de Sherbrooke, Décembre, 1992, no. 106, 18 pages.