H（H）混血儿M（M）多用途-L（左）电子设备S公司有耐心的L（左）逻辑控制器

斯文·林克尔 📧

2017年11月6日

这是本条目的开发版本。它可能会随着时间的推移而变化，并且不稳定。引用请参考发布版本。

摘要

我们提出了时空多模态的语义嵌入逻辑，专门定义为高速公路交通的推理伊莎贝尔/霍尔。语义模型是高速公路的抽象，强调局部空间属性，并通过类型进行参数化车辆中部署的传感器数量。我们使用逻辑来定义确保安全的控制器约束，即缺少高速公路上的碰撞。在用限制性传感器的定义，我们放宽了这些假设，并展示了如何修改控制器约束以确保安全。

许可证

许可协议

话题

会话Hybrid_Multi_Lane_Space_Logic

引用

× 
@文章{Hybrid_Multi_Lane_Spatial_Logic-AFP，作者＝{Sven Linker}，title={混合多平面空间逻辑}，journal={正式证据存档}，月份＝{十一月}，年份={2017年}，注意={\url{https://isa-afp.org/entries/Hybrid_Multi_Lane_Spatial_Logic.html}，形式证明开发}，ISSN={2150-914x}，}
下载

下载

× 下载最新版本

旧版本：