Guaranteed Verification of Dynamic Systems

Schwab, Stefan

In: Karlsruher Beiträge zur Regelungs- und Steuerungstechnik; (2022)

Online E-Book - 216

Zugriff:

View Record from OAPEN (Volltext)

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.

Titel:	Guaranteed Verification of Dynamic Systems
Autor/in / Beteiligte Person:	Schwab, Stefan
Link:	View Record from OAPEN (Volltext)
Quelle:	Karlsruher Beiträge zur Regelungs- und Steuerungstechnik; (2022)
Veröffentlichung:	Karlsruhe: KIT Scientific Publishing, 2022
Medientyp:	E-Book
Umfang:	216
ISBN:	978-3-7315-0965-3 (print) ; 3-7315-0965-2 (print)
ISSN:	2511-6312 (print)
DOI:	10.5445/KSP/1000097527
Schlagwort:	Verifikation Dynamische Systeme Intervall Arithmetik Diagnose Bounded Error Verification Dynamic Systems Interval Arithmetic Diagnosis bic Book Industry Communication::T Technology, engineering, agriculture::TH Energy technology & engineering::THR Electrical engineering
Sonstiges:	Nachgewiesen in: OAPEN Library Sprachen: English Collection: Books ; Imported or submitted locally Original Material: 44e29711-8d53-496b-85cc-3d10c9469be9 ; 11 Document Type: book File Description: application/pdf Language: English Rights: URL: http://creativecommons.org/licenses/by-sa/4.0 Notes: ONIX_20220321_9783731509653_9

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.