Variable Splitting Methods for Constrained State Estimation in Partially Observed Markov Processes | IEEE Journals & Magazine | IEEE Xplore