Ryan J. Leduc

According to our database, Ryan J. Leduc authored at least 19 papers between 2001 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Fault-tolerant supervisory control with permanent faults.

Aos Mulahuwaish, Ryan J. Leduc

Int. J. Control, April, 2023

2015

Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder.

Robi Malik, Ryan J. Leduc

Discret. Event Dyn. Syst., 2015

Hierarchical Interface-Based decentralized Supervisory Control.

Huailiang Liu, Ryan J. Leduc, S. Laurie Ricker

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Fault tolerant controllability.

Simon Radel, Aos Mulahuwaish, Ryan J. Leduc

Proceedings of the American Control Conference, 2015

2014

Sampled-data supervisory control.

Ryan J. Leduc, Yu Wang, Fahim Ahmed

Discret. Event Dyn. Syst., 2014

Incremental verification of Co-observability in discrete-event systems.

Huailiang Liu, Ryan J. Leduc, Robi Malik, S. Laurie Ricker

Proceedings of the American Control Conference, 2014

2013

Compositional Nonblocking Verification Using Generalized Nonblocking Abstractions.

Robi Malik, Ryan J. Leduc

IEEE Trans. Autom. Control., 2013

2012

Sampled-data controller implementation.

Yu Wang, Ryan J. Leduc

Int. J. Control, 2012

Hierarchical interface-based supervisory control using the conflict preorder.

Robi Malik, Ryan J. Leduc

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

2010

Sampled-data supervisory control.

Ryan J. Leduc, Yu Wang

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

A compositional approach for verifying hierarchical interface-based supervisory control.

Ryan J. Leduc, Robi Malik

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

2009

Synthesis Method for Hierarchical Interface-Based Supervisory Control.

Ryan J. Leduc, Pengcheng Dai, Raoguang Song

IEEE Trans. Autom. Control., 2009

Hierarchical interface-based supervisory control with data events.

Ryan J. Leduc

Int. J. Control, 2009

2007

Synthesis Method for Hierarchical Interface-based Supervisory Control.

Ryan J. Leduc, Pengcheng Dai

Proceedings of the American Control Conference, 2007

2006

Hierarchical interface-based supervisory control of a flexible manufacturing system.

Ryan J. Leduc, Mark Lawford, Pengcheng Dai

IEEE Trans. Control. Syst. Technol., 2006

2005

Hierarchical interface-based supervisory control-part II: parallel case.

Ryan J. Leduc, 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 I: serial case.

Ryan J. Leduc, Bertil A. Brandin, Mark Lawford, Walter Murray Wonham

IEEE Trans. Autom. Control., 2005

2001

Hierarchical interface-based supervisory control: serial case.

Ryan J. Leduc, Bertil A. Brandin, Walter Murray Wonham, Mark Lawford

Proceedings of the 40th IEEE Conference on Decision and Control, 2001