By date (of maturity, not of publication; recent first)

2022
Richard Ean
Karen Rudie

A Universal Treatment of Architectures and Fusion Rules in Decentralized Discrete-Event Systems

Preprint available at CoRR abs/2210.16511.

Richard Ean
Karen Rudie

A correspondence between control and observation problems in decentralized discrete-event systems

Preprint available at CoRR abs/2204.10792.

Nick Mertin
Richard Ean
Karen Rudie

A Framework for the High-Level Specification and Verification of Synchronous Digital Logic Systems

Preprint available at CoRR abs/2201.10632.

2021
Richard Ean
Karen Rudie

A Visualization of Inference-Based Supervisory Control in Discrete-Event Systems

In 2021 60th IEEE Conference on Decision and Control (CDC).

doi

Richard Ean
Karen Rudie

Epistemic Interpretations of Decentralized Discrete-Event System Problems

In Discrete Event Dynamic Systems: Theory and Applications

doi

2020
Richard Ean
Karen Rudie

Do What You Know: Coupling Knowledge with Action in Discrete-Event Systems

Short version submitted for publication.

Preprint of full version available at CoRR abs/2108.02000.

Colour key

dissertation refereed conference or workshop paper
unrefereed manuscript journal paper