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