LEADER 01773nam  2200433z- 450 
001 9910553076003321
005 20231214132830.0
010   $a1000097527
035   $a(CKB)5860000000016682
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/79697
035   $a(EXLCZ)995860000000016682
100   $a20202203d2022      |y             0
101 0 $aeng
135   $aurmn|---annan
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aGuaranteed Verification of Dynamic Systems
210   $aKarlsruhe$cKIT Scientific Publishing$d2022
215   $a1 electronic resource (216 p.)
225 1 $aKarlsruher Beiträge zur Regelungs- und Steuerungstechnik
311   $a3-7315-0965-2 
330   $aThis 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.
606   $aElectrical engineering$2bicssc
610   $aVerifikation
610   $aDynamische Systeme
610   $aIntervall Arithmetik
610   $aDiagnose
610   $aBounded Error
610   $aVerification
610   $aDynamic Systems
610   $aInterval Arithmetic
610   $aDiagnosis
615  7$aElectrical engineering
700   $aSchwab$b Stefan$4auth$01325373
906   $aBOOK
912   $a9910553076003321
996   $aGuaranteed Verification of Dynamic Systems$93036815
997   $aUNINA