Exact Phase-Type Point Processes for Certified Measurement and Prediction of Event Streams
The paper introduces a single algebraic object, a phase-type (Erlang-chain) state space, used for both certified measurement and prediction of event streams. It achieves exact likelihoods for these tasks by defining intensity functions based on Erlang densities and employing methods like accelerated EM and closed-form solutions.