Using a nondeterministic state model for a discrete event process the problem of determining the current state of the system from a sequence of past events and state observations is examined. Conditions under which it is possible to truck the state of the process with sufficient accuracy to implement a given feedback control are determined.