基于时间距离的抢占式实时系统状态空间计算
摘要：在本文中，我们探索了一种新颖的方法，构建了一个抢占式实时系统状态空间的过度逼近。我们的图形构造扩展了一个类的表达式到时间距离系统，该系统对过去触发的子序列的定量属性进行编码。这样可以恢复有关的时间信息，用于进一步紧缩可达类的DBM逼近。这样，我们成功地构建了更适合恢复模型定量属性的近似图形。模拟结果显示，计算得到的图形与准确图形的大小相同，同时大大提高了计算所需的时间。
作者：Abdelkrim Abdelli
论文ID：2201.09784
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-01-25