\documentclass{dane_proposal_format}

\begin{document}

\maketitle
\section{Goals and Outcomes}

The goal of this research is to use formal methods to create control systems
that can switch between operating modes with a high assurance of correct
construction. Modern control systems today often exist as hybrid control
systems. Hybrid systems are those that have both continuous and discrete
dynamics. Because of this, hybrid systems cannot be fully analyzed using only
tools from continuous or discrete methods. Today, hybrid control systems are
unable to completely verified.


\bibliography{references}

\end{document}

