Guaranteed Verification of Dynamic Systems
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...
Saved in:
Superior document: | Karlsruher Beiträge zur Regelungs- und Steuerungstechnik |
---|---|
: | |
Year of Publication: | 2022 |
Language: | English |
Series: | Karlsruher Beiträge zur Regelungs- und Steuerungstechnik
|
Physical Description: | 1 electronic resource (216 p.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Dynamic programming algoritms in optimal control using verification theorems and generalized Hamiltonian flows / by Ştefan Mirică
by: Mirică, Ştefan
Published: (2000) -
A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems
by: Mendoza Cervantes, Francisco
Published: (2013) -
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
by: Weiß, Benjamin
Published: (2011) -
Biometric technologies and verification systems / John R. Vacca.
by: Vacca, John R.
Published: (c2007.) -
Zonotopes : : from guaranteed state-estimation to control / / Vu Tuan Hieu Le [and four others] ; series editor, Francis Castanie.
Published: (2013.)