Ryan J. Leduc - Concepedia

Author

Ryan J. Leduc

McMaster University

Also Known As

R. J. Leduc, R.J. Leduc, Ryan J Leduc, Ryan J. Leduc, Ryan Leduc

Publications

585

Citations

H-Index

Concepts

All Affiliations

McMaster University University of Toronto University of Waikato

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	11	12	460
2	Computer Engineering	11	12	460
3	Computer Science	11	11	409
4	Industrial Engineering	2	2	71
5	Operations Research	1	1	20

Ryan J. Leduc

Publications

522

Citations

H-Index

Page 1

	Year	Citations
Hierarchical interface-based supervisory control-part II: parallel case Ryan J. Leduc, Mark Lawford, W.M. Wonham IEEE Transactions on Automatic Control Event-driven ArchitectureEngineeringHardware Verification LanguageVerificationComputer Architecture	2005	111
Hierarchical interface-based supervisory Control-part I: serial case Ryan J. Leduc, B.A. Brandin, Mark Lawford, IEEE Transactions on Automatic Control Event-driven ArchitectureEngineeringVerificationFormal VerificationSystems Engineering	2005	109
Hierarchical Interface-based Supervisory Control Ryan J. Leduc	2003	62
Hierarchical interface-based supervisory control of a flexible manufacturing system Ryan J. Leduc, Mark Lawford, Pengcheng Dai IEEE Transactions on Control Systems Technology EngineeringWork Cell ModelFlexible Manufacturing TechnologyIndustrial EngineeringAutomation	2006	51
Symbolic Synthesis and Verification of Hierarchical Interface-based Supervisory Control Raoguang Song, Ryan J. Leduc EngineeringFixpoint OperatorsVerificationDiscrete-event SystemSystem-level Design	2006	41
Synthesis Method for Hierarchical Interface-Based Supervisory Control Ryan J. Leduc, Pengcheng Dai, Raoguang Song IEEE Transactions on Automatic Control EngineeringVerificationFormal VerificationSystems EngineeringFormal Specification	2009	31
Hierarchical interface-based supervisory control: serial case Ryan J. Leduc, B.A. Brandin, W.M. Wonham, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) EngineeringVerificationComponent SubsystemsFormal VerificationControl Protocol	2003	21
Discrete event systems modeling and control of a manufacturing testbed Ryan J. Leduc, W.M. Wonham EngineeringIndustrial EngineeringDiscrete Event SystemsVerificationIndustrial Control System	2002	20
Compositional Nonblocking Verification Using Generalized Nonblocking Abstractions Robi Malik, Ryan J. Leduc IEEE Transactions on Automatic Control EngineeringVerificationComputer-aided VerificationModel CheckingGeneralized Nonblocking Properties	2013	17
Generalised nonblocking Robi Malik, Ryan J. Leduc EngineeringDiscrete Event SystemProgram AnalysisDiscrete Event SystemsEvent-driven Programming	2008	17

Page 1