Ryan J. Leduc

21 papers C 4Journal 11Unranked 6
YearRankTypeTitle / Venue / Authors
2023 J jnl
Fault-tolerant supervisory control with permanent faults.
Int. J. Control
Aos Mulahuwaish, Ryan J. Leduc
2015 C conf
Fault tolerant controllability.
ACC
Simon Radel, Aos Mulahuwaish, Ryan J. Leduc
2015 — conf
Hierarchical Interface-Based decentralized Supervisory Control.
CDC
Huailiang Liu, Ryan J. Leduc, S. Laurie Ricker
2015 J jnl
Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder.
Discret. Event Dyn. Syst.
Robi Malik, Ryan J. Leduc
2014 C conf
Incremental verification of Co-observability in discrete-event systems.
ACC
Huailiang Liu, Ryan J. Leduc, Robi Malik, S. Laurie Ricker
2014 J jnl
Sampled-data supervisory control.
Discret. Event Dyn. Syst.
Ryan J. Leduc, Yu Wang, Fahim Ahmed
2013 J jnl
Compositional Nonblocking Verification Using Generalized Nonblocking Abstractions.
IEEE Trans. Autom. Control.
Robi Malik, Ryan J. Leduc
2012 — conf
Hierarchical interface-based supervisory control using the conflict preorder.
WODES
Robi Malik, Ryan J. Leduc
2012 C conf
Sampled-data controller implementation.
ACC
Yu Wang, Ryan J. Leduc
2012 J jnl
Sampled-data controller implementation.
Int. J. Control
Yu Wang, Ryan J. Leduc
2010 — conf
A compositional approach for verifying hierarchical interface-based supervisory control.
WODES
Ryan J. Leduc, Robi Malik
2010 — conf
Sampled-data supervisory control.
WODES
Ryan J. Leduc, Yu Wang
2009 J jnl
Hierarchical interface-based supervisory control with data events.
Int. J. Control
Ryan J. Leduc
2009 J jnl
Synthesis Method for Hierarchical Interface-Based Supervisory Control.
IEEE Trans. Autom. Control.
Ryan J. Leduc, Pengcheng Dai, Raoguang Song
2007 — conf
Hierarchical interface-based supervisory control with data events.
CDC
Ryan J. Leduc
2007 C conf
Synthesis Method for Hierarchical Interface-based Supervisory Control.
ACC
Ryan J. Leduc, Pengcheng Dai
2006 J jnl
Hierarchical interface-based supervisory control of a flexible manufacturing system.
IEEE Trans. Control. Syst. Technol.
Ryan J. Leduc, Mark Lawford, Pengcheng Dai
2005 J jnl
Erratum to "Hierarchical Interface-Based Supervisory Control - Part I: Serial Case".
IEEE Trans. Autom. Control.
Ryan J. Leduc, Bertil A. Brandin, Mark Lawford, Walter Murray Wonham
2005 J jnl
Hierarchical interface-based supervisory Control-part I: serial case.
IEEE Trans. Autom. Control.
Ryan J. Leduc, Bertil A. Brandin, Mark Lawford, Walter Murray Wonham
2005 J jnl
Hierarchical interface-based supervisory control-part II: parallel case.
IEEE Trans. Autom. Control.
Ryan J. Leduc, Mark Lawford, Walter Murray Wonham
2001 — conf
Hierarchical interface-based supervisory control: serial case.
CDC
Ryan J. Leduc, Bertil A. Brandin, Walter Murray Wonham, Mark Lawford