01790nam 2200445z- 450 9910553076003321202203221000097527(CKB)5860000000016682(oapen)https://directory.doabooks.org/handle/20.500.12854/79697(oapen)doab79697(EXLCZ)99586000000001668220202203d2022 |y 0engurmn|---annantxtrdacontentcrdamediacrrdacarrierGuaranteed Verification of Dynamic SystemsKarlsruheKIT Scientific Publishing20221 online resource (216 p.)Karlsruher Beiträge zur Regelungs- und Steuerungstechnik3-7315-0965-2 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.Electrical engineeringbicsscBounded ErrorDiagnoseDiagnosisDynamic SystemsDynamische SystemeInterval ArithmeticIntervall ArithmetikVerificationVerifikationElectrical engineeringSchwab Stefanauth1325373BOOK9910553076003321Guaranteed Verification of Dynamic Systems3036815UNINA01869nam0 22004093i 450 CFI020122820251003044133.0881402372720110302d1990 ||||0itac50 baitaitz01i xxxe z01nz01ncRDAcarrierˆLa ‰vaghezza delle normeun'analisi del linguaggio giuridicoClaudio LuzzatiMilanoA. Giuffrè1990X, 433 p.24 cmStudi di filosofia del dirittoUniversità di Milano, Facoltà di giurisprudenza, Istituto di filosofia e sociologia del diritto17In testa al front.: Università di Milano, Facoltà di giurisprudenza, Istituto di filosofia e sociologia del diritto.001CFI00123652001 Studi di filosofia del dirittoUniversità di Milano, Facoltà di giurisprudenza, Istituto di filosofia e sociologia del diritto1771201Università degli studi di Milano : Istituto di filosofia e sociologia del dirittoCFIV007440NORME GIURIDICHEINTERPRETAZIONEFIRMILC036920EITMilanoMUSL002184340DIRITTO12340.014DIRITTO. Linguaggio e comunicazione21340.1DIRITTO. FILOSOFIA E TEORIA20340.1DIRITTO. FILOSOFIA E TEORIA21EsegesiInterpretazioneEsegesiLuzzati, ClaudioCFIV061004070231508ITIT-00000020110302IT-BN0095 NAP 01D $CFI0201228Biblioteca Centralizzata di Ateneo1 v. 01D (AR) 8 715 01AR 0070087155 VMA 1 v.Y 2015103020151030 01Vaghezza delle norme62861UNISANNIO