• Part of
    Ubiquity Network logo
    Interesse beim KIT-Verlag zu publizieren? Informationen für Autorinnen und Autoren

    Online lesen
  • No readable formats available

    • Guaranteed Verification of Dynamic Systems

    Stefan Schwab

    Band 12 von Karlsruher Beiträge zur Regelungs- und Steuerungstechnik
     Download
    Buch kaufen

    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.

    Umfang: LVII, 143 S.

    Preis: 51.00 €

    Fächer:

    Elektrotechnik 

    Schlagwörter:

    Verifikation Dynamische Systeme Intervall Arithmetik Diagnose Bounded Error Verification Dynamic Systems Interval Arithmetic Diagnosis

    Wikipedia Concepts

    These are words or phrases in the text that have been automatically identified by the Named Entity Recognition and Disambiguation service, which provides Wikipedia () and Wikidata () links for these entities.

    Metrics:

    Konversationen


    Empfohlene Zitierweise
    Schwab, S. 2022. Guaranteed Verification of Dynamic Systems. Karlsruhe: KIT Scientific Publishing. DOI: https://doi.org/10.5445/KSP/1000097527
    Schwab, S., 2022. Guaranteed Verification of Dynamic Systems. Karlsruhe: KIT Scientific Publishing. DOI: https://doi.org/10.5445/KSP/1000097527
    Schwab, S. Guaranteed Verification of Dynamic Systems. KIT Scientific Publishing, 2022. DOI: https://doi.org/10.5445/KSP/1000097527
    Schwab, S. (2022). Guaranteed Verification of Dynamic Systems. Karlsruhe: KIT Scientific Publishing. DOI: https://doi.org/10.5445/KSP/1000097527
    Schwab, Stefan. 2022. Guaranteed Verification of Dynamic Systems. Karlsruhe: KIT Scientific Publishing. DOI: https://doi.org/10.5445/KSP/1000097527



    Export to:




    Lizenz

    Dieses Buch ist lizenziert unter Creative Commons Attribution + ShareAlike 4.0

    Peer Review Informationen

    Dieses Buch ist Peer reviewed. Informationen dazu finden Sie hier

    Weitere Informationen

    Veröffentlicht am 15. März 2022

    Sprache

    Englisch

    Seitenanzahl:

    216

    ISBN
    Paperback 978-3-7315-0965-3

    DOI
    https://doi.org/10.5445/KSP/1000097527