Monday, September 17, 2012

Continuing the enclosure semantics integration work

Previously, Adam and Jan have been working on the integration of the enclosure-based hybrid solver with Acumen. The integration work has centered around the extraction of the hybrid automaton representation of Acumen models that is required by the solver. They also made some necessary additions to the Acumen syntax, the GUI and command line front-ends. 

In the coming week Adam and Jan will work on the design and implementation of the enclosure simulation data representation that will interact with the plotter through the abstract interface developed by Kevin and Jan. Adam and Jan will also develop initial solutions for the setting of simulation parameters through Simulator object.