基于不可靠车际通信的协同自适应巡航控制系统安全认证
Safety Certified Cooperative Adaptive Cruise Control under Unreliable Inter-vehicle Communications
AI总结：
本文研究了在不可靠车际通信环境下协同自适应巡航控制系统的安全认证问题，通过考虑非确定性时延和数据包丢失，形式化验证了混合CACC系统的被动安全性，定义了安全控制包络以指导控制信号合成。
摘要：
协同自适应巡航控制系统（CACC）系统有潜力显著减少交通拥堵并维持高水平的安全性。近年来，形式化方法在CACC系统分析和设计中的应用逐渐增加。然而，现有大多数研究成果通常假设理想的车际通信，这与现实情况相差甚远。因此，本文旨在通过显式考虑不可靠车际通信引起的非确定性时延和数据包丢失来填补这一差距。特别是，我们考虑了一种被动安全性属性，要求车辆避免任何可视为其故障的碰撞。在假设通信时延有界且已知上界的情况下，我们形式化验证了一类混合CACC系统的被动安全性。这一结果允许我们定义一个安全控制包络，以指导控制信号的合成。在CACC系统内处于安全控制包络内的车辆将被保证避免主动碰撞。
英文摘要：
Cooperative adaptive cruise control(CACC) system provides a great promise to significantly reduce traffic congestion while maintaining a high level of safety. Recent years have seen an increase of using formal methods in the analysis and design of cooperative adaptive cruise control systems. However, most existing results using formal methods usually assumed an ideal inter-vehicle communication, which is far from the real world situation. Hence, we are motivated to close the gap by explicitly considering non-deterministic time delay and packet dropout due to unreliable inter-vehicle communications. In particular, we consider a passive safety property, which requests a vehicle to avoid any collisions that can be considered as its fault. Under the assumption that the communication delay is bounded and we know the upper bound, we then formally verify the passivity safety of a class of hybrid CACC systems. This result allows us to define a safe control envelope that will guide the synthesis of control signals. Vehicles under the CACC within the safe control envelope are guaranteed to avoid active collisions.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
