不精确信息下的交通机动监控
计算机科学中的逻辑
2017-09-11 v1
摘要
在监控中，我们算法化地检查单个行为是否满足某属性。此处，我们考虑多车道空间逻辑（MLSL）的监控。行为给定为MLSL的有限转移序列，属性为空间MLSL公式应在序列中每个时间点成立。在我们的过程中，我们将转移序列和公式转换为实闭域的一阶理论（该理论可判定），使得所得公式有效当且仅当MLSL公式在整个转移序列中成立。接着我们假设时间数据可能具有至多 的误差，且空间数据可能具有至多 的误差。我们扩展了过程以检查MLSL公式是否在转移序列中 --鲁棒成立。
引用
@article{arxiv.1709.02558,
title = {Monitoring of Traffic Manoeuvres with Imprecise Information},
author = {Heinrich Ody},
journal= {arXiv preprint arXiv:1709.02558},
year = {2017}
}
备注
In Proceedings FVAV 2017, arXiv:1709.02126