Ritsuka: Research

Sorted by my own discretion

K. Ritsuka	Decentralized Problems of Discrete-Event Systems: Epistemic Reasoning and Graph Representation link Author's versions: for screen reading: regular dark mode for printing: Letter A4
K. Ritsuka Karen Rudie	A Uniform Approach to Compare Architectures in Decentralized Discrete-Event Systems In Automatica. doi
K. Ritsuka Karen Rudie	Equivalence of Decentralized Observation, Diagnosis, and Control Problems in 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 In Discrete Event Dynamic Systems: Theory and Applications doi
K. Ritsuka Karen Rudie	Epistemic Interpretations of Decentralized Discrete-Event System Problems In Discrete Event Dynamic Systems: Theory and Applications doi

dissertation	refereed conference or workshop paper
unrefereed manuscript	journal paper