Non-existence of Upper Bound to Inferencing Level in Decentralized Discrete Event Control
IEEE Transactions on Automatic Control(2024)
Abstract
In the authors' earlier work, the notion of inference-observability was introduced to characterize the existence of decentralized supervisors that perform multi-level inferencing against self-ambiguity and ambiguities of the others to jointly arrive at a correct control decision. When the property of
$N$
-inference-observability holds,
$N$
-levels of inferencing is needed. We show in this paper that the class of
$N$
-inference-observable languages increases
strictly
monotonically as the parameter
$N$
is increased. We further show that in general there does not exist an upper bound on the number of levels of inferencing required.
MoreTranslated text
Key words
Decentralized supervisory control,discrete event system,inferencing,inference-observability
AI Read Science
Must-Reading Tree
Example
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined