no code implementations • 14 Feb 2024 • Shoma Matsui, Kai Cai, Karen Rudie
In this paper, we study a security problem of protecting secrets in distributed systems.
no code implementations • 6 Dec 2023 • Will Aitken, Mohamed Abdalla, Karen Rudie, Catherine Stinson
That these are industry models is noteworthy.
no code implementations • 29 Oct 2022 • 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.
no code implementations • 22 Apr 2022 • 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, namely, the three classes of problems are Turing equivalent, as one class Turing reduces to another.
no code implementations • 8 Oct 2021 • Richard Hugh Moulton, Behnam Behinaein Hamgini, Zahra Abedi Khouzani, Rômulo Meira-Góes, Fei Wang, Karen Rudie
In discrete-event system control, the worst-case time complexity for computing a system's observer is exponential in the number of that system's states.
no code implementations • 25 Jul 2021 • Richard Ean, Karen Rudie
An epistemic model for decentralized discrete-event systems with non-binary control is presented.