Follow
K. Ritsuka
K. Ritsuka
Verified email at queensu.ca - Homepage
Title
Cited by
Cited by
Year
Epistemic interpretations of decentralized discrete-event system problems
K Ritsuka, K Rudie
Discrete Event Dynamic Systems 32 (3), 359-398, 2022
52022
Do what you know: Coupling knowledge with action in discrete-event systems
K Ritsuka, K Rudie
Discrete Event Dynamic Systems 33 (3), 257-277, 2023
42023
A correspondence between control and observation problems in decentralized discrete-event systems
K Ritsuka, K Rudie
arXiv preprint arXiv:2204.10792, 2022
32022
A Visualization of Inference-Based Supervisory Control in Discrete-Event Systems
K Ritsuka, K Rudie
2021 60th IEEE Conference on Decision and Control (CDC), 1062-1068, 2021
32021
Equivalence of Decentralized Observation, Diagnosis, and Control Problems in Discrete-event Systems
K Ritsuka, K Rudie
arXiv e-prints, arXiv: 2204.10792, 2022
22022
A Uniform Approach to Compare Architectures in Decentralized Discrete-Event Systems
K Ritsuka, K Rudie
arXiv preprint arXiv:2210.16511, 2022
12022
A uniform approach to compare architectures in decentralized discrete/event systems
K Ritsuka, K Rudie
Automatica 165, 111683, 2024
2024
Decentralized Problems of Discrete-Event Systems: Epistemic Reasoning and Graph Representation
K Ritsuka
2023
A Framework for the High-Level Specification and Verification of Synchronous Digital Logic Systems
N Mertin, K Ritsuka, K Rudie
arXiv preprint arXiv:2201.10632, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–9