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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    An Introduction to the Verification of Hybrid Systems Using Ariadne


    Additional title:

    Lect. Notes Control


    Contributors:


    Publication date :

    2014-09-26


    Size :

    8 pages





    Type of media :

    Article/Chapter (Book)


    Type of material :

    Electronic Resource


    Language :

    English




    CAPTAIN MARRYAT and the ARIADNE

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


    Ariadne - A Digital Topology Learning Environment

    Suemmermann, Moritz Lucius | BASE | 2019

    Free access



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

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