We introduce the verification of hybrid systems as offered by the open-source framework called ARIADNE. The ARIADNE C++ library exploits approximation techniques based on the theory of computable analysis for implementing formal verification algorithms based on reachability analysis. We demonstrate the tool using a classical example of a controlled water tank system.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    An Introduction to the Verification of Hybrid Systems Using Ariadne


    Weitere Titelangaben:

    Lect. Notes Control


    Beteiligte:
    van Schuppen, Jan H. (Herausgeber:in) / Villa, Tiziano (Herausgeber:in) / Bresolin, Davide (Autor:in) / Geretti, Luca (Autor:in) / Villa, Tiziano (Autor:in) / Collins, Pieter (Autor:in)


    Erscheinungsdatum :

    26.09.2014


    Format / Umfang :

    8 pages





    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    CAPTAIN MARRYAT and the ARIADNE

    Meyerstein, E. H. W. | Taylor & Francis Verlag | 1935


    Ariadne - A Digital Topology Learning Environment

    Suemmermann, Moritz Lucius | BASE | 2019

    Freier Zugriff



    Ariadne: A Space Program Planning Decision Support Tool for Strategic Planners

    Coley, Mark D. / Maynard, Ian W. / Chudoba, Bernd | AIAA | 2021