Sorted by my own discretion
|
K. Ritsuka
|
Decentralized Problems of Discrete-Event Systems: Epistemic Reasoning and Graph Representation Author's versions: for screen reading: regular dark mode for printing: Letter A4 |
|
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 In Discrete Event Dynamic Systems: Theory and Applications |
|
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 |