Bisimilarity control of partially observed nondeterministic discrete eve