Residual-Regime Markov Modelling for Predictive Control in Cyber-Physical Systems | Synapse