Guaranteed Verification of Dynamic Systems

Guaranteed Verification of Dynamic Systems

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...

Full description

Saved in:
Bibliographic Details
Superior document:Karlsruher Beiträge zur Regelungs- und Steuerungstechnik
:
Schwab, Stefan
Year of Publication:2022
Language:English
Series:Karlsruher Beiträge zur Regelungs- und Steuerungstechnik
Physical Description:1 electronic resource (216 p.)
Tags: Add Tag
No Tags, Be the first to tag this record!
id 993544621204498
ctrlnum (CKB)5860000000016682
(oapen)https://directory.doabooks.org/handle/20.500.12854/79697
(EXLCZ)995860000000016682
collection bib_alma
record_format marc
spelling Schwab, Stefan auth
Guaranteed Verification of Dynamic Systems
Karlsruhe KIT Scientific Publishing 2022
1 electronic resource (216 p.)
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
Karlsruher Beiträge zur Regelungs- und Steuerungstechnik
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.
English
Electrical engineering bicssc
Verifikation
Dynamische Systeme
Intervall Arithmetik
Diagnose
Bounded Error
Verification
Dynamic Systems
Interval Arithmetic
Diagnosis
3-7315-0965-2
language English
format eBook
author Schwab, Stefan
spellingShingle Schwab, Stefan
Guaranteed Verification of Dynamic Systems
Karlsruher Beiträge zur Regelungs- und Steuerungstechnik
author_facet Schwab, Stefan
author_variant s s ss
author_sort Schwab, Stefan
title Guaranteed Verification of Dynamic Systems
title_full Guaranteed Verification of Dynamic Systems
title_fullStr Guaranteed Verification of Dynamic Systems
title_full_unstemmed Guaranteed Verification of Dynamic Systems
title_auth Guaranteed Verification of Dynamic Systems
title_new Guaranteed Verification of Dynamic Systems
title_sort guaranteed verification of dynamic systems
series Karlsruher Beiträge zur Regelungs- und Steuerungstechnik
series2 Karlsruher Beiträge zur Regelungs- und Steuerungstechnik
publisher KIT Scientific Publishing
publishDate 2022
physical 1 electronic resource (216 p.)
isbn 1000097527
3-7315-0965-2
illustrated Not Illustrated
work_keys_str_mv AT schwabstefan guaranteedverificationofdynamicsystems
status_str n
ids_txt_mv (CKB)5860000000016682
(oapen)https://directory.doabooks.org/handle/20.500.12854/79697
(EXLCZ)995860000000016682
carrierType_str_mv cr
hierarchy_parent_title Karlsruher Beiträge zur Regelungs- und Steuerungstechnik
is_hierarchy_title Guaranteed Verification of Dynamic Systems
container_title Karlsruher Beiträge zur Regelungs- und Steuerungstechnik
_version_ 1796648862682710017
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01646nam-a2200397z--4500</leader><controlfield tag="001">993544621204498</controlfield><controlfield tag="005">20231214132830.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr|mn|---annan</controlfield><controlfield tag="008">202203s2022 xx |||||o ||| 0|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1000097527</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)5860000000016682</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(oapen)https://directory.doabooks.org/handle/20.500.12854/79697</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)995860000000016682</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Schwab, Stefan</subfield><subfield code="4">auth</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Guaranteed Verification of Dynamic Systems</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Karlsruhe</subfield><subfield code="b">KIT Scientific Publishing</subfield><subfield code="c">2022</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 electronic resource (216 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Karlsruher Beiträge zur Regelungs- und Steuerungstechnik</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Electrical engineering</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Verifikation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Dynamische Systeme</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Intervall Arithmetik</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Diagnose</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Bounded Error</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Verification</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Dynamic Systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Interval Arithmetic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Diagnosis</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">3-7315-0965-2</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2023-12-15 05:32:47 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2022-04-02 22:03:30 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="i">DOAB Directory of Open Access Books</subfield><subfield code="P">DOAB Directory of Open Access Books</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&amp;portfolio_pid=5337728850004498&amp;Force_direct=true</subfield><subfield code="Z">5337728850004498</subfield><subfield code="b">Available</subfield><subfield code="8">5337728850004498</subfield></datafield></record></collection>

Similar Items