Qualitative simulation over two-parameter bifurcation diagrams

This work proposes a qualitative representation for bifurcation diagrams with two varying parameters. We start from a previous defined representation for a single parameter bifurcation diagram and add the necessary definitions/constraints to extend it. In order to give sense to our proposed representation for bifurcation diagrams an algorithm to perform qualitative simulations is given; this algorithm is based on behavioural inference rules for a system going through dynamic events. The developed algorithm is capable to generated all possible qualitative behaviours under a user defined sequence of qualitative events and parameters changes.