自动驾驶

Towards Physically Consistent 4D Scene Reconstruction for Closed-loop Autonomous Driving Simulation

迈向物理一致的闭环自动驾驶模拟中的4D场景重建

Bowyn Tan, Yutong Xie, Bai Huang, Fan Luo, Xiao Li, Naizheng Wang, Yang Guan, Shengbo Eben Li

机构 * Tsinghua University（清华大学） ； Meituan（美团） ； Central University of Finance and Economics（中央财经大学） 纠错

专题命中 仿真评测 ：autonomous driving(title,abstract)；分类 cs.CV

AI总结 本文提出了一种信息几何诊断框架，解决3DGS方法在同时实现空间和时间参数建模时的信用分配难题，通过引入正交投影梯度（OPG）和时间正则化策略，提升了4D场景重建的物理一致性。

Comments 20 pages, 4 figures

CARACAS: vehiCular ArchitectuRe for detAiled Can Attacks Simulation

CARACAS：用于详细CAN攻击模拟的车辆架构

Sadek Misto Kirdi, Nicola Scarano, Franco Oberti, Luca Mannella, Stefano Di Carlo, Alessandro Savino

机构 * Politecnico di Torino, Department of Control（都灵理工大学控制与计算机工程系） 纠错

专题命中 仿真评测 ：BEV(abstract,abstract_cn)；分类 cs.AI

AI总结 本文提出CARACAS，一种用于模拟详细CAN攻击的车辆模型，通过结合Simulink等仿真框架和攻击模型的稳健表示，生成合成数据集以提高IDS的检测能力，重点展示电池电动车的扭矩控制攻击模拟。

Comments 6 pages, 8 figures, TrustAICyberSec workshop - IEEE ISCC 2024

Journal ref Proceeding of the 29th IEEE Symposium on Computers and Communications, ISCC 2024

Separation Logic for Verifying Physical Collisions of CNC Programs

用于验证CNC程序物理碰撞的分离逻辑

Yeonseok Lee

专题命中 仿真评测 ：occupancy(abstract)

AI总结 本文提出了一种形式验证框架，将CNC工作空间概念化为空间堆，利用分离逻辑验证安全性和物理碰撞，通过形式三元组检测逻辑空间竞赛，扩展到协作环境并支持多轴运动学。

Comments 20 pages, 4 figures