×

利用差分矩阵求系统的最佳和最坏执行时间。 (英语) Zbl 1448.68177号

Legay,Axel(编辑)等人,《定时系统的形式化建模和分析》。第十二届国际会议,FORMATS 2014,意大利佛罗伦萨,2014年9月8-10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8711, 38-52 (2014).
摘要:本文解决了计算时间自动机从初始状态运行到最终状态所花费的最短和最长时间的基本问题。它使用差分边界矩阵数据结构来表示区域,这是一种最先进的启发式方法,可以提高传统(而且有些粗鲁)区域图抽象的性能。这里提供的解决方案从概念上来说是对一些早期问题工作的显著改进,其中重复猜测(由二进制搜索指导)和多个模型检查查询得到了有效但不优雅且效率较低的使用;在这里,只有一次区域建设就足以得出答案。然后,本文报告了使用差分界限矩阵(DBM)的算法的原型实现,并给出了其在实际自动化制造工厂中的应用结果。
关于整个系列,请参见[Zbl 1317.68012号].

MSC公司:

68平方米 计算机系统环境下的性能评估、排队和调度
68第05页 数据结构
第68季度第45季度 形式语言和自动机
60年第68季度 规范和验证(程序逻辑、模型检查等)
68T20型 人工智能背景下的问题解决(启发式、搜索策略等)

软件:

蛋白石
PDF格式BibTeX公司 XML格式引用
全文: 内政部