Concepedia

Ryan J. Leduc

RJ

Statistics

Publications

13

Citations

522

H-Index

12

Active since

2002

Affiliations

McMaster University(Current)

University of Toronto

University of Waikato

Ryan J. Leduc is an author at McMaster University specializing in systems engineering, computer engineering, and engineering.

Top concepts

EngineeringSystems EngineeringComputer EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationProcess ControlAutomationProgram Analysis

Publications per year

2002–2013

13

Publications

13

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

Ryan J. Leduc, Mark Lawford, W.M. Wonham · IEEE Transactions on Automatic Control · 2005 · 111 citations

Event-driven Architecture, Engineering, Hardware Verification Language +19

Hierarchical interface-based supervisory Control-part I: serial case

Ryan J. Leduc, B.A. Brandin, Mark Lawford et al. · IEEE Transactions on Automatic Control · 2005 · 109 citations

Event-driven Architecture, Engineering, Verification +18

Hierarchical Interface-based Supervisory Control

Ryan J. Leduc · 2003 · 62 citations

Hierarchical interface-based supervisory control of a flexible manufacturing system

Ryan J. Leduc, Mark Lawford, Pengcheng Dai · IEEE Transactions on Control Systems Technology · 2006 · 51 citations

Engineering, Work Cell Model, Flexible Manufacturing Technology +14

Symbolic Synthesis and Verification of Hierarchical Interface-based Supervisory Control

Raoguang Song, Ryan J. Leduc · 2006 · 41 citations

Engineering, Fixpoint Operators, Verification +22

1–5 of 13