Guaranteed Verification of Dynamic Systems

Guaranteed Verification of Dynamic Systems

Show other versions (1)

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...

Full description

Saved in:
Bibliographic Details
Main Author: Schwab, Stefan (auth)
Format: Electronic Book Chapter
Language:English
Published: Karlsruhe KIT Scientific Publishing 2022
Series:Karlsruher Beiträge zur Regelungs- und Steuerungstechnik
Subjects:
Electrical engineering
Verifikation
Dynamische Systeme
Intervall Arithmetik
Diagnose
Bounded Error
Verification
Dynamic Systems
Interval Arithmetic
Diagnosis
Online Access:DOAB: download the publication
DOAB: description of the publication
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Physical Description:1 electronic resource (216 p.)
ISBN:KSP/1000097527
9783731509653
Access:Open Access

Similar Items