Reviewing literature, implementing interval π, and planning the upcoming year

During the past week Adam has continued reviewing literature on reachability analysis and also worked on developing example models illustrating Zeno behaviour in Acumen. Among these is one of a "bouncing inverted pendulum", where a mass is attached to a stiff massless rod which in turn is attached to the ground, constraining the motion of the mass as it falls and bounces against the ground. Adam also added support for constants to Acumen, used this to add π to all interpreters, and worked on developing a study plan for 2013 which, among other things, is to include the research questions that he will work on during the upcoming year.