Game design as CPS

2D Platform and side scroller games such as Super Mario or Flappy Bird are very popular. Designing such games is an elaborate and creative process but a few simplified steps of interest include–the design of the primary character which usually includes simplified physics, the design of the level or map, the rules of the game and its challenges. The goal of this project was to explore if some aspects of game building can be verified using hybrid systems and games. This project attempts to develop a simple side scrolling game with a single character that the player can control. I modeled a way to generate simple but arbitrary levels and showed that they are safe. I also modeled two actions for the character that shows that the player can achieve game challenges that require the character to avoid (by jumping over) or attack (by jumping onto) a specified target. This project provided an opportunity to further understand the diamond modality and adversarial components when modeling. While each of these actions are proven with a fixed number of steps, composing these features would provide a starting point to design a simple game such that its non-triviality and playability can be proven by the designer.