Journal Papers Aos Mulahuwaish and Ryan J. Leduc,
"Fault-Tolerant Supervisory Control
with Permanent Faults," International Journal of Control, Dec, 2021. DOI: 10.1080/00207179.2021.2015626. [Online Access].
Robi Malik and Ryan Leduc,
"Hierarchical Modelling of Manufacturing Systems Using Discrete Event Systems and the Conflict Preorder," Journal of Discrete Event Dynamic Systems, vol 25, no. 1-2, pp. 177-201, June, 2015. Online publication May, 2014, DOI: 10.1007/s10626-014-0185-7. [Online Access].
Ryan J. Leduc, Yu Wang, and Fahim Ahmed,
"Sampled-Data Supervisory Control," Discrete Event Dynamic Systems,
vol. 24, no. 4, pp. 541 - 579, Dec, 2014.
Online publication November, 2013, DOI:
10.1007/s10626-013-0172-4, [Online Access]. NOTE: This paper should be read before the "Sampled-Data Controller Implementation" paper.
R. Malik, and R.J. Leduc,
"Compositional Nonblocking Verification Using Generalised Nonblocking Abstractions," IEEE Trans. on Automatic Control, vol 58, no 8, pp. 1-13, Aug. 2013. [Online Access].
Yu Wang and R.J. Leduc,
" Sampled-Data Controller Implementation,"
International Journal of Control, vol. 85, no. 9, pp. 1343 - 1360, Sept, 2012. [Online Access].
R.J. Leduc, P. Dai, and R. Song,
"Synthesis Method for Hierarchical Interface-Based Supervisory Control,"
IEEE Trans. on Automatic Control, vol 54, no 7, pp. 1548-1560, Jul. 2009. [Online Access] See also Software Quality Research Laboratory Technical report
No. 46.
R.J. Leduc,
"Hierarchical Interface-Based Supervisory Control with Data Events,"
International Journal of Control, vol. 82, no. 5, pp. 783 - 800, May, 2009. [Online Access]. See also Software Quality Research Laboratory Technical report
No. 44.
R.J. Leduc, M. Lawford, and P. Dai,
"Hierarchical Interface-Based Supervisory Control of Flexible Manufacturing
System," IEEE Trans. on Control Systems Technology, vol. 14, no. 4, pp. 654-668, Jul. 2006. [Online Access]. See also Software Quality Research Laboratory Technical report
No. 32.
Ryan J. Leduc, Bertil A. Brandin, Mark Lawford, and W.M. Wonham, "Hierarchical Interface-Based Supervisory Control-Part I:
Serial Case," IEEE Trans. on Automatic Control, vol 50, no 9,
pp. 1322-1335, Sep. 2005. [Online Access]. See also Software Quality Research Laboratory
Technical report No. 12.
Ryan J. Leduc, Mark Lawford, and W.M.
Wonham, "Hierarchical Interface-Based Supervisory Control-Part II: Parallel Case," IEEE Trans. on Automatic Control, vol 50, no 9,
pp. 1336-1348, Sep. 2005. [Online Access]. See also Software Quality Research Laboratory
Technical report No. 13.
Conference Papers Huailiang Liu, Ryan J. Leduc, and S. L. Ricker. Hierarchical Interface-Based Decentralized Supervisory Control. Proc. of 54th IEEE Conf. on Decision and Control, pages 1693-1700, Osaka, Japan, Dec., 2015. Click here to download PDF copy: HIDSC-CDC2015.pdf (410KB).
Simon Radel, Aos Mulahuwaish, and Ryan J. Leduc. Fault Tolerant Controllability. Proc. of 2015 American Control Conference, pages 1603-1610, Chicago, USA, July 2015. Click here to download PDF copy: RadelMulahLeduc2015.pdf (227KB).
Huailiang Liu, Ryan J. Leduc, Robi Malik and S. L. Ricker. Incremental Verification of Co-Observability in Discrete-Event Systems. Proc. of 2014 American Control Conference, pages 5446-5452, Portland, USA, June 2014. Click here to download PDF copy: acc2014FinalVersion.pdf (365KB).
Robi Malik, Ryan Leduc. Hierarchical Interface-Based Supervisory Control using the conflict preorder. Proc. 11th International Workshop on Discrete Event Systems (WODES'12), pages 163-168, Guadalajara, Mexico, 3-5 October 2012. Click here to download PDF copy: hiscMC.pdf (143KB).
Wang YU and Ryan J. Leduc. Sampled-Data Controller Implementation. Proc. of 2012 American Control Conference, pages 5287-5293, Montreal, Canada, June, 2012. Click here to download PDF copy: sdContFSMACC2012.pdf (483KB).
Ryan Leduc and Yu Wang. Sampled-Data Supervisory Control. Proc. 10th International Workshop on Discrete Event Systems (WODES'10), pages 353-359, Berlin, Germany, Aug 2010. Click here to download PDF copy: sdContwodes2010.pdf (253KB).
Ryan Leduc and Robi Malik. A Compositional Approach for Verifying Hierarchical Interface-Based Supervisory Control. Proc. 10th International Workshop on Discrete Event Systems (WODES'10), pages 114-120, Berlin, Germany, Aug 2010. Click here to download PDF copy: wodes2010HISCcv.pdf (179KB).
Robi Malik, Ryan Leduc.
A Compositional Approach for Verifying Generalised Nonblocking. In Proc. 7th IEEE International Conference on Control and Automation (ICCA'09), pp. 448-453, Christchurch, New Zealand, Dec. 2009. Click here to download PDF copy: icca2009.pdf (108KB).
Robi Malik, Ryan Leduc. Generalised Nonblocking. Proc. 9th International Workshop on Discrete Event Systems (WODES'08), pages 340-345, Gothenburg, Sweden, May 2008. Click here to download PDF copy: wodes2008gennb.pdf (114KB).
R.J. Leduc. Hierarchical Interface-Based Supervisory Control with Data Events. Proc. of 46th IEEE Conf. on Decision and Control, pages 5910-5917, New Orleans, USA, Dec., 2007. Click here to download PDF copy: HISCLdataECDC.pdf (307KB).
Ryan J. Leduc and Pengcheng Dai. Synthesis Method for Hierarchical Interface-based Supervisory Control. Proc. of 26th American Control Conference, pages 4260-4267, New York City, USA, July, 2007. Click here to download PDF copy: daiACC07.pdf (285KB).
Raoguang Song and Ryan J. Leduc. Symbolic
Synthesis and Verification of Hierarchical Interface-Based Supervisory
Control. Proc. of 8th International Workshop on
Discrete Event Systems, pages 419-426, Ann Arbor, USA, July, 2006. Click here to download PDF copy: SLwodes06.pdf (277KB).
R.J. Leduc. Hierarchical Interface-based Supervisory Control: Command-pair Interfaces. In Proc. of the Third International DCDIS Conference on
Engineering Applications and Computational Algorithms, pp. 323-329, Guelph, Ontario, Canada, May 15-18,
2003. Click here to download PDF copy: dcdis2002.pdf (671KB). Click here to download longer version: dcdis2002Long.pdf (1.2MB).
R.J. Leduc, M. Lawford, and
W.M. Wonham. Hierarchical Interface-based Supervisory Control: AIP
Example. In Proc. of the 39th Allerton Conf. on Comm., Contr.,
and Comp., pp. 396-405, October 3-5, 2001. Click here to download zipped postscript copy PCaseAIPEg.ps.zip (500KB) or PDF copy PCaseAIPEg.pdf (650KB).
R.J. Leduc, W.M. Wonham, and
M. Lawford. Hierarchical Interface-based Supervisory Control: Parallel
Case. In Proc. of the 39th Allerton Conf. on Comm., Contr., and
Comp., pp. 386-395, October 3-5,
2001. Click here to download zipped postscript copy PCase.ps.zip (365KB) or PDF copy PCase.pdf (430KB).
R.J. Leduc, B.A. Brandin, W.M. Wonham, and M. Lawford. Hierarchical
Interface-based Supervisory Control: Serial Case. In Proc. of
the 40th Conf. Decision Contr., pp. 4116-4121, Orlando, USA,
Dec. 4-7, 2001.
Click here to download zipped postscript copy
cdc2001.ps.zip (464KB) or PDF copy
cdc2001.pdf (645KB).
R.J. Leduc, B.A. Brandin, and W.M. Wonham. Hierarchical Interface-Based Non-blocking Verification. In Proceedings of Canadian Conference on
Electrical and Computer Engineering, pp. 1-6, May 7, 2000. Click here to download zipped postscript copy
can2000.ps.zip (186KB) or PDF copy
can2000.pdf (426KB).
R.J. Leduc and W.M. Wonham. PLC Implementation of a DES Supervisor for
a Manufacturing Testbed. In Proc. of Thirty-third Annual Allerton Conference on Communication, Control, and Computing, pp. 519-528, Oct 4-6, 1995. Click here to download zipped postscript copy
allt95.ps.zip (91KB) or PDF copy
allt95.pdf (193KB).
R.J. Leduc and W.M. Wonham. Discrete Event Systems Modeling and
Control of a Manufacturing Testbed. In Proc. of Canadian Conference on
Electrical and Computer Engineering, Vol. II, pp. 793-796. Sept. 5-8, 1995. Click here to download zipped postscript copy
can95.ps.zip (65KB) or PDF copy
can95.pdf (157KB).
Technical Reports Hina Mahmood, and Ryan J. Leduc. Automatic Disablement of tick Event in Sampled-Data Supervisory Control, Computing and Software Technical Report CAS-23-07-RL, Department of Computing and Software, McMaster University, July 2023. [Online Access]
Aos Mulahuwaish, Simon Radel, Oriane Dierikx, Amal Alsuwaidan, and Ryan J. Leduc. Fault Tolerant Controllability and Nonblocking, Computing and Software Technical Report CAS-15-12-RL, Department of Computing and Software, McMaster University, December 2015. [Online Access]
Huailiang Liu, Ryan J. Leduc, and S. L. Ricker. Decentralized Control Using the Hierarchical Interface-based
Supervisory Control Approach, Computing and Software Technical Report CAS-14-10-RL, Department of Computing and Software, McMaster University, December 2014. [Online Access] Update version 1.1 available here.
Huailiang Liu, Ryan J. Leduc, Robi Malik, and S. L. Ricker. Verifying Co-observability in Discrete-event Systems using
an Incremental Approach, Computing and Software Technical Report CAS-13-06-RL, Department of Computing and Software, McMaster University, November 2013. [Online Access]
Robi Malik, Ryan Leduc. Seven abstraction rules preserving generalised nonblocking, Working paper series, No. 07/2009; Department of Computer Science, University of Waikato, Hamilton, New Zealand, 2009. [Online Access]
R.J. Leduc,
P. Dai, and R. Song. Synthesis Method for Hierarchical
Interface-Based Supervisory Control. Technical Report No. 46,
Software Quality Research Laboratory, Dept. of Computing and Software,
McMaster University, Hamilton, ON, Aug 2007. Click here for abstract and to download a copy.
R.J. Leduc. Hierarchical Interface-Based Supervisory Control with Data Events. Technical Report No. 44, Software Quality Research Laboratory, Dept. of Computing and Software, McMaster University, Hamilton, ON, July 2007. Click here for abstract and to download a copy.
R.J. Leduc, M. Lawford, and P. Dai. Hierarchical Interface-based Supervisory Control of Flexible Manufacturing System. Technical Report No. 32, Software Quality Research Laboratory, Dept. of Computing and Software, McMaster University, Hamilton, ON, December 2005. Click here for abstract and to download a copy.
R.J. Leduc, M. Lawford, and
W.M. Wonham. Hierarchical Interface-based Supervisory Control Part II:
Parallel Case. Technical Report No. 13, Software Quality Research
Laboratory, Dept. of Computing and Software, McMaster
University, Hamilton, ON, Aug 2003.
Click here for abstract and to download a copy.
R.J. Leduc, B.A. Brandin, M. Lawford, and
W.M. Wonham. Hierarchical Interface-based Supervisory Control Part I:
Serial Case. Technical Report No. 12, Software Quality Research Laboratory, Dept. of Computing and Software, McMaster
University, Hamilton, ON, Aug 2003. Aug 18, 2003.
Click here for abstract and to download a copy.
R.J. Leduc, M. Lawford, and
W.M. Wonham. Hierarchical Interface-based Supervisory Control:
AIP Example for Parallel Case. Technical Report No. 2, Software Quality Research Laboratory, Dept. of Computing and Software, McMaster
University, Hamilton, ON, Nov 2001. Click here for abstract and to download a copy.
R.J. Leduc, W.M. Wonham, and
M. Lawford. Hierarchical Interface-based Supervisory Control: Bi-level
Systems. Technical Report No. 0103, Systems Control Group, University of Toronto,
Toronto, ON, Canada, Nov 2001. Click here for abstract and to download a copy. NOTE: this report has been long since superseded by my doctoral thesis.
Theses
R.J. Leduc. Hierarchical Interface-based Supervisory Control. Doctoral Thesis, Dept. of Elec.
& Comp. Engrg., Univ. of Toronto, 2002. Click here for abstract and to download a copy.
R.J. Leduc. PLC Implementation of a DES Supervisor for a Manufacturing
Testbed: An Implementation Perspective. M.A.Sc. Thesis, Dept. of Elec.
& Comp. Engrg., Univ. of Toronto, January 1996.
Click here for abstract and to download copy of thesis.
Student Theses Aos Mulahuwaish, Fault-Tolerant Supervisory Control, Phd Thesis, Dept. of Computing and Software, McMaster University, May. 2019. Click here for abstract and to download copy of thesis (PDF: 1.6MB).
Amal Alsuwaidan, Timed Fault Tolerant Supervisory Control, M.A.Sc. Thesis, Dept. of Computing and Software, McMaster University, April 2016. Click here for abstract and to download copy of thesis (PDF: 2.6MB).
Huailiang Liu, Hierarchical Interface-Based Decentralized Supervisory Control, Phd Thesis, Dept. of Computing and Software, McMaster University, Dec. 2015. Click here for abstract and to download copy of thesis (PDF: 1.2MB).
Abubaker Hamid, Implementation of Sampled-data Supervisory Control, M.Sc. Thesis, Dept. of Computing and Software, McMaster University, June 2014. Click
here for abstract and to download copy of thesis (PDF: 1.4MB).
Urvashi Agarwal, Symbolic Decentralized Supervisory Control, M.Sc. Thesis, Dept. of Computing and Software, McMaster University, March 2014. Click here for abstract and to download copy of thesis (PDF: 1.0MB).
Mahvash Baloch, A Compositional Approach for Verifying Sampled-Data Supervisory Control, M.Sc. Thesis, Dept. of Computing and Software, McMaster University, March 2012. Click
here for abstract and to download copy of thesis (PDF: 760kB).
Mohammad Alam, Rpen - a New 3D Pointing Device, M.Sc. Thesis, Dept. of Computing and Software, McMaster University, Oct. 2009. Click
here for abstract and to download copy of thesis (PDF: 3.6MB).
Yu Wang, Sampled-data Supervisory Control, M.A.Sc. Thesis, Dept. of Computing and Software, McMaster University, January 2009. Click
here for abstract and to download copy of thesis (PDF: 1.9MB).
Pengcheng Dai, Synthesis Method for Hierarchical Interface-based Supervisory Control, M.A.Sc. Thesis, Dept. of Computing and Software, McMaster University, April 2006. Click
here for abstract and to download copy of thesis (PDF: 1.5MB).
Raoguang Song, Symbolic Synthesis and Verification of Hierarchical Interface-based Supervisory Control, M.A.Sc. Thesis, Dept. of Computing and Software, McMaster University, March 2006. Click
here for abstract and to download copy of thesis (PDF: 2.6MB).
|