Mit der Komplexität technischer Systeme wachsen sowohl die Dringlichkeit als auch die Schwierigkeit, computerbasiert die Auswirkungen von Störungen bestimmen zu können. Hierfür haben sich KI-Methoden und insbesondere Verfahren aus dem Bereich des Qualitativen Schließens wiederholt als viel versprechend erwiesen. In diesem Buch wird ein innovatives Verfahren zur qualitativen modellbasierten Störungsanalyse elektrischer Systeme vorgestellt. Dieses Verfahren ermöglicht es, elektrische Systeme auf verschiedenen Abstraktionsebenen zu modellieren, ungerechtfertigte Störungsanalysen zu vermeiden und Verhaltensvorhersagen besonders effizient zu berechnen. Ein reales Diagnoseszenario motiviert die Arbeit, gibt Praxisanforderungen vor und bildet die Basis für eine fundierte kritische Bewertung.