Discrete state estimators for a class of nondeterministic hybrid systems on a lattice | IEEE Conference Publication | IEEE Xplore