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

Short version submitted for publication.

Preprint of full version available at CoRR abs/2108.02000.

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