During the past week Adam has extended a report comparing Acumen to related work with the paper "Design principles for an extendable verification tool for hybrid systems" by Frehse and Ray. The paper describes a framework which bears some interesting similarities to Acumen. The framework provides APIs and components on which several semantics for a hybrid system model can coexist and share functionality. The emphasis in this framework is on verification, and example semantics (instances of the abstract framework APIs) based on Linear Hybrid Automata and Support Functions are given in the paper. Further, Adam has continued working on the virtual experimentation paper.
