An algorithm for complete enumeration of the mechanisms of supraventricular tachycardias that use multiple atrioventricular, AV nodal, and/or Mahaim pathways

The EINTHOVEN system is a model-based expert system that interprets the cardiac rhythm from the electrocardiogram. It simulates the expected behavior of realistic semi-quantitative cardiac models constructed by heuristic rules to generate interpretations that include both text descriptions and event-by-event causal explanations in the form of ladder diagrams. The simulation has been limited by an inability to predict all possible behaviors of hearts with more than one reentrant circuit. We now describe an algorithm that overcomes this limitation. Its output has been validated by an independent possibility-tree analysis. Timing and storage measurements are presented for models with up to three slow atrioventricular nodal pathways, four atrioventricular pathways, and a single atriofascicular (Mahaim) pathway. This is the first report in the literature of an algorithm that enumerates all possible mechanisms for reentrant supraventricular tachycardias that use atrioventricular, atrioventricular nodal, and/or atriofascicular pathways in humans.