A New Framework for Discrete-Event Systems
Probleme der realen Welt werden oft als verschiedene Eigenschaften unterschiedlicher Arten dynamischer Systeme formuliert. Daher sind Eigenschaftsüberprüfung und -synthese seit langem ein Forschungsschwerpunkt.
Der in den 1980er Jahren entwickelte Überwachungsrahmen bietet einen geschlossenen Rahmen für die Durchsetzung von Eigenschaften für ereignisdiskrete Systeme, die in der Regel aus diskreten Zuständen und Übergängen zwischen Zuständen bestehen, die durch das spontane Auftreten von gekennzeichneten Ereignissen verursacht werden. In dieser umfassenden Übersicht entwickelt der Autor einen offenen Rahmen zur Durchsetzung von Eigenschaften für diskrete Ereignissysteme, der besser skaliert und in mehr Modellen implementiert werden kann. Der Autor demonstriert die praktische Anwendbarkeit dieses Rahmens mit Hilfe eines Werkzeugs namens Concurrent Composition und verwendet dieses Werkzeug, um mehrere auf Inferenz basierende Eigenschaften und auf Verschleierung basierende Eigenschaften in ereignisdiskreten Systemen zu vereinheitlichen.
Im zweiten Teil stellt der Autor ein neues Modell namens Labeled Weighed Automata over Monoids (LWAMs) vor. LWAMs stellen eine natürliche Verallgemeinerung von beschrifteten endlichen Automaten in dem Sinne dar, dass jede Transition darin ein Gewicht aus einem Monoid trägt, wobei das Gewicht eines Laufs das Produkt der Gewichte der Transitionen des Laufs ist.
Dieses Buch führt den Leser in ein neues Paradigma im Bereich der dynamischen Systeme mit diskreten Ereignissen ein. Es bietet Forschern, Studenten und Praktikern die grundlegende Theorie und eine Reihe von implementierbaren Werkzeugen, die einen bedeutenden Einfluss auf die Systeme der Zukunft haben werden.
| ISBN: | 9781638281528 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
