Jan 2, 2007 · Abstract: This paper extends our prior result on decidability of bisimulation equivalence control from the setting of complete observations ...

In this paper, we show that the small model theorem remains valid even when there is partial observation of events so that a supervisor must be both control and ...

of bisimilarity enforcing control under partial observation by extending the “small model theorem” from the setting of complete observation [22] to the ...

This paper extends our prior result on decidability of bisimulation equivalence control from the setting of complete observations to that of partial ...

It is shown that the small model theorem remains valid even when there is partial observation of events so that a supervisor must be both control and ...

This paper addresses the issue of control of non-deterministic systems subject to non-deterministic specifications, under a partial observation of events. Non- ...

A small model theorem for bisimilarity control under partial observation. Changyan Zhou, Kumar R. Expand. Publication type: Proceedings Article. —. DOI: 10.1109 ...

A small model theorem was presented in Zhou and Kumar (2007) and Zhou et al. (2006), which shows that a supervisor exists if and only if it exists over the ...

The small model theorem was generalized to the case of partial event observation in Zhou and Kumar (2007a). A polynomially verifiable sufficient condition for ...

Zhou, CY; Kumar, R "A small model theorem for bisimilarity control under partial observation" IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING , v.4 ...