We address the problem how high-fidelity verification results about the hybrid systems dynamics of cyber-physical flow systems can be provided at the scale of large (traffic) networks without prohibitive analytic cost. We propose the use of contracts for traffic flow components concisely capturing the conditions for a safe operation in the context of a traffic network. This reduces the analysis of flows in the full traffic network to simple arithmetic checks of the local compatibility of the traffic component contracts, while retaining higher-fidelity correctness guarantees of the global hybrid systems models that inherits from correct contracts of the hybrid system components. We evaluate our approach in a case study of a modular traffic network and a prototypical implementation in a model-based analysis and design tool for traffic flow networks.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Verified Traffic Networks: Component-Based Verification of Cyber-Physical Flow Systems


    Beteiligte:
    Muller, Andreas (Autor:in) / Mitsch, Stefan (Autor:in) / Platzer, Andre (Autor:in)


    Erscheinungsdatum :

    01.09.2015


    Format / Umfang :

    515691 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Research on Urban Traffic Signal Control Systems Based on Cyber Physical Systems

    Li-li Zhang / Qi Zhao / Li Wang et al. | DOAJ | 2020

    Freier Zugriff



    Formal verification in the loop to enhance verification of safety-critical cyber-physical systems

    Cinzia Bernardeschi / Andrea Domenici / Sergio Saponara | BASE | 2019

    Freier Zugriff