过去一年中添加的文章,按日期排序

Koopman-Based Hybrid Modeling and Zonotopic Tube Robust MPC for Motion Control of Automated Vehicles

H Zheng, Y Li, L Zheng… - IEEE Transactions on …, 2024 - ieeexplore.ieee.org
25 天前 - Automated Vehicles (AVs) have emerged as a critical element of Intelligent … ,
reachability analysis with set theory, and safe motion planning and control for automated vehicles. …

[HTML][HTML] On Safety Assessment of Automated Driving Systems Using Simulation-based Testing and Formal Methods

M Saraoglu - 2024 - tud.qucosa.de
25 天前 - … The reachability analysis is useful for predicting trajectories for possible maneuvers
in a … for an automated vehicle on a highway. By over-approximating these ego vehicle

[PDF][PDF] Robust and Efficient Curvilinear Coordinate Transformation with Guaranteed Map Coverage for Motion Planning

G Würsching, M Althoff - 2024 IEEE Intelligent Vehicles …, 2024 - mediatum.ub.tum.de
63 天前 - … for motion planners of automated vehicles. In structured … tasks: Computing the
reachable set of the ego vehicle and … We observe that the reachable set in Fig. 9a does not …

Specification-Compliant Reachability Analysis for Motion Planning of Automated Vehicles

E Irani Liu - 2024 - mediatum.ub.tum.de
140 天前 - … collision-free reachable sets of automated vehicles, identifying … reachable sets
as the planning space for trajectory planning of individual and cooperative automated vehicles, …

[PDF][PDF] Specification-Compliant Reachability Analysis for Motion Planning of Automated Vehicles

EI Liu - 2023 - d-nb.info
197 天前 - … collision-free reachable sets of automated vehicles, identifying … reachable sets
as the planning space for trajectory planning of individual and cooperative automated vehicles, …

[图书][B] Computation-aware Algorithmic Design for Cyber-physical Systems

M Prandini, RG Sanfelice - 2023 - Springer
256 天前 - Set-valued dynamics emerge when uncertainty is present and data-driven methods
for probabilistic reachability can represent a viable approach for safety verification in high-…

[HTML][HTML] Resilience in Control and Motion Planning for Autonomous robots

DH Nguyen - 2023 - ntnuopen.ntnu.no
271 天前 - … the system and respective controllers are designed for both operating modes with
stability guarantees provided by Lyapunov theory and numerically verified with reachability

Synthesizing Traffic Scenarios from Formal Specifications Using Reachability Analysis

F Finkeldei, M Althoff - 2023 IEEE 26th International …, 2023 - ieeexplore.ieee.org
279 天前 - … of automated vehicles (AVs). In this paper, we present a novel approach that combines
reachability … to a typically exponential increase for methods without reachability analysis. …

A Reachability Approach to Disturbance and Safety Propagation in Mixed Platoons

D Liu, B Besselink, S Baldi, W Yu… - IEEE Transactions on …, 2023 - ieeexplore.ieee.org
281 天前 - … Abstract—This work proposes a reachability approach to characterize how … -driven
vehicles followed by a single automated vehicle. We look at the behaviour of the leading …

Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes

A Söderlund, FJ Jiang, V Narri… - 2023 IEEE 26th …, 2023 - ieeexplore.ieee.org
312 天前 - … the modal reachable sets are less conservative and more descriptive of the future
state sets of … for a connected and automated vehicle (CAV) that leverages modal reachable