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