Decentralized Observation of Discrete-Event Systems: At Least One Can Tell
Stavros Tripakis, Karen Rudie · IEEE Control Systems Letters · 2021
In a truly decentralized system, agents must be able to make decisions based on their observations, without reliance on a centralized coordinator or fusion rule. A condition, calledat least one can tell, is developed that characterizes when decentralized agents can determine whether behavior generated by a system is good (i.e., legal) or bad (i.e., illegal). It is shown that theat least one can tellcondition is decidable and when the condition holds, finite-state decentralized observers can be constructed. Links between theat least one can tellcondition and decentralized discrete-event systems are also made.