1: \begin{abstract}

2: It is well known that in the first-discretize-then-optimize approach in the control of ordinary differential equations the adjoint method may converge under additional order conditions only.

3: For Peer two-step methods we derive such adjoint order conditions and pay special attention to the boundary steps.

4: For $s$-stage methods, we prove convergence of order $s$ for the state variables if the adjoint method satisfies the conditions for order $s-1$, at least.

5: We remove some bottlenecks at the boundaries encountered in an earlier paper of the first author et al.

6: [J. Comput. Appl. Math., 262:73--86, 2014]

7: and discuss the construction of 3-stage methods for the order pair (3,2) in detail including some matrix background for the combined forward and adjoint order conditions. The impact of nodes having equal differences is

8: highlighted. It turns out that the most attractive methods are related to BDF. Three 3-stage methods are constructed which show the expected orders in numerical tests.

9: \end{abstract}

10: