Existence of solutions for control-related problems involving ODEs Existence theories mathematics