Show simple item record

Guaranteed Verification of Dynamic Systems

dc.contributor.authorSchwab, Stefan
dc.date.accessioned2022-03-22T04:06:06Z
dc.date.available2022-03-22T04:06:06Z
dc.date.issued2022
dc.date.submitted2022-03-21T14:33:24Z
dc.identifierONIX_20220321_9783731509653_9
dc.identifierOCN: 1313556699
dc.identifier2511-6312
dc.identifierhttps://library.oapen.org/handle/20.500.12657/53518
dc.identifier.urihttps://directory.doabooks.org/handle/20.500.12854/79697
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.rightsopen access
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.subject.otherthema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THR Electrical engineering
dc.titleGuaranteed Verification of Dynamic Systems
dc.typebook
oapen.identifier.doi10.5445/KSP/1000097527
oapen.relation.isPublishedBy68fffc18-8f7b-44fa-ac7e-0b7d7d979bd2
oapen.relation.isbn9783731509653
oapen.collectionAG Universitätsverlage
oapen.imprintKIT Scientific Publishing
oapen.pages216
oapen.place.publicationKarlsruhe
peerreview.review.typeFull text
peerreview.anonymityAll identities known
peerreview.reviewer.typeEditorial board member
peerreview.reviewer.typeExternal peer reviewer
peerreview.review.stagePre-publication
peerreview.open.reviewNo
peerreview.publish.responsibilityBooks or series editor
peerreview.id51a542ec-eaeb-47c2-861d-6022e981a97a
dc.seriesnumber11
peerreview.titleDissertations in Series (Dissertationen in Schriftenreihe)


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

open access
Except where otherwise noted, this item's license is described as open access