Analytical online V&V tools for uncertain nonlinear systems under safety constraints over finite time and control horizons