K. Ritsuka

According to our database, K. Ritsuka authored at least 11 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Detectability of Discrete Event Systems Under Sensor Attacks.

K. Ritsuka, Feng Lin, Stéphane Lafortune, Caisheng Wang

J. Syst. Sci. Complex., February, 2025

Joint opacity and opacity against state-estimate-intersection-based intrusion of discrete-event systems.

K. Ritsuka, Stéphane Lafortune, Feng Lin

Autom., 2025

2024

Supplementary Material for "Detectability of Discrete Event Systems under Sensor Attacks".

K. Ritsuka, Stéphane Lafortune, Feng Lin, Caisheng Wang

Dataset, October, 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

Dataset, September, 2024

Supplementary Material for "The Universal State-Estimate-Intersection-Based Architecture for Decentralized Problems of Discrete-Event Systems".

K. Ritsuka, Stéphane Lafortune

Dataset, August, 2024

A uniform approach to compare architectures in decentralized discrete-event systems.

K. Ritsuka, Karen Rudie

Autom., 2024

2023

Do what you know: coupling knowledge with action in discrete-event systems.

K. Ritsuka, Karen Rudie

Discret. Event Dyn. Syst., September, 2023

2022

Epistemic interpretations of decentralized discrete-event system problems.

K. Ritsuka, Karen Rudie

Discret. Event Dyn. Syst., 2022

Equivalence of Decentralized Observation, Diagnosis, and Control Problems in Discrete-event Systems.

K. Ritsuka, Karen Rudie

CoRR, 2022

A Framework for the High-Level Specification and Verification of Synchronous Digital Logic Systems.

Nick Mertin, K. Ritsuka, Karen Rudie

CoRR, 2022

2021

A Visualization of Inference-Based Supervisory Control in Discrete-Event Systems.

K. Ritsuka, Karen Rudie

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021