Lattarulo, Ray A.Heb, DanielMatute, Jose A.Perez, JoshueHes, Daniel2018-10-31Lattarulo , R A , Heb , D , Matute , J A , Perez , J & Hes , D 2018 , Towards conformant models of automated electric vehicles . in unknown . 2018 IEEE International Conference on Vehicular Electronics and Safety, ICVES 2018 , IEEE , pp. 1-6 , 2018 IEEE International Conference on Vehicular Electronics and Safety, ICVES 2018 , Madrid , Spain , 12/09/18 . https://doi.org/10.1109/ICVES.2018.8519484conference978-1-5386-3544-5978-1-5386-3543-89781538635438researchoutputwizard: 11556/638Publisher Copyright: © 2018 IEEE.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.61836157enginfo:eu-repo/semantics/openAccessconference output10.1109/ICVES.2018.8519484TrajectoryWheelsMathematical modelBicyclesAccelerationComputer architectureTiresTrajectoryWheelsMathematical modelBicyclesAccelerationComputer architectureTiresAutomated vehiclesconformance testingtracking controllersverificationComputer Networks and CommunicationsAutomotive EngineeringElectrical and Electronic EngineeringSafety, Risk, Reliability and QualityControl and OptimizationProject IDinfo:eu-repo/grantAgreement/EC/H2020/643921/EU/Unifying Control and Verification of Cyber-Physical Systems/UnCoVerCPSinfo:eu-repo/grantAgreement/EC/H2020/643921/EU/Unifying Control and Verification of Cyber-Physical Systems/UnCoVerCPSFunding InfoH2020 UnCoVerCPS_x000D_ Project with grant number 643921.H2020 UnCoVerCPS_x000D_ Project with grant number 643921.http://www.scopus.com/inward/record.url?scp=85057583112&partnerID=8YFLogxK