Functional safety for highly automated vehicles

Tesi amb menció de Doctorat Internacional

Detalles Bibliográficos
Autor: Conejo Barceló, Carlos|||0009-0007-7233-5650
Tipo de recurso: tesis doctoral
Fecha de publicación:2025
País:España
Institución:Universitat Politècnica de Catalunya (UPC)
Repositorio:UPCommons. Portal del coneixement obert de la UPC
Idioma:inglés
OAI Identifier:oai:upcommons.upc.edu:2117/442937
Acceso en línea:https://hdl.handle.net/2117/442937
https://dx.doi.org/10.5821/dissertation-2117-442937
Access Level:acceso embargado
Palabra clave:Functional Safety
Autonomous Vehicles
Fault Detection and Isolation
Supervisory Systems
Data-driven Model
Predictive Control
004 - Informàtica
629 - Enginyeria dels vehicles de transport
Àrees temàtiques de la UPC::Informàtica
Àrees temàtiques de la UPC::Enginyeria mecànica
id ES_8497bcdcb01b516a4f2bc5e7deb2628a
oai_identifier_str oai:upcommons.upc.edu:2117/442937
network_acronym_str ES
network_name_str España
repository_id_str
dc.title.none.fl_str_mv Functional safety for highly automated vehicles
title Functional safety for highly automated vehicles
spellingShingle Functional safety for highly automated vehicles
Conejo Barceló, Carlos|||0009-0007-7233-5650
Functional Safety
Autonomous Vehicles
Fault Detection and Isolation
Supervisory Systems
Data-driven Model
Predictive Control
004 - Informàtica
629 - Enginyeria dels vehicles de transport
Àrees temàtiques de la UPC::Informàtica
Àrees temàtiques de la UPC::Enginyeria mecànica
title_short Functional safety for highly automated vehicles
title_full Functional safety for highly automated vehicles
title_fullStr Functional safety for highly automated vehicles
title_full_unstemmed Functional safety for highly automated vehicles
title_sort Functional safety for highly automated vehicles
dc.creator.none.fl_str_mv Conejo Barceló, Carlos|||0009-0007-7233-5650
author Conejo Barceló, Carlos|||0009-0007-7233-5650
author_facet Conejo Barceló, Carlos|||0009-0007-7233-5650
author_role author
dc.subject.none.fl_str_mv Functional Safety
Autonomous Vehicles
Fault Detection and Isolation
Supervisory Systems
Data-driven Model
Predictive Control
004 - Informàtica
629 - Enginyeria dels vehicles de transport
Àrees temàtiques de la UPC::Informàtica
Àrees temàtiques de la UPC::Enginyeria mecànica
topic Functional Safety
Autonomous Vehicles
Fault Detection and Isolation
Supervisory Systems
Data-driven Model
Predictive Control
004 - Informàtica
629 - Enginyeria dels vehicles de transport
Àrees temàtiques de la UPC::Informàtica
Àrees temàtiques de la UPC::Enginyeria mecànica
description Tesi amb menció de Doctorat Internacional
publishDate 2025
dc.date.none.fl_str_mv 2025
2025-07-21
2025
2025-10-02
2027
2027-06-01
dc.type.none.fl_str_mv doctoral thesis
http://purl.org/coar/resource_type/c_db06
VoR
http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.openaire.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
dc.identifier.none.fl_str_mv https://hdl.handle.net/2117/442937
https://dx.doi.org/10.5821/dissertation-2117-442937
url https://hdl.handle.net/2117/442937
https://dx.doi.org/10.5821/dissertation-2117-442937
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv embargoed access
http://purl.org/coar/access_right/c_f1cf
Attribution-NonCommercial-NoDerivs 4.0 International
http://creativecommons.org/licenses/by-nc-nd/4.0/
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/embargoedAccess
rights_invalid_str_mv embargoed access
http://purl.org/coar/access_right/c_f1cf
Attribution-NonCommercial-NoDerivs 4.0 International
http://creativecommons.org/licenses/by-nc-nd/4.0/
eu_rights_str_mv embargoedAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universitat Politècnica de Catalunya
publisher.none.fl_str_mv Universitat Politècnica de Catalunya
dc.source.none.fl_str_mv reponame:UPCommons. Portal del coneixement obert de la UPC
instname:Universitat Politècnica de Catalunya (UPC)
instname_str Universitat Politècnica de Catalunya (UPC)
reponame_str UPCommons. Portal del coneixement obert de la UPC
collection UPCommons. Portal del coneixement obert de la UPC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869412235668881408
spelling Functional safety for highly automated vehiclesConejo Barceló, Carlos|||0009-0007-7233-5650Functional SafetyAutonomous VehiclesFault Detection and IsolationSupervisory SystemsData-driven ModelPredictive Control004 - Informàtica629 - Enginyeria dels vehicles de transportÀrees temàtiques de la UPC::InformàticaÀrees temàtiques de la UPC::Enginyeria mecànicaTesi amb menció de Doctorat Internacional(English) The rapid advancement of autonomous vehicle technologies offers significant opportunities to improve road safety, but also introduces challenges to ensure compliance with established safety standards. This thesis focuses on guaranteeing functional safety in highly automated vehicles (SAE Levels 4-5), ensuring adherence to ISO~26262, which governs safety risks in electrical and electronic systems. To address these challenges, this work introduces a behavior tree-based supervisor that transforms static functional safety analyses into runtime monitoring, ensuring real-time compliance with safety requirements. The supervisor is formally verified using temporal logic to guarantee correctness under all operational conditions. Furthermore, a zonotopic LPV-EKF observer is developed for robust fault detection and isolation, improving the reliability of sensor-based vehicle state estimation under bounded uncertainties. Complementing these contributions, a data-driven zonotopic predictive control framework with functional safety guarantees is proposed. This framework integrates reachability analysis to guide vehicles toward predefined safe states in the presence of system-level anomalies and is formally verified through temporal logic specifications. The methodologies presented are validated on autonomous Renault Zoe and Mégane platforms, demonstrating their practical effectiveness in ensuring functional safety in autonomous driving under real-world scenarios.(Català) El ràpid avenç de les tecnologies dels vehicles autònoms ofereix oportunitats significatives per millorar la seguretat viària, però també planteja reptes per garantir el compliment dels estàndards de seguretat establerts. Aquesta tesi es centra a garantir la seguretat funcional en vehicles altament automatitzats (nivells d’automatització SAE 4-5), assegurant l’adhesió a la norma ISO~26262, que regula els riscos de seguretat en els sistemes elèctrics i electrònics. Per abordar aquests reptes, es presenta un supervisor basat en arbres de comportament que transforma les anàlisis estàtiques de seguretat funcional en supervisió en temps real, assegurant el compliment dels requisits de seguretat durant el funcionament. Aquest supervisor està verificat formalment mitjançant lògica temporal, garantint-ne la correcció sota totes les condicions operatives. A més, es desenvolupa un observador zonotòpic LPV-EKF per a la detecció i aïllament de fallades, millorant la fiabilitat de l’estimació de l’estat del vehicle basada en sensors amb incerteses acotades. Com a complement, es proposa un marc de control predictiu zonotòpic basat en dades, amb garanties de seguretat funcional. Aquest marc integra l’anàlisi de l’assolibilitat per guiar el vehicle cap a estats segurs predefinits en presència d’anomalies a escala de sistema i està verificat formalment mitjançant especificacions de lògica temporal. Les metodologies presentades es validen en plataformes autònomes Renault Zoe i Mégane, demostrant-ne l’efectivitat pràctica per avançar en la seguretat funcional de la conducció autònoma en escenaris reals.(Español) El rápido avance de las tecnologías de vehículos autónomos ofrece importantes oportunidades para mejorar la seguridad vial, pero también plantea desafíos para garantizar el cumplimiento de los estándares de seguridad establecidos. Esta tesis se centra en garantizar la seguridad funcional en vehículos altamente automatizados (niveles de automatización SAE 4-5), asegurando la conformidad con la norma ISO~26262, que regula los riesgos de seguridad en los sistemas eléctricos y electrónicos. Para abordar estos desafíos, se presenta un supervisor basado en árboles de comportamiento que transforma los análisis estáticos de seguridad funcional en supervisión en tiempo de ejecución, asegurando el cumplimiento en tiempo real de los requisitos de seguridad. Este supervisor está verificado formalmente mediante lógica temporal, garantizando su corrección bajo todas las condiciones operativas. Además, se desarrolla un observador zonotópico LPV-EKF para la detección y aislamiento de fallos, mejorando la fiabilidad de la estimación del estado del vehículo basada en sensores bajo incertidumbres acotadas. Complementando estas contribuciones, se propone un marco de control predictivo zonotópico basado en datos, con garantías de seguridad funcional. Este marco integra el análisis de alcanzabilidad para guiar el vehículo hacia estados seguros predefinidos en presencia de anomalías a nivel del sistema y está verificado formalmente mediante especificaciones de lógica temporal. Las metodologías presentadas se validan en plataformas autónomas Renault Zoe y Mégane, demostrando su efectividad práctica para avanzar en la seguridad funcional de la conducción autónoma en escenarios del mundo real.Universitat Politècnica de Catalunya20252025-07-2120252025-10-0220272027-06-01doctoral thesishttp://purl.org/coar/resource_type/c_db06VoRhttp://purl.org/coar/version/c_970fb48d4fbd8a85info:eu-repo/semantics/doctoralThesisapplication/pdfhttps://hdl.handle.net/2117/442937https://dx.doi.org/10.5821/dissertation-2117-442937reponame:UPCommons. Portal del coneixement obert de la UPCinstname:Universitat Politècnica de Catalunya (UPC)Inglésengembargoed accesshttp://purl.org/coar/access_right/c_f1cfAttribution-NonCommercial-NoDerivs 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/embargoedAccessoai:upcommons.upc.edu:2117/4429372026-05-27T15:37:01Z
score 15,811543

Similares en LA Referencia