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 LEADER 02034nam0 22004333i 450 001 NAP0390668 005 20251003044249.0 010 $a9780870312595 100 $a20071127d2007 ||||0itac50 ba 101 | $aeng 102 $aus 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aReport on fiber-reinforced polymer (FRP) reinforcement for concrete structures$freported by ACI Committee 440 210 $aFarmington Hills (MI)$cAmerican Concrete Institute$d[2007] 215 $a100 p.$cill.$d28 cm. 606 $aCostruzioni in cemento armato$2FIR$3CFIC011904$9E 606 $aMaterie plastiche$xImpiego in edilizia$2FIR$3CFIC033780$9I 676 $a624.1$9INGEGNERIA STRUTTURALE E TECNICA DELLE COSTRUZIONI SOTTERRANEE$v14 676 $a624.18341$9Ingegneria strutturale. Materiali. Calcestruzzo armato (Cemento armato)$v22 696 $aCostruzioni in calcestruzzo armato 696 $aImpiego$aEdilizia$aPlastica$aPolimeri plastici$aResine sintetiche$aPlastomeri$aResine artificiali 699 $aCostruzioni in cemento armato$yCostruzioni in calcestruzzo armato 699 $aImpiego in edilizia$xImpiego$xEdilizia 699 $aMaterie plastiche$yPlastica 699 $aMaterie plastiche$yPolimeri plastici 699 $aMaterie plastiche$yResine sintetiche 699 $aMaterie plastiche$yPlastomeri 699 $aMaterie plastiche$yResine artificiali 710 02$aAmerican Concrete Institute$b : Committee 440$3NAPV105000$4070$0770753 791 02$aACI$b : Committee 440$3NAPV105001$zAmerican Concrete Institute : Committee 440 801 3$aIT$bIT-000000$c20071127 850 $aIT-BN0095 901 $bNAP 01$cSALA DING $n$ 912 $aNAP0390668 950 0$aBiblioteca Centralizzata di Ateneo$b1 v.$c1 v.$d 01SALA DING 624.1 ACI.re$e 0102 0000064045 VMA A4 1 v.$fY $h20071127$i20071127 977 $a 01 996 $aReport on fiber-reinforced polymer (FRP) reinforcement for concrete structures$91572835 997 $aUNISANNIO