© 1999-2048 dssz.net 粤ICP备11031372号
[其它] rtreach_f1tenth:f1Tenth平台的实时可达性-源码
说明:F1第十路线 目录 F1Tenth平台的实时可达性 此仓库是的运行时保证方法的实现适用于F1Tenth平台。运行时间保证的动机源于控制自治系统所需的软件的日益复杂性,以及对这些系统进行安全性和正确性认证的需求。因此,本文包含的方法用于构建系统的监视器,该监视器可用于确保系统保持在安全的操作模式内。例如,在下面的动画中,我们显示了一个带有不安全神经网络启发式控制器的系统,该控制器偶尔会导致第十个模型崩溃。在第二个动画中,我们添加了一个实时安全监视器,该监视器在检测到潜在碰撞时会切换到安全控制器。<weixin_42131705> 上传 | 大小:34mb