Verified methods for state and parameter estimators for nonlinear uncertain systems with applications in engineering