Die hybride Optimalsteuerung ist eine wichtige Entwurfsaufgabe für all jene Systeme, die sich durch die Kombination kontinuierlicher und diskreter Dynamik auszeichnen und die automatisiert zwischen verschiedenen Betriebspunkten überführt werden müssen. Da die hybride Optimalsteuerung eine rechentechnisch aufwändige Aufgabe ist, wurden verschiedene Ansätze zur Effizienzsteigerung untersucht, wie die hierarchische Dekomposition oder die Verwendung von Bisimulationen. Im Fachgebiet Industrielle Automatisierungssysteme wird derzeit ein Ansatz entwickelt, der das Konzept der iterativen Modellabstraktion und -verfeinerung für die Optimalsteuerung einsetzt. Dabei werden iterativ abstrakte Modelle, auf denen sich einfach nach guten Lösungen suchen lässt, erzeugt, die Lösungen auf dem Originalmodell validiert und das Validierungsergebnis für eine Modellverfeinerung genutzt. In dieser Arbeit wird dieses Konzept für die abstrakte Modellform der endlichen Automaten entworfen und für ein Beispiel erprobt.