Nonexistence of Upper Bound to Inferencing Level in Decentralized Discrete Event Control
Shigemasa Takai, Ratnesh Kumar · IEEE Transactions on Automatic Control · 2024
In the authors' earlier work, the notion of inference-observability was introduced to characterize the existence of decentralized supervisors that perform multilevel inferencing against self-ambiguity and the ambiguities of others to jointly arrive at a correct control decision. When the property of$N$-inference-observability holds,$N$-levels of inferencing are needed. We show in this article that the class of$N$-inference-observable languages increasesstrictlymonotonically as the parameter$N$is increased. We further show that, in general, there is no upper bound on the number of levels of inferencing required.