KIT | KIT-Bibliothek | Impressum | Datenschutz

Guaranteed Verification of Dynamic Systems

Schwab, Stefan

Abstract:
Diese Arbeit beschreibt einen neuen Spezifikations- und Verifikationsansatz für dynamische Systeme. Der neue Ansatz ermöglicht dabei Ergebnisse, die per Definition frei von Fehlern 2. Art sind. Dies bedeutet, dass das Ergebnis der Verifikation keine versteckten Fehler enthalten kann. Somit können zuverlässige Ergebnisse für die Analyse von sicherheitskritischen Systemen generiert werden.
Dazu wird ein neues Verständnis von mengenbasierter Konsistenz dynamischer Systeme mit einer gegebenen Spezifikation eingeführt. Dieses basiert auf der Verwendung von Kaucher Intervall Arithmetik zur Einschließung von Messdaten. ... mehr

Abstract (englisch):
This thesis 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 thus suitable to provide a reliable verification of safety critical systems.
A new notion of set based consistency for dynamic systems with a given specification is presented. Therefore Kaucher interval arithmetic is used to enclose the measurement data in a bounded error sense. The resulting method is able to verify the specified behavior of a dynamic system against its measurement data even in the presence of noise and sensor uncertainty. ... mehr

Open Access Logo


Volltext §
DOI: 10.5445/IR/1000097068
Veröffentlicht am 06.08.2019
Coverbild
Zugehörige Institution(en) am KIT Institut für Regelungs- und Steuerungssysteme (IRS)
Publikationstyp Hochschulschrift
Jahr 2019
Sprache Englisch
Identifikator KITopen-ID: 1000097068
Verlag Karlsruhe
Umfang 197 S.
Abschlussart Dissertation
Fakultät Fakultät für Elektrotechnik und Informationstechnik (ETIT)
Institut Institut für Regelungs- und Steuerungssysteme (IRS)
Prüfungsdatum 22.07.2019
Referent/Betreuer Prof. S. Hohmann
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page