Ritsuka: Research

Sorted by my own discretion

K. Ritsuka Stéphane Lafortune Feng Lin Caishen Wang	Detectability of Discrete Event Systems under Sensor Attacks In the Journal of Systems Science and Complexity (JSSC), special issue on Recent Advances in Systems and Control Theory — In honour of the 80th birthday of Professor Peter Caines [Invited paper] doi Isabelle/HOL code
K. Ritsuka Stéphane Lafortune Feng Lin	Joint Opacity and Opacity against State-Estimate-Intersection-based Intrusion of Discrete-Event Systems In Automatica doi 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