Imagen de Portada

Efficient Safety Verification of Autonomous Vehicles with Neural Network Operator

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Fan, Lingxiang, He, Linxuan, Ji, Haoyuan, Feng, Shuo
Formato:	Preprint
Publicado:	2025
Materias:	Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Deep Koopman Operator-Informed Safety Command Governor for Autonomous Vehicles
por: Chen, Hao, et al.
Publicado: (2024)

Safety Verification for Evasive Collision Avoidance in Autonomous Vehicles with Enhanced Resolutions
por: Arab, Aliasghar, et al.
Publicado: (2024)

Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints
por: Parameshwaran, Aditya, et al.
Publicado: (2024)

Few-Shot Testing of Autonomous Vehicles with Scenario Similarity Learning
por: Li, Shu, et al.
Publicado: (2024)

Adaptive Testing Environment Generation for Connected and Automated Vehicles with Dense Reinforcement Learning
por: Yang, Jingxuan, et al.
Publicado: (2024)

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles
por: Parameshwaran, Aditya, et al.
Publicado: (2025)

Adaptive Safety Evaluation for Connected and Automated Vehicles with Sparse Control Variates
por: Yang, Jingxuan, et al.
Publicado: (2022)

Exploring the Use of Autonomous Unmanned Vehicles for Supporting Power Grid Operations
por: Zhou, Yuqi, et al.
Publicado: (2024)

Safety-Centered Scenario Generation for Autonomous Vehicles
por: Shekar, Kiruthiga Chandra, et al.
Publicado: (2026)

Physics-Informed Adaptive Deep Koopman Operator Modeling for Autonomous Vehicle Dynamics
por: Zhang, Jianhua, et al.
Publicado: (2025)

Diagnosing and Predicting Autonomous Vehicle Operational Safety Using Multiple Simulation Modalities and a Virtual Environment
por: Beck, Joe, et al.
Publicado: (2024)

Advancing Autonomous Vehicle Safety: A Combined Fault Tree Analysis and Bayesian Network Approach
por: Dai, Lansu, et al.
Publicado: (2025)

Behavior Trees in Functional Safety Supervisors for Autonomous Vehicles
por: Conejo, Carlos, et al.
Publicado: (2024)

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
por: Foster, Simon, et al.
Publicado: (2020)

Risk-Budgeted Control Framework for Balanced Performance and Safety in Autonomous Vehicles
por: Chang, Pei Yu, et al.
Publicado: (2025)

Contingency Planning for Safety-Critical Autonomous Vehicles: A Review and Perspectives
por: Zheng, Lei, et al.
Publicado: (2026)

Incorporating ESO into Deep Koopman Operator Modelling for Control of Autonomous Vehicles
por: Chen, Hao, et al.
Publicado: (2024)

Safety-Aware Reinforcement Learning for Electric Vehicle Charging Station Management in Distribution Network
por: Fan, Jiarong, et al.
Publicado: (2024)

Algorithmic Approaches to Enhance Safety in Autonomous Vehicles: Minimizing Lane Changes and Merging
por: Abtahi, Seyed Moein, et al.
Publicado: (2025)

Validation of Neural Network Controllers for Uncertain Systems Through Keep-Close Approach: Robustness Analysis and Safety Verification
por: Zenati, Abdelhafid, et al.
Publicado: (2022)

A Data-Informed Analysis of Scalable Supervision for Safety in Autonomous Vehicle Fleets
por: Hickert, Cameron, et al.
Publicado: (2024)

Parallel Optimization with Hard Safety Constraints for Cooperative Planning of Connected Autonomous Vehicles
por: Huang, Zhenmin, et al.
Publicado: (2023)

Few-Shot Scenario Testing for Autonomous Vehicles Based on Neighborhood Coverage and Similarity
por: Li, Shu, et al.
Publicado: (2024)

Joint Optimization of Autonomous Electric Vehicle Fleet Operations and Charging Station Siting
por: Luke, Justin, et al.
Publicado: (2021)

Distributionally Robust Safety Verification of Neural Networks via Worst-Case CVaR
por: Kishida, Masako
Publicado: (2025)

Agile Decision-Making and Safety-Critical Motion Planning for Emergency Autonomous Vehicles
por: Shu, Yiming, et al.
Publicado: (2024)

Autonomous Air-Ground Vehicle Operations Optimization in Hazardous Environments: A Multi-Armed Bandit Approach
por: Choi, Jimin, et al.
Publicado: (2025)

Towards Safe Autonomous Intersection Management: Temporal Logic-based Safety Filters for Vehicle Coordination
por: Arfvidsson, Kaj Munhoz, et al.
Publicado: (2024)

TeraSim-World: Worldwide Safety-Critical Data Synthesis for End-to-End Autonomous Driving
por: Wang, Jiawei, et al.
Publicado: (2025)

Safe Data-Driven Control and Dynamical Learning via Constrained Neural Architectures and Koopman Operators
por: Feng, Lin, et al.
Publicado: (2026)

Adaptive Wall-Following Control for Unmanned Ground Vehicles Using Spiking Neural Networks
por: Yang, Hengye, et al.
Publicado: (2025)

Neural-network-based Self-triggered Observed Platoon Control for Autonomous Vehicles
por: Li, Zihan, et al.
Publicado: (2026)

Enhancing Safety in Mixed Traffic: Learning-Based Modeling and Efficient Control of Autonomous and Human-Driven Vehicles
por: Wang, Jie, et al.
Publicado: (2024)

Eco-Driving Control for Electric Vehicles with Multi-Speed Transmission: Optimizing Vehicle Speed and Powertrain Operation in Dynamic Environments
por: He, Suiyi, et al.
Publicado: (2026)

Vehicle-in-Virtual-Environment (VVE) Method for Developing and Evaluating VRU Safety of Connected and Autonomous Driving with Focus on Bicyclist Safety
por: Chen, Haochong, et al.
Publicado: (2025)

Verification of Autonomous Systems with Optimal Controllers
por: Le, Dylan, et al.
Publicado: (2026)

Efficient Verification and Falsification of ReLU Neural Barrier Certificates
por: Ren, Dejin, et al.
Publicado: (2025)

Safe and Efficient Coexistence of Autonomous Vehicles with Human-Driven Traffic at Signalized Intersections
por: Tzortzoglou, Filippos N., et al.
Publicado: (2025)

Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification
por: Meng, Yiming, et al.
Publicado: (2024)

Towards provable probabilistic safety for scalable embodied AI systems
por: He, Linxuan, et al.
Publicado: (2025)