Ryan J. Leduc

Available identifiers

zbMath Open leduc.ryan-jMaRDI QIDQ481357

List of research outcomes

Publication	Date of Publication	Type
Fault-tolerant supervisory control with permanent faults	2023-06-26	Paper
Compositional Nonblocking Verification Using Generalized Nonblocking Abstractions	2017-09-08	Paper
Synthesis Method for Hierarchical Interface-Based Supervisory Control	2017-08-08	Paper
Hierarchical interface-based supervisory control-part II: parallel case	2017-07-12	Paper
Hierarchical interface-based supervisory Control-part I: serial case	2017-07-12	Paper
Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder	2015-06-12	Paper
Sampled-data supervisory control	2014-12-12	Paper
Sampled-data controller implementation	2014-01-30	Paper
Hierarchical interface-based supervisory control with data events	2009-06-16	Paper

Research outcomes over time

This page was built for person: Ryan J. Leduc