Automated driving is one of the major tendencies in last decades, and it is presented as a reliable option to improve comfort during driving, including disable and elder in society and increasing persons safety in roads. This last topic produces the question how is it possible to verify planning and control algorithms for a reliable commercial use of this technology. The question can be answered from two perspective: experimental or formal methods, where the formal one is selected as the most robust between both. Hence, the current work presents a case study verification in automated driving for lane change and double lane change maneuvers, using as basis a trace conformance method presented in [1]. The verification method is performed in Dynacar as a precise multibody simulator tuned for a commercial Renault Twizy vehicle.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Towards conformant models of automated electric vehicles


    Contributors:


    Publication date :

    2018-09-01


    Size :

    918021 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    CCSDS Conformant Interfaces to ESTRACK : final report; executive summary

    Softlab, Gesellschaft für Systementwicklung und EDV-Anwendung | SLUB | 2000



    Real-Time Radar-Based Tracking and State Estimation of Multiple Non-Conformant Aircraft

    Cook, Brandon / Arnett, Timothy J. / Macmann, Owen et al. | AIAA | 2017


    Real-Time Radar-Based Tracking and State Estimation of Multiple Non-Conformant Aircraft

    Cook, Brandon / Arnett, Timothy / Macmann, Owen et al. | NTRS | 2017