具有 Ticked 线性时序逻辑约束的定时离散事件系统控制
系统与控制
2019-12-06 v1 系统与控制
摘要
本文提出一种合成定时离散事件系统(TDES)片段的新方法,并引入一种称为 ticked LTL 的新型线性时序逻辑(LTL)。ticked LTL 作为 LTL 的扩展,其语义定义于有限执行片段之上。与标准 LTL 不同,该公式定义为度量时序逻辑公式的一种变体,其中时间性质通过计数 TDES 片段中的 tick 数目来描述。此外,我们提供了一种将该问题编码为可用整数线性规划(ILP)求解的合适问题的方案。所提方法的有效性通过路径规划的数值算例加以说明。
引用
@article{arxiv.1912.02513,
title = {Control of Timed Discrete Event Systems with Ticked Linear Temporal Logic Constraints},
author = {Takuma Kinugawa and Kazumune Hashimoto and Toshimitsu Ushio},
journal= {arXiv preprint arXiv:1912.02513},
year = {2019}
}