Zusammenfassung - Studium der Homing- und Synchronisationssequenzen für zeitraumbezogene endliche Zustandsmaschinen mit Ausgabeverzögerungen

Studium der Homing- und Synchronisationssequenzen für zeitraumbezogene endliche Zustandsmaschinen mit Ausgabeverzögerungen

2025-07-19 08:03:14

{"Evgenii Vinarskii","Jakub Ruszil","Adam Roman","Natalia Kushik"}

{cs.FL,cs.CC}

Dieses Papier untersucht die Homing- und Synchronisierungsschemata für zeitgesteuerte endliche Zustandsmaschinen (TFSMs) mit Ausgabeverzögerungen, indem ihre Eigenschaften untersucht und Methoden abgeleitet werden. Die Autoren definieren Homing- und Synchronisierungsschemata für TFSMs mit Ausgabeverzögerungen und zeigen, dass mehrere Eigenschaften, die für nicht zeitgesteuerte Maschinen gelten, nicht unbedingt auf zeitgesteuerte Maschinen zutreffen. Sie untersuchen verschiedene Ansätze zur Ableitung dieser Schemata, einschließlich methoden basierend auf gekürzten Nachfolgerbäumen und FSM-Abstraktionen. Das Papier identifiziert Unterklassen von TFSMs, für die diese Ansätze direkt angewendet werden können, und solche, für die andere Methoden erforderlich sind. Es bewertet auch die Komplexität der Existenzprüfung und der Ableitung (kürzester) Homing- und Synchronisierungsschemata für TFSMs mit Ausgabeverzögerungen. Schlüsselergebnisse sind: - Die Autoren stellen Homing- und Synchronisierungsschemata für TFSMs mit Ausgabeverzögerungen vor und demonstrate ihre Eigenschaften. - Sie untersuchen verschiedene Ansätze zur Ableitung dieser Schemata, einschließlich methoden basierend auf gekürzten Nachfolgerbäumen und FSM-Abstraktionen. - Sie identifizieren Unterklassen von TFSMs, für die diese Ansätze direkt angewendet werden können. - Sie bewerten die Komplexität der Existenzprüfung und der Ableitung (kürzester) Homing- und Synchronisierungsschemata. - Sie schlagen eine verbesserte FSM-Abstraktion vor, um die Ableitung dieser Schemata für TFSMs mit Ausgabeverzögerungen zu erleichtern. - Sie untersuchen die Eigenschaften der Korrespondenz zwischen Homing- und Synchronisierungsschemata für TFSMs mit Ausgabeverzögerungen und ihren nicht zeitgesteuerten Abstraktionen. Insgesamt trägt das Papier zur Verständigung über Homing- und Synchronisierungsschemata für TFSMs mit Ausgabeverzögerungen bei und bietet Einblicke in ihre Eigenschaften und Ableitungsmethoden.