Sorted by my own discretion

K. Ritsuka
Karen Rudie

A Uniform Treatment of Architectures in Decentralized Discrete-Event System

Preprint available at CoRR abs/2210.16511.

K. Ritsuka
Karen Rudie

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

Preprint available at CoRR abs/2204.10792.

Nick Mertin
K. Ritsuka
Karen Rudie

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

Preprint available at CoRR abs/2201.10632.

K. Ritsuka
Karen Rudie

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

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

doi

K. Ritsuka
Karen Rudie

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

Submitted for publication.

An old draft is available at CoRR abs/2108.02000. This preprint version differs substantially from the current version submitted for peer-review.

K. Ritsuka
Karen Rudie

Epistemic Interpretations of Decentralized Discrete-Event System Problems

In Discrete Event Dynamic Systems: Theory and Applications

doi

Colour key

dissertation refereed conference or workshop paper
unrefereed manuscript journal paper