Controlled Markov Processes door