Show simple item record

dc.contributor.authorSchwab, Stefan
dc.date.accessioned2022-03-21T14:33:24Z
dc.date.available2022-03-21T14:33:24Z
dc.date.issued2022
dc.identifierONIX_20220321_9783731509653_9
dc.identifier.issn2511-6312
dc.identifier.urihttps://library.oapen.org/handle/20.500.12657/53518
dc.description.abstractThis 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.
dc.languageEnglish
dc.relation.ispartofseriesKarlsruher Beiträge zur Regelungs- und Steuerungstechnik
dc.subject.classificationbic Book Industry Communication::T Technology, engineering, agriculture::TH Energy technology & engineering::THR Electrical engineering
dc.subject.otherVerifikation
dc.subject.otherDynamische Systeme
dc.subject.otherIntervall Arithmetik
dc.subject.otherDiagnose
dc.subject.otherBounded Error
dc.subject.otherVerification
dc.subject.otherDynamic Systems
dc.subject.otherInterval Arithmetic
dc.subject.otherDiagnosis
dc.titleGuaranteed Verification of Dynamic Systems
dc.typebook
oapen.identifier.doi10.5445/KSP/1000097527
oapen.relation.isPublishedBy44e29711-8d53-496b-85cc-3d10c9469be9
oapen.relation.isbn9783731509653
oapen.imprintKIT Scientific Publishing
oapen.series.number11
oapen.pages216
oapen.place.publicationKarlsruhe


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record