Imagen de Portada

Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Zaker, Mahdieh, Blom, Henk A. P., Soudjani, Sadegh, Lavaei, Abolfazl
Formato:	Preprint
Publicado:	2024
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

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories
por: Samari, Behrad, et al.
Publicado: (2024)

Certified Learning of Incremental ISS Controllers for Unknown Nonlinear Polynomial Dynamics
por: Zaker, Mahdieh, et al.
Publicado: (2024)

From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees
por: Zaker, Mahdieh, et al.
Publicado: (2025)

Data-Driven Safety Certificates of Infinite Networks with Unknown Models and Interconnection Topologies
por: Zaker, Mahdieh, et al.
Publicado: (2025)

Data-Driven Incremental GAS Certificate of Nonlinear Homogeneous Networks: A Scenario Approach with Noisy Data
por: Zaker, Mahdieh, et al.
Publicado: (2025)

Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach
por: Wooding, Ben, et al.
Publicado: (2023)

From a Single Trajectory to Safety Controller Synthesis of Discrete-Time Nonlinear Polynomial Systems
por: Samari, Behrad, et al.
Publicado: (2024)

Compositional Design of Safety Controllers for Large-Scale Stochastic Hybrid Systems
por: Zaker, Mahdieh, et al.
Publicado: (2024)

Data-Driven Global Stabilization of Unknown Infinite Networks
por: Zaker, Mahdieh, et al.
Publicado: (2026)

Logic-based Knowledge Awareness for Autonomous Agents in Continuous Spaces
por: Ghosh, Arabinda, et al.
Publicado: (2024)

Robust Control of Uncertain Switched Affine Systems via Scenario Optimization
por: Monir, Negar, et al.
Publicado: (2025)

Logic-based Resilience Computation of Power Systems Against Frequency Requirements
por: Monir, Negar, et al.
Publicado: (2025)

Data-Driven Stochastic Control via Non-i.i.d. Trajectories: Foundations and Guarantees
por: Lavaei, Abolfazl
Publicado: (2025)

Robust Model Predictive Control for Aircraft Intent-Aware Collision Avoidance
por: Kordabad, Arash Bahari, et al.
Publicado: (2024)

IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems
por: Wooding, Ben, et al.
Publicado: (2024)

Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials
por: Wooding, Ben, et al.
Publicado: (2024)

From Dissipativity Property to Data-Driven GAS Certificate of Degree-One Homogeneous Networks with Unknown Topology
por: Lavaei, Abolfazl, et al.
Publicado: (2025)

Data-Driven Dynamic Controller Synthesis for Discrete-Time General Nonlinear Systems
por: Samari, Behrad, et al.
Publicado: (2025)

Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation
por: Zhang, Zhi, et al.
Publicado: (2024)

Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach
por: Sangeerth, P, et al.
Publicado: (2024)

Towards Certified Sim-to-Real Transfer via Stochastic Simulation-Gap Functions
por: Sangeerth, P, et al.
Publicado: (2026)

Barrier Certificates for Uncertain Temporal Specifications
por: Mamduhi, Mohammad H., et al.
Publicado: (2026)

Policy Synthesis for Interval MDPs via Polyhedral Lyapunov Functions
por: Monir, Negar, et al.
Publicado: (2026)

Temporal Logic Resilience for Dynamical Systems
por: Saoud, Adnane, et al.
Publicado: (2024)

Data-driven verification and synthesis of stochastic systems via barrier certificates
por: Ali Salamati, et al.
Publicado: (2025)

Intent-Aware MPC for Aircraft Detect-and-Avoid with Response Delay: A Comparative Study with ACAS Xu
por: Kordabad, Arash Bahari, et al.
Publicado: (2025)

LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
por: Casablanca, Ernesto, et al.
Publicado: (2025)

Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems
por: Kordabad, Arash Bahari, et al.
Publicado: (2025)

From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected Networks
por: Akbarzadeh, Omid, et al.
Publicado: (2024)

Data-Driven Control of Large-Scale Networks with Formal Guarantees: A Small-Gain Free Approach
por: Samari, Behrad, et al.
Publicado: (2024)

PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems
por: Wooding, Ben, et al.
Publicado: (2024)

Model Order Reduction from Data with Certification
por: Samari, Behrad, et al.
Publicado: (2025)

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
por: Schön, Oliver, et al.
Publicado: (2025)

ARCH-COMP25 Category Report: Stochastic Models
por: Abate, Alessandro, et al.
Publicado: (2025)

Almost Sure Reachability in Continuous-time Stochastic Systems
por: Kordabad, Arash Bahari, et al.
Publicado: (2026)

Stochastic Generalized Dynamic Games with Coupled Chance Constraints
por: Yadollahi, Seyed Shahram, et al.
Publicado: (2025)

Second-Order Policy Gradient Methods for the Linear Quadratic Regulator
por: Valaei, Amirreza, et al.
Publicado: (2025)

Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization
por: Vlahakis, Eleftherios E., et al.
Publicado: (2026)

Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings
por: Schön, Oliver, et al.
Publicado: (2024)

Kernel-Based Safe Exploration in Deep Reinforcement Learning
por: Majumdar, Rupak, et al.
Publicado: (2026)