9 citations · 14 across the 10 of their papers we have counts for
6 papers · 1 filter
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…
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…
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…
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…