Ryan Leduc - McMaster Experts

conferences

Hierarchical Interface-Based decentralized Supervisory Control. Proceedings of the IEEE Conference on Decision and Control. 1693-1700. 2015
Fault tolerant controllability. Proceedings of the American Control Conference. 1603-1610. 2015
Incremental verification of Co-observability in discrete-event systems. Proceedings of the American Control Conference. 5446-5452. 2014
Sampled-data controller implementation. Proceedings of the American Control Conference. 5287-5293. 2012
Hierarchical Interface-Based Supervisory Control Using the Conflict Preorder. IFAC-PapersOnLine. 163-168. 2012
A Compositional Approach for Verifying Hierarchical Interface-Based Supervisory Control. IFAC-PapersOnLine. 104-110. 2010
A compositional approach for verifying Hierarchical Interface-based Supervisory Control. IFAC Proceedings Volumes (IFAC-PapersOnline). 104-110. 2010
Sampled-Data Supervisory Control. IFAC-PapersOnLine. 343-349. 2010
Sampled-data supervisory control. IFAC Proceedings Volumes (IFAC-PapersOnline). 343-349. 2010
A compositional approach for verifying generalised nonblocking. IEEE International Conference on Control and Automation, ICCA. 448-+. 2009
Generalised nonblocking. 2008 9th International Workshop on Discrete Event Systems. 340-345. 2008
Synthesis Method for Hierarchical Interface-based Supervisory Control. Proceedings of the American Control Conference. 4260-4267. 2007
Hierarchical interface-based supervisory control with data events. Proceedings of the IEEE Conference on Decision and Control. 1213-1220. 2007
Hierarchical interface-based supervisory control with data events. Proceedings of the IEEE Conference on Decision and Control. 5910-5917. 2007
Synthesis method for hierarchical interface-based supervisory control. Proceedings of the American Control Conference. 3387-3394. 2007
Symbolic Synthesis and Verification of Hierarchical Interface-based Supervisory Control. 2006 8th International Workshop on Discrete Event Systems. 419-+. 2006
Hierarchical interface-based supervisory control: Command-pair interfaces. Dynamics of Continuous, Discrete and Impulsive Systems Series B: Applications and Algorithms. 323-329. 2003
Hierarchical interface-based supervisory control: serial case. Proceedings of the IEEE Conference on Decision and Control. 4116-4121. 2001
Hierarchical interface-based non-blocking verification. Canadian Conference on Electrical and Computer Engineering. 1-6. 2000
Discrete event systems modeling and control of a manufacturing testbed. Canadian Conference on Electrical and Computer Engineering. 793-796. 1995

journal articles

Fault-tolerant supervisory control with permanent faults. International Journal of Control. 96:823-839. 2023
Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder. Discrete Event Dynamic Systems: Theory and Applications. 25:177-201. 2015
Sampled-data supervisory control. Discrete Event Dynamic Systems: Theory and Applications. 24:541-579. 2014
Compositional Nonblocking Verification Using Generalized Nonblocking Abstractions. IEEE Transactions on Automatic Control. 58:1891-1903. 2013
Sampled-data controller implementation. International Journal of Control. 85:1343-1360. 2012
Synthesis Method for Hierarchical Interface-Based Supervisory Control. IEEE Transactions on Automatic Control. 54:1548-1560. 2009
Hierarchical interface-based supervisory control with data events. International Journal of Control. 82:783-800. 2009
Hierarchical interface-based supervisory control of a flexible manufacturing system. IEEE Transactions on Control Systems Technology. 14:654-668. 2006
Erratum to “Hierarchical Interface-Based Supervisory Control—Part I: Serial Case”. IEEE Transactions on Automatic Control. 50:1916-1916. 2005
Hierarchical interface-based supervisory Control-part I: serial case. IEEE Transactions on Automatic Control. 50:1322-1335. 2005
Hierarchical interface-based supervisory control-part II: parallel case. IEEE Transactions on Automatic Control. 50:1336-1348. 2005

other

A compositional approach for verifying generalised nonblocking - IEEE Conference Publication

theses

Timed fault-tolerant supervisory control. International Robotics & Automation Journal. 2016

Affiliations

Scholarly Activity

selected scholarly activity

conferences

journal articles

other

theses

Teaching

teaching activities

Contact

full name

Ryan Leduc Associate Professor, Computing and Software

Scholarly Activity

selected scholarly activity

conferences

journal articles

other

theses

Teaching

teaching activities

Contact

full name

Ryan Leduc
Associate Professor, Computing and Software