piecewise deterministic Markov process