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). |
|
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 |
Colour key
| dissertation | refereed conference or workshop paper |
| unrefereed manuscript | journal paper |