金·古德斯特兰·拉森；雅各布·伊勒姆拉斯穆森 多值时间自动机的最优条件可达性。 （英语） Zbl 1118.68527号 Sassone，Vladimiro（编辑），《软件科学和计算结构基础》。2005年4月4日至8日在英国爱丁堡举行的第八届国际会议FOSSACS 2005，该会议是欧洲软件理论与实践联合会议ETAPS 2005的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25388-2/pbk）。计算机科学课堂讲稿3441234-249（2005）。 摘要：本文证明了多值时间自动机最优条件可达性问题的可判定性，这是时间自动机的一个扩展，具有多个成本变量，并根据每个位置的给定速率演化。更准确地说，我们考虑了确定达到给定目标状态的最低成本的问题，该成本与一些主要成本变量有关，同时考虑到其余（次要）成本变量的上限约束。通过构造一个基于区域的算法来证明可决定性，该算法在用单个二级成本变量合成最优成本时总是终止。然后将该方法提升到任意数量的次要成本变量。关于整个系列，请参见[Zbl 1068.68009号]. 引用于1审查引用于10文件 MSC公司： 65年第68季度 形式语言和自动机 软件：高超声速；Uppaal公司 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}和\textit{J.I.Rasmussen}，莱克特。注释计算。科学。3441，234--249（2005；Zbl 1118.68527） 全文： DOI程序