Markov process
The model is a particular type of piecewise deterministic Markov process and can also be viewed as a Markov reward model with boundary conditions.