Formulation on statistical trajectory estimation programs