| 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 | 6 | 2023 |
| Epistemic interpretations of decentralized discrete-event system problems K Ritsuka, K Rudie Discrete Event Dynamic Systems 32 (3), 359-398, 2022 | 5 | 2022 |
| A correspondence between control and observation problems in decentralized discrete-event systems K Ritsuka, K Rudie arXiv preprint arXiv:2204.10792, 2022 | 3 | 2022 |
| 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 | 3 | 2021 |
| A uniform approach to compare architectures in decentralized discrete/event systems K Ritsuka, K Rudie Automatica 165, 111683, 2024 | 2 | 2024 |
| Equivalence of Decentralized Observation, Diagnosis, and Control Problems in Discrete-event Systems K Ritsuka, K Rudie arXiv e-prints, arXiv: 2204.10792, 2022 | 1 | 2022 |
| 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 |
Karen RudieProfessor, Electrical and Computer Engineering, Queen's UniversityVerified email at queensu.ca
