Hierarchical interface-based supervisory control: serial case. - Ryan J. Leduc; Bertil A. Brandin; Walter Murray Wonham; Mark Lawford (CDC, 2001)

Hierarchical interface-based supervisory Control-part I: serial case. - Ryan J. Leduc; Bertil A. Brandin; Mark Lawford; Walter Murray Wonham (IEEE Trans. Autom. Control., 2005)

Erratum to "Hierarchical Interface-Based Supervisory Control - Part I: Serial Case". - Ryan J. Leduc; Bertil A. Brandin; Mark Lawford; Walter Murray Wonham (IEEE Trans. Autom. Control., 2005)

Hierarchical interface-based supervisory control-part II: parallel case. - Ryan J. Leduc; Mark Lawford; Walter Murray Wonham (IEEE Trans. Autom. Control., 2005)

Hierarchical interface-based supervisory control of a flexible manufacturing system. - Ryan J. Leduc; Mark Lawford; Pengcheng Dai (IEEE Trans. Control. Syst. Technol., 2006)

Synthesis Method for Hierarchical Interface-based Supervisory Control. - Ryan J. Leduc; Pengcheng Dai (ACC, 2007)

Hierarchical interface-based supervisory control with data events. - Ryan J. Leduc (Int. J. Control, 2009)

Synthesis Method for Hierarchical Interface-Based Supervisory Control. - Ryan J. Leduc; Pengcheng Dai; Raoguang Song (IEEE Trans. Autom. Control., 2009)

A compositional approach for verifying hierarchical interface-based supervisory control. - Ryan J. Leduc; Robi Malik (WODES, 2010)

Sampled-data supervisory control. - Ryan J. Leduc; Yu Wang 039 (WODES, 2010)

Hierarchical interface-based supervisory control using the conflict preorder. - Robi Malik; Ryan J. Leduc (WODES, 2012)

Sampled-data controller implementation. - Yu Wang 039; Ryan J. Leduc (Int. J. Control, 2012)

Compositional Nonblocking Verification Using Generalized Nonblocking Abstractions. - Robi Malik; Ryan J. Leduc (IEEE Trans. Autom. Control., 2013)

Incremental verification of Co-observability in discrete-event systems. - Huailiang Liu; Ryan J. Leduc; Robi Malik; S. Laurie Ricker (ACC, 2014)

Sampled-data supervisory control. - Ryan J. Leduc; Yu Wang 039; Fahim Ahmed (Discret. Event Dyn. Syst., 2014)

Fault tolerant controllability. - Simon Radel; Aos Mulahuwaish; Ryan J. Leduc (ACC, 2015)

Hierarchical Interface-Based decentralized Supervisory Control. - Huailiang Liu; Ryan J. Leduc; S. Laurie Ricker (CDC, 2015)

Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder. - Robi Malik; Ryan J. Leduc (Discret. Event Dyn. Syst., 2015)

Fault-tolerant supervisory control with permanent faults. - Aos Mulahuwaish; Ryan J. Leduc (Int. J. Control, 2023)