9 citations · 14 across the 10 of their papers we have counts for
10 papers
A Case Study in Recovery of Drones using Discrete-Event Systems
Liam P. Burns, Dayse M. Cavalcanti, Felipe G. Cabral +4
Discrete-event systems and supervisory control theory provide a rigorous framework for specifying correct-by-construction behavior. However, their practical application to swarm ro…
Distributed Secret Securing in Discrete-Event Systems
Shoma Matsui, Kai Cai, Karen Rudie
In this paper, we study a security problem of protecting secrets in distributed systems. Specifically, we employ discrete-event systems to describe the structure and behaviour of d…
Collaboration or Corporate Capture? Quantifying NLP's Reliance on Industry Artifacts and Contributions
Will Aitken, Mohamed Abdalla, Karen Rudie +1
Impressive performance of pre-trained models has garnered public attention and made news headlines in recent years. Almost always, these models are produced by or in collaboration…
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…
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…
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…
Using Subobservers to Synthesize Opacity-Enforcing Supervisors
Richard Hugh Moulton, Behnam Behinaein Hamgini, Zahra Abedi Khouzani +3
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. This results in practical d…
Decentralized Observation of Discrete-Event Systems: At Least One Can Tell
Stavros Tripakis, Karen Rudie
We introduce a new decentralized observation condition which we call "at least one can tell" (OCT) and which attempts to capture the idea that for any possible behavior that a syst…
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…
Limited Lookahead Policies for the Control of Discrete-Event Systems: A Tutorial
Richard Hugh Moulton, Anthony J. Marasco, Karen Rudie
Some problems in discrete-event systems (DES) model large, time-varying state spaces with complex legal languages. To address these problems, Chung et al. introduced limited lookah…