9 citations · 14 across the 10 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
eess.SY2022★ 1 cited
A Uniform Approach to Compare Architectures in Decentralized Discrete-Event Systems
K. Ritsuka, Karen Rudie
Solutions to decentralized discrete-event systems problems are characterized by the way local decisions are fused to yield a global decision. A fusion rule is colloquially called a…
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…