格德·贝尔曼;安斯加·芬克;托马斯·匈奴;金·拉森;保罗·佩特森 定价时间自动机的最低成本可达性。 （英语） Zbl 0991.68037号 Di Benedetto，Maria Domenica（编辑）等人，《混合系统：计算和控制》。第四届国际研讨会，2001年HSCC，意大利罗马，2001年3月28日至30日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。第2034、147-161页（2002年）。 摘要：本文介绍了线性定价时间自动机模型，它是时间自动机的扩展，在过渡和位置上都有价格。对于该模型，我们考虑了最小成本可达性问题：即给定一个线性定价的时间自动机和一个目标状态，确定从初始状态到目标状态的最小执行成本。该问题推广了一般时间自动机的最小时间可达性问题。我们通过提供一个算法解决方案来证明这个问题的可判定性，该算法基于分支定界技术和定价区域的新概念的组合。后者允许对可达状态进行符号表示和操作，以及达到这些状态的成本。关于整个系列，请参见[Zbl 0990.00076号]. 引用于2评论引用于68文件 MSC公司： 65年第68季度 形式语言和自动机 90C27型 组合优化 68平方米 计算机系统中的性能评估、排队和调度 关键词：时间自动机;验证;数据结构;算法;优化 PDF格式BibTeX公司 XML格式引用 \textit{G.Behrmann}等人，Lect。注释计算。科学。2034147-161（2002；Zbl 0991.68037） 全文： 链接