基于时序网络的度量时序逻辑在线监控
计算机科学中的逻辑
2026-03-11 v5 形式语言与自动机理论
摘要
度量时序逻辑（MTL）是一种广受欢迎的形式化方法，用于描述信息物理系统行为中带时序约束的时态模式，其应用领域涵盖基于性质的测试、机器人技术、优化和学习。本文聚焦于从离散与稠密时间行为上的MTL规约统一构造时序网络，以提供高效且可扩展的在线监控框架。我们的核心技术“未来时态标记”利用基于区间的符号化表示来描述未来的离散与稠密时间线。在此基础上，我们为时序网络节点上的定时时态操作开发了高效的更新与输出函数。最后，我们进行了广泛的测试，并将所提技术与现有方法及运行时验证工具进行比较。结果凸显了我们监控方法与时序网络在性能和可扩展性上的优势。
引用
@article{arxiv.1901.00175,
title = {Online Monitoring of Metric Temporal Logic using Sequential Networks},
author = {Dogan Ulus},
journal= {arXiv preprint arXiv:1901.00175},
year = {2026}
}