Estimation and Inference in Discrete Event Systems chooses a popular model for emerging automation systemsâ€"finite automata under partial observationâ€"and focuses on a comprehensive study of the key problems of state estimation and event inference.