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 I: serial case	2017-07-12	Paper
Hierarchical interface-based supervisory control-part II: parallel 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ryan J. Leduc