Ritsuka: Research

Sorted by my own discretion

K. Ritsuka Stéphane Lafortune Feng Lin Caishen Wang	Detectability of Discrete Event Systems under Sensor Attacks under review. Isabelle/HOL code
K. Ritsuka Stéphane Lafortune Feng Lin	Joint Opacity and Opacity against State-Estimate-Intersection-based Intrusion of Discrete-Event Systems under review. Isabelle/HOL code
K. Ritsuka Stéphane Lafortune	The Universal State-Estimate-Intersection-Based Architecture for Decentralized Problems of Discrete-Event Systems under review. Isabelle/HOL code
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

Colour key

dissertation	refereed conference or workshop paper
unrefereed manuscript	journal paper