A Visualization of Inference-Based Supervisory Control in Discrete-Event Systems. - K. Ritsuka; Karen Rudie (CDC, 2021)

A Framework for the High-Level Specification and Verification of Synchronous Digital Logic Systems. - Nick Mertin; K. Ritsuka; Karen Rudie (CoRR, 2022)

Equivalence of Decentralized Observation, Diagnosis, and Control Problems in Discrete-event Systems. - K. Ritsuka; Karen Rudie (CoRR, 2022)

Epistemic interpretations of decentralized discrete-event system problems. - K. Ritsuka; Karen Rudie (Discret. Event Dyn. Syst., 2022)

Do what you know: coupling knowledge with action in discrete-event systems. - K. Ritsuka; Karen Rudie (Discret. Event Dyn. Syst., 2023)

A uniform approach to compare architectures in decentralized discrete-event systems. - K. Ritsuka; Karen Rudie (Autom., 2024)

Supplementary Material for "The Universal State-Estimate-Intersection-Based Architecture for Decentralized Problems of Discrete-Event Systems". - K. Ritsuka; Stéphane Lafortune (Zenodo, 2024)

Supplementary Material for "Joint Opacity and Opacity against State-Estimate-Intersection-based Intrusion of Discrete-Event Systems". - K. Ritsuka; Stéphane Lafortune; Feng Lin 001 (Zenodo, 2024)

Supplementary Material for "Detectability of Discrete Event Systems under Sensor Attacks". - K. Ritsuka; Stéphane Lafortune; Feng Lin 001; Caisheng Wang (Zenodo, 2024)

Joint opacity and opacity against state-estimate-intersection-based intrusion of discrete-event systems. - K. Ritsuka; Stéphane Lafortune; Feng Lin 001 (Autom., 2025)

Detectability of Discrete Event Systems Under Sensor Attacks. - K. Ritsuka; Feng Lin 001; Stéphane Lafortune; Caisheng Wang (J. Syst. Sci. Complex., 2025)