QTWTL：用于性能监控的感知质量时间窗口时序逻辑
计算机科学中的逻辑
2023-08-11 v1 性能
机器人学
摘要
在分布式自主配送、医疗、旅游、交通等诸多面向服务的应用中，服务智能体需执行串行且时限绑定的任务以达成目标，服务质量必须持续得到保证。除安全性需求外，此类智能体还需满足性能需求以实现其服务质量。本文提出新颖的感知质量时间窗口时序逻辑（QTWTL），通过为传统时间窗口时序逻辑（TWTL）扩展用于计数与聚合操作的两个算子。我们还提出了针对 QTWTL 规约性能监控的离线运行时监控算法。为分析所提方法的可行性与效率，我们利用纽约市出租车与豪华轿车委员会行程记录数据生成大量轨迹，使用 QTWTL 形式化其性能需求，并以所提算法监控之。所得结果显示，该监控算法关于被监控轨迹数量具有线性空间与时间复杂度。
引用
@article{arxiv.2308.05644,
title = {QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring},
author = {Ernest Bonnah and Khaza Anuarul Hoque},
journal= {arXiv preprint arXiv:2308.05644},
year = {2023}
}
备注
Accepted for publication in the ACM/IEEE MEMOCODE 2023 conference