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.
Ein modularer Sicherheitsfilter für sicherheitszertifizierte cyber-physische Systeme
Der Artikel stellt einen modularen Sicherheitsfilter vor, der die Sicherheit cyber-physischer Systeme auch bei Cyberangriffen gewährleistet, indem er die Steuerungssignale filtert und an die Systemgrenzen anpasst.
Untersuchung der Robustheit in cyber-physischen Systemen: Spezifikations-zentrierte Analyse angesichts von Systemabweichungen
Die Arbeit präsentiert eine neuartige Definition der spezifikationsbasierten Robustheit, die die Wirksamkeit eines Controllers bei der Erfüllung einer spezifizierten Systemanforderung, die durch Signal Temporal Logic (STL) ausgedrückt wird, unter Berücksichtigung möglicher Abweichungen im System charakterisiert. Außerdem wird das Problem der Robustheitsfalsifizierung basierend auf dieser Definition vorgestellt, das das Auffinden geringfügiger Abweichungen umfasst, die zu einer Verletzung der angegebenen Anforderung führen können.
Chaotisches Maskierungsprotokoll zur sicheren Kommunikation und Angriffserkennung bei der Fernschätzung von Cyber-Physischen Systemen
Ein chaotisches Maskierungsprotokoll wird vorgeschlagen, um die Übertragung von Sensormessungen in Cyber-Physischen Systemen zu sichern und verschiedene Arten von Angriffen wie Abhören, Replay-Angriffe und stealthy Dateneinfügungsangriffe zu erkennen.
© 2024 by Linnk AI