A Markov decision process framework for optimal operation of monitored multi-state systems. (December 2018)