simplified miabot model to 4 states, made sure that covariance stays positive