Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Guaranteed Verification of Dynamic Systems
CHF 73.05
Auf Lager
SKU
7RGO3FHHSPI
1 Verfügbar 
Geliefert zwischen Mi., 26.11.2025 und Do., 27.11.2025
Details
This work introduces a new specification and verification approach for dynamic systems. The introduced approach is able to provide type II error free results by definition, i.e. there are no hidden faults in the verification result. The approach is based on Kaucher interval arithmetic to enclose the measurement in a bounded error sense. The developed methods are proven mathematically to provide a reliable verification for a wide class of safety critical systems.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783731509653
- Lesemotiv Verstehen
- Genre Electrical Engineering
- Auflage 1. Auflage
- Sprache Englisch
- Anzahl Seiten 216
- Herausgeber Karlsruher Institut für Technologie
- Größe H240mm x B170mm x T14mm
- Jahr 2022
- EAN 9783731509653
- Format Kartonierter Einband
- ISBN 3731509652
- Veröffentlichung 15.03.2022
- Titel Guaranteed Verification of Dynamic Systems
- Autor Stefan Schwab
- Gewicht 420g
Bewertungen
Schreiben Sie eine Bewertung
