Automatische Reparatur von CPS-Reglern, die in Simulink-Stateflow modelliert sind, basierend auf einer Suche

Eine neuartige Methode zur automatischen Reparatur von Fehlern in Stateflow-Modellen, die CPS-Regler steuern. Die Methode kombiniert eine globale und eine lokale Suche und definiert neue Reparaturziele, die auf CPS-Besonderheiten ausgerichtet sind.