Formal Methods for Autonomous Systems
Formale Methoden beziehen sich auf strenge, mathematische Ansätze für die Systementwicklung und haben bei der Feststellung der Korrektheit von sicherheitskritischen Systemen eine Schlüsselrolle gespielt. Die wichtigsten Bausteine formaler Methoden sind Modelle und Spezifikationen, die analog zu Verhaltensweisen und Anforderungen im Systementwurf sind und uns die Möglichkeit geben, Systemverhalten mit formalen Garantien zu verifizieren und zu synthetisieren.
In dieser Monographie geben die Autoren einen Überblick über den aktuellen Stand der Technik bei der Anwendung formaler Methoden im Bereich autonomer Systeme. Sie betrachten zunächst die konstruktionsrichtige Synthese unter verschiedenen Formulierungen in bekannten Umgebungen, bevor sie sich mit dem Konzept der Unsicherheit bei Systemen befassen, die mit Hilfe formaler Methoden lernen, einschließlich der Überwindung einiger Einschränkungen solcher Systeme. Schließlich untersuchen sie die Synthese von Systemen mit Überwachung, um sicherzustellen, dass ein System zur Normalität zurückkehren kann. Abschließend werden künftige Richtungen für formale Methoden im Bereich des Verstärkungslernens, der Ungewissheit, der Privatsphäre, der Erklärbarkeit formaler Methoden sowie der Regulierung und Zertifizierung aufgezeigt.
Das Buch deckt wichtige Themen wie Synthese und Verstärkungslernen ab und ist ein umfassendes Hilfsmittel für Studenten, Praktiker und Forscher, die sich mit dem Einsatz formaler Methoden in modernen Systemen beschäftigen.
| ISBN: | 9781638282723 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
