Guaranteed optimization of the parameters of continuous-time knowledge-based models