| Hierarchical interface-based supervisory control-part II: parallel case RJ Leduc, M Lawford, WM Wonham IEEE Transactions on Automatic Control 50 (9), 1336-1348, 2005 | 132 | 2005 |
| Hierarchical interface-based supervisory control-part I: serial case RJ Leduc, BA Brandin, M Lawford, WM Wonham IEEE Transactions on Automatic Control 50 (9), 1322-1335, 2005 | 96 | 2005 |
| Hierarchical interface-based supervisory control RJ Leduc PhD thesis, Department of Electrical and Computer Engineering, University of …, 2002 | 91 | 2002 |
| PLC implementation of a DES supervisor for a manufacturing testbed: an implementation perspective. RJ Leduc University of Toronto, 1996 | 84 | 1996 |
| Hierarchical interface-based supervisory control of a flexible manufacturing system RJ Leduc, M Lawford, P Dai IEEE Transactions on Control Systems Technology 14 (4), 654-668, 2006 | 66 | 2006 |
| Symbolic synthesis and verification of hierarchical interface-based supervisory control R Song, RJ Leduc 2006 8th International Workshop on Discrete Event Systems, 419-426, 2006 | 50 | 2006 |
| Hierarchical interface-based supervisory control: Serial case RJ Leduc, BA Brandin, WM Wonham, M Lawford Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No …, 2001 | 46 | 2001 |
| Synthesis method for hierarchical interface-based supervisory control RJ Leduc, P Dai, R Song IEEE Transactions on Automatic Control 54 (7), 1548-1560, 2009 | 44 | 2009 |
| PLC implementation of a DES supervisor for a manufacturing testbed RJ Leduc, WM Wonham PROCEEDINGS OF THE ANNUAL ALLERTON CONFERENCE ON COMMUNICATION CONTROL AND …, 1995 | 32 | 1995 |
| Discrete event systems modeling and control of a manufacturing testbed RJ Leduc, WM Wonham Proceedings 1995 Canadian Conference on Electrical and Computer Engineering …, 1995 | 30 | 1995 |
| Hierarchical interface-based supervisory control: Parallel case RJ Leduc, WM Wonham, M Lawford PROCEEDINGS OF THE ANNUAL ALLERTON CONFERENCE ON COMMUNICATION CONTROL AND …, 2001 | 27 | 2001 |
| Hierarchical interface-based supervisory control: AIP example RJ Leduc, M Lawford, WM Wonham PROCEEDINGS OF THE ANNUAL ALLERTON CONFERENCE ON COMMUNICATION CONTROL AND …, 2001 | 27 | 2001 |
| Hierarchical interface-based non-blocking verification RJ Leduc, BA Brandin, WM Wonham 2000 Canadian Conference on Electrical and Computer Engineering. Conference …, 2000 | 27 | 2000 |
| Generalised nonblocking R Malik, R Leduc 2008 9th International Workshop on Discrete Event Systems, 340-345, 2008 | 19 | 2008 |
| Compositional nonblocking verification using generalized nonblocking abstractions R Malik, R Leduc IEEE Transactions on Automatic Control 58 (8), 1891-1903, 2013 | 18 | 2013 |
| Hierarchical interface-based supervisory control with data events RJ Leduc International journal of control 82 (5), 783-800, 2009 | 16 | 2009 |
| PLC Implementation of a DES Supervisor for a Manufacturing Testbed: An Implementation Perspective. MA Sc RJ Leduc Thesis, Dept. of Electl. & Cmptr. Engrg., Univ. of Toronto, 1996 | 11 | 1996 |
| A compositional approach for verifying generalised nonblocking R Malik, R Leduc 2009 IEEE International Conference on Control and Automation, 448-453, 2009 | 10 | 2009 |
| Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder R Malik, R Leduc Discrete Event Dynamic Systems 25, 177-201, 2015 | 9 | 2015 |
| Sampled-data supervisory control RJ Leduc, Y Wang, F Ahmed Discrete Event Dynamic Systems 24, 541-579, 2014 | 9 | 2014 |
Mark LawfordMcMaster UniversityVerified email at mcmaster.ca
