Validation and verification (V&V) is an integral part of system design that allows the designer to establish the correctness of a system as well as analyze its robustness in the presence of disturbances and failures. V&V is especially critical in the development of autonomous vehicles. The pursuer-evader problem is a particularly challenging topic in autonomous vehicle research because it includes several different problems such as path planning, target assignment, and collision avoidance. In this paper, we describe the foundation of a model-based V&V framework that enables validation and verification of certain aspects of the performance of autonomous pursuer vehicles. In particular, we concentrate on the verification and analysis of a collision-avoidance strategy employed to prevent collisions between pursuers. The work presented in this paper was conducted at the Lockheed Martin Advanced Technology Center and is part of the ongoing VVIACS project (validation and verification of intelligent and adaptive control systems) as presented in G. Tallant et al. (2004).


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Model-based validation and verification of autonomous networked vehicles


    Contributors:
    Sapronov, L. (author) / Bose, P. (author)

    Published in:

    Publication date :

    2005-01-01


    Size :

    223852 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Model-based Validation and Verification of Autonomous Networked Vehicles

    Sapronov, L. / Bose, P. / IEEE | British Library Conference Proceedings | 2005


    Trajectory Verification for Networked and Autonomous Vehicles using Temporal Logic and Model Checking

    Kloock, Maximilian / He, Qingyun / Kowalewski, Stefan et al. | IEEE | 2021


    High Reliability Imperative for Autonomous Networked Vehicles

    Adler, Allen / Madni, Azad M. | Springer Verlag | 2017


    Verification and Validation of Model-Based Autonomous Systems

    Pecheur, Charles / Koga, Dennis | NTRS | 2001


    Towards Mechatronics Approach of System Design, Verification and Validation for Autonomous Vehicles

    Samak, Chinmay Vilas / Samak, Tanmay Vilas / Krovi, Venkat | ArXiv | 2023

    Free access