拉杰夫·阿鲁尔;萨尔瓦多拉托雷;乔治·帕帕斯。 加权时间自动机中的最优路径。 （英语） 兹比尔0991.93076 Di Benedetto，Maria Domenica（编辑）等人，《混合系统：计算和控制》。第四届国际研讨会，2001年HSCC，意大利罗马，2001年3月28日至30日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2034，49-62（2002）中所述。 摘要：我们考虑一个时间自动机关于线性代价函数的最优可解性问题，该问题导致了一个加权时间自动机。我们对这个优化问题的解决方案是将其简化为有限有向图的（参数）最短路径问题。我们构造的有向图是Alur和Dill对区域自动机的改进。我们提出了一个指数时间算法来解决加权时间自动机从单个状态开始的最短路径问题，以及一个双指数时间算法，来解决这个问题，从状态空间的一个区域开始。关于整个系列，请参见[Zbl 0990.00076号]. 引用于2评论引用于49文件 MSC公司： 93元65角 离散事件控制/观测系统 90C27型 组合优化 65年第68季度 形式语言和自动机 68周05 非数值算法 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，Lect。票据计算。科学。2034，49-62（2002；Zbl 0991.93076） 全文： 链接