1: \begin{abstract}

2: \sloppy{This paper introduces Finite Elements with Switch Detection (FESD)}, a numerical discretization method for nonsmooth differential equations.

3: We consider the Filippov convexification of these systems and a transformation into dynamic complementarity systems introduced by Stewart \cite{Stewart1990b}.

4: FESD is based on solving nonlinear complementarity problems and can automatically detect nonsmooth events in time. 

5: If standard \textcolor{black}{time-stepping} Runge-Kutta (RK) methods are naively applied to a nonsmooth ODE, the accuracy is at best of order one.

6: In FESD, we let the integrator step size be a degree of freedom. Additional complementarity conditions, which we call \textit{cross complementarities}, enable \textit{exact} switch detection, hence FESD can recover the high order accuracy that the RK methods enjoy for smooth ODE. 

7: Additional conditions called \textit{step equilibration} allow the step size to change only when switches occur and thus avoid spurious degrees of freedom.

8: Convergence results for the FESD method are derived, local uniqueness of the solution and convergence of numerical sensitivities are proven. 

9: The efficacy of FESD is demonstrated in several simulation and optimal control examples. 

10: In an optimal control problem benchmark with FESD, we achieve up to five orders of magnitude more accurate solutions than a standard \textcolor{black}{time-stepping} approach for the same computational time.

11: 

12: \keywords{switched systems \and hybrid systems \and nonsmooth ODE \and numerical integration \and optimal control\and numerical methods} 

13: \noindent\textbf{Mathematics Subject Classification }{34A36, 49M25, 49Q12, 65L99, 49M37.}

14:  \end{abstract}