Typically, dynamic systems are modelled and analysed quantitatively, for example with differential equations, and system simulation is carried out numerically. In contrast to this, qualitative reasoni