Inferring State Sequences for Non-linear Systems with Embedded Hidden Markov Models