K. Ritsuka

11 papers Journal 10Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
The Universal State-Estimation-Intersection-Based Architecture for Decentralized Problems of Discrete-Event Systems.
IEEE Trans. Autom. Control.
K. Ritsuka, Stéphane Lafortune
2025 J jnl
Detectability of Discrete Event Systems Under Sensor Attacks.
J. Syst. Sci. Complex.
K. Ritsuka, Feng Lin, Stéphane Lafortune, Caisheng Wang
2025 J jnl
Joint opacity and opacity against state-estimate-intersection-based intrusion of discrete-event systems.
Autom.
K. Ritsuka, Stéphane Lafortune, Feng Lin
2024 J jnl
A uniform approach to compare architectures in decentralized discrete-event systems.
Autom.
K. Ritsuka, Karen Rudie
2023 J jnl
Do what you know: coupling knowledge with action in discrete-event systems.
Discret. Event Dyn. Syst.
K. Ritsuka, Karen Rudie
2022 J jnl
A Framework for the High-Level Specification and Verification of Synchronous Digital Logic Systems.
CoRR
Nick Mertin, K. Ritsuka, Karen Rudie
2022 J jnl
A Uniform Approach to Compare Architectures in Decentralized Discrete-Event Systems.
CoRR
K. Ritsuka, Karen Rudie
2022 J jnl
Epistemic interpretations of decentralized discrete-event system problems.
Discret. Event Dyn. Syst.
K. Ritsuka, Karen Rudie
2022 J jnl
Equivalence of Decentralized Observation, Diagnosis, and Control Problems in Discrete-event Systems.
CoRR
K. Ritsuka, Karen Rudie
2021 — conf
A Visualization of Inference-Based Supervisory Control in Discrete-Event Systems.
CDC
K. Ritsuka, Karen Rudie
2021 J jnl
Do What You Know: Coupling Knowledge with Action in Discrete-Event Systems.
CoRR
K. Ritsuka, Karen Rudie
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling