Date of Award
Master of Science
Michael A. Thomason
Jens Gregor, Stacy J. Prowell
An enumeration hybrid automaton has been shown in principle to be ready for automated transformation into a Simulink implementation. This paper describes a strategy for and a demonstration of automated construction. This is accomplished by designing a data model which represents EHA data and providing a mapping from EHA data points to Simulink blocks.
Heise, David Aaron, "Automated Generation of Simulink Models for Enumeration Hybrid Automata. " Master's Thesis, University of Tennessee, 2013.