One embodiment described herein relates to a method for supervising a dynamic system, for example a vehicle. The method includes receiving a system state sample and calculating, for a specific time instant, a reachable set of system states based on a current system state and a system model representing the dynamic system. The method further includes calculating a mathematical representation of a specific manifestation of a generic rule and calculating an allowed subset of system states based on the reachable set and the mathematical representation of the specific manifestation of the generic rule. Furthermore, the method includes testing whether the system state sample is within the allowed subset.


    Access

    Download


    Export, share and cite



    Title :

    Formal Verification for the Development and Real-Time Application of Autonomous Systems


    Contributors:

    Publication date :

    2022-06-30


    Type of media :

    Patent


    Type of material :

    Electronic Resource


    Language :

    English


    Classification :

    IPC:    B60W CONJOINT CONTROL OF VEHICLE SUB-UNITS OF DIFFERENT TYPE OR DIFFERENT FUNCTION , Gemeinsame Steuerung oder Regelung von Fahrzeug-Unteraggregaten verschiedenen Typs oder verschiedener Funktion





    Formal Verification of Autonomous Vehicle Platooning

    Kamali, Maryam / Dennis, Louise A. / McAree, Owen et al. | ArXiv | 2016

    Free access


    SYSTEMS AND METHODS FOR FORMAL VERIFICATION OF CORNER CASES FOR AUTONOMOUS VEHICLES

    SANCHEZ JUSTIN / GUPTA ROHIT / AMMAR NEJIB et al. | European Patent Office | 2025

    Free access