1 citations · 1 across the 3 of their papers we have counts for
3 papers
eess.SY2022★ 1 cited
Equivalence of Decentralized Observation, Diagnosis, and Control Problems in Discrete-event Systems
K. Ritsuka, Karen Rudie
This paper demonstrates an equivalence between observation problems, control problems (with partial observation), and diagnosis problems of decentralized discrete-event systems, na…
cs.LO2022
A Framework for the High-Level Specification and Verification of Synchronous Digital Logic Systems
Nick Mertin, K. Ritsuka, Karen Rudie
A syntactic model is presented for the specification of finite-state synchronous digital logic systems with complex input/output interfaces, which control the flow of data between…
cs.AI2021
Do What You Know: Coupling Knowledge with Action in Discrete-Event Systems
K. Ritsuka, Karen Rudie
An epistemic model for decentralized discrete-event systems with non-binary control is presented. This framework combines existing work on conditional control decisions with existi…