Embedding hybrid automata in Acumen

During last week Jan worked on integrating the enclosure based solver with Acumen. Initially, the aim has been to support a very limited subset of Acumen used to embed hybrid automata that can then be extracted and passed to the solver as specifications of the hybrid system to be simulated. Hybrid state invariants are required by the solver to significantly improve the quality of the solutions and it has been necessary to extend the Acumen language in order to accommodate them. Together with Adam a prototype extractor was implemented, which uses the Acumen parser to generate the input to the solver. The work in the coming week will focus on de-bugging the solver.