A Short Course on Acumen

Acumen is an environment for modeling and simulation of cyber-physical systems. Both discrete and continuous systems can be modeled in Acumen, as well as the interaction between such systems.

The course will consist of two seminar's introducing the speaker's research, and four lectures that provide a tutorial introduction to principles underlying Acumen, as well as how it is used. Each lecture will consist of an instruction component and a hands-on component. Roughly speaking, the focus of the four lectures will be as follows:

1. Acumen basics. Basic discrete and continuous modeling.
2. Advanced continuous modeling constructs.
3. Hybrid modeling features.
4. Discussion and feedback from participants.

Suggested background reading

• Event-drive Functional Reactive Programming (E-FRP) is the basis for Acumen's discrete modeling language.
• Interactive Acumen (iAcumen) was an early application of the core ideas in Acumen's continuous language

Required computing support

Acumen is implemented in OCaml, and uses pdflatex, GNUplot, and has an emacs mode. The exercises require that you have a working installation of the most recent version of Acumen. Therefore, make sure that it is installed on your machine before the start of the lectures.

Once the version that will be used for the tutorial is released, a link for downloading it will be added here.