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

Nick Mertin
Richard Ean
Karen Rudie

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

Submitted for publication.

Preprint available at CoRR abs/2201.10632.

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).


Richard Ean
Karen Rudie

Epistemic Interpretations of Decentralized Discrete-Event System Problems

Accepted for publication.

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