Abdeda-im，Y.，Asarin，E.，Maler，O.用时间自动机调度。 西奥。 计算。 科学。 354 , 2 (2006), 272--300. 谷歌学者 
数字图书馆 
Altisen，K.等人。调度器综合的框架。 在 IEEE实时系统研讨会 , 1999, 154--163. 谷歌学者 数字图书馆 Alur，R.，Bernadsky，M.，Madhusudan，P.加权时间博弈中的最优可达性。 在 第31届国际自动化、语言和程序设计学术讨论会会议记录（ICALP’04） 《计算机科学讲义3142》，斯普林格出版社，2004年，第122-133页。 谷歌学者 交叉引用 
Alur，R.、Courcoubetis，C.、Dill，D.L.实时系统的模型检查。 在 第五届计算机科学逻辑年会论文集（LICS’90） IEEE计算机学会出版社，1990，414--425。 谷歌学者 交叉引用 Alur，R.，Dill，D.L.Automata，用于实时系统建模。 在 第17届国际自动化、语言和编程学术讨论会会议记录（ICALP’90） 《计算机科学课堂讲稿》443，Springer，1990，322--335。 谷歌学者 数字图书馆 Alur，R.，La Torre，S.，Pappas，G.J.加权时间自动机中的最优路径。 在 第四届混合系统国际研讨会会议记录：计算与控制（HSCC’01） 《2034年计算机科学讲义》，斯普林格出版社，2001年，49-62页。 谷歌学者 数字图书馆 Asarin，E.，Maler，O.尽快：时间自动机的时间最优控制。 在 第二届混合系统国际研讨会论文集：计算与控制（HSCC’99） 《计算机科学讲座笔记1569》，斯普林格出版社，1999年，19-30。 谷歌学者 数字图书馆 Asarin，E.等人，《时间自动机的控制器综合》。 在 国际会计师联合会系统结构与控制研讨会会议记录 《爱思唯尔科学》，1998，469--474。 谷歌学者 Behrmann，G.等人。UPPAAL成本优化的有效指导。 在 第七届系统构建与分析工具与算法国际会议论文集（TACAS'01） 《2031年计算机科学讲义》，斯普林格出版社，2001年，174-188页。 谷歌学者 数字图书馆 Behrmann，G.等人。定价时间自动机的最小成本可达性。 在 第四届混合动力系统国际研讨会论文集：计算与控制（HSCC’01） 《2034年计算机科学课堂讲稿》，斯普林格出版社，2001年，第147-161页。 谷歌学者 数字图书馆 Bérard，B.，Dufourd，C.时间自动机和加性时钟约束。 信息处理。 莱特。 75 , 1--2 (2000), 1--7. 谷歌学者 数字图书馆 可更新时间自动机的正向分析。 形式方法系统。 设计。 24 ，3（2004），281-320。 谷歌学者 数字图书馆 Bouyer，P.，Brinksma，E.，Larsen，K.G.多值时间自动机的最优无限调度。 形式方法系统。 设计。 32 , 1 (2008), 2--23. 谷歌学者 数字图书馆 Bouyer，P.等人。单时钟定价时间自动机中的几乎最优策略。 在 第26届软件技术与理论计算机科学基础会议论文集（FSTTCS’06） 《计算机科学课堂讲稿》4337，Springer，2006，345--356。 谷歌学者 数字图书馆 Bouyer，P.等人，在具有能量约束的加权时间自动机中无限运行。 在 第六届时间系统形式建模与分析国际会议论文集（FORMATS’08） ，《计算机科学讲义5215》，施普林格出版社，33-47页。 谷歌学者 数字图书馆 Bozga，M.等人。使用时间自动机验证异步电路。 电子。 注释Theor。 计算。 科学。 65 , 6 (2002), 47--59. 谷歌学者 交叉引用 Brihaye，Th.，Bruyère，V.，Raskin，J.-F.关于最优时间策略。 在 第三届时间系统形式化建模与分析国际会议论文集（FORMATS’05） 《计算机科学课堂讲稿3821》，斯普林格出版社，2005年，49-64页。 谷歌学者 数字图书馆 Cassez，F.等人。分析计时游戏的高效实时算法。 在 第十六届并行理论国际会议记录（CONCUR'05） ，《计算机科学讲义3653》，斯普林格出版社，2005年，66-80。 谷歌学者 数字图书馆 Cassez，F.等人。基于观测和断续不变策略的时间控制。 在 第五届验证与分析自动化技术国际研讨会会议记录（ATVA’07） ，《计算机科学课堂讲稿》4762，Springer，2007，192--206。 谷歌学者 数字图书馆 Cassez，F.等人，鲁棒和最优控制器的自动综合——工业案例研究。 在 第十二届混合系统国际研讨会论文集：计算与控制（HSCC’09） 《计算机科学讲义》5469，斯普林格出版社，2009年。 谷歌学者 数字图书馆 Chakrabarti，A.等人，《资源接口》。 在 第三届嵌入式软件国际研讨会论文集（EMSOFT'03） 《计算机科学课堂讲稿2855》，斯普林格出版社，2003年1月。 谷歌学者 David，A.等人，《使用UPPAAL 4.1进行可调度性分析的基于模型的框架》，第4章。 基于模型的嵌入式系统设计 G.Nicolescu和P.J.Mosterman编辑的CRC出版社，佛罗里达州博卡拉顿，2009年，93-119。 谷歌学者 Dierks，H.PLC-自动机：一类新的可实现实时自动机。 西奥。 计算。 科学。 253 , 1 (2001), 61--93. 谷歌学者 数字图书馆 Dierks，H.使用UPPAAL CORA为具有连续效应的领域寻找最佳计划。 在 ICAPS’05基于模型的规划和调度系统验证与确认研讨会会议记录 , 2005. 谷歌学者 Fahrenberg，U.，Larsen，K.G.定价时间自动机中的折扣最优无限运行。 电子。 注释Theor。 计算。 科学。 239 (2009), 179--191. 谷歌学者 数字图书馆 Fersman，E.等人。使用时间自动机的固定优先级系统的可调度性分析。 西奥。 计算。 科学。 354 , 2 (2006), 301--317. 谷歌学者 数字图书馆 Havelund，K.等人。音频/视频协议的形式化建模和分析：使用UPPAAL的工业案例研究。 在 第18届IEEE实时系统研讨会（RTSS’97）会议记录 IEEE计算机学会出版社，1997年，2月13日。 谷歌学者 数字图书馆 Hendriks，M.，van den Nieuwelaar，B.，Vaandrager，F.W.模型检查器辅助设计晶圆扫描仪控制器。 STTT 8型 , 6 (2006), 633--647. 谷歌学者 数字图书馆 Henzinger，Th.A.等人。关于混合自动机，什么是可以决定的？ J.计算。 系统。 科学。 57 ，1（1998），94-124。 谷歌学者 数字图书馆 Henzinger，Th.A.等人。实时系统的符号模型检查。 Inf.计算。 111 , 2 (1994), 193--244. 谷歌学者 数字图书馆 Igna，G.等人。数字文档打印机数据路径的形式化建模和调度。 在 第六届时间系统形式建模与分析国际会议论文集（FORMATS’08） 《计算机科学讲义5215》，施普林格出版社，2008年，170-187页。 谷歌学者 数字图书馆 Jessen，J.J.等人。使用UPPAAL-TIGA的气候控制器引导控制器合成。 在 第五届时间系统形式建模与分析国际会议论文集（FORMATS’07） 《计算机科学课堂讲稿》4763，Springer，2007，227--240。 谷歌学者 数字图书馆 Kesten，Y.等人。可判定积分图。 Inf.计算。 150 , 2 (1999), 209--243. 谷歌学者 数字图书馆 Larsen，K.G.，Rasmussen，J.I.多值时间自动机的最优可达性。 西奥。 计算。 科学。 390 , 2--3 (2008), 197--213. 谷歌学者 数字图书馆 Larsen，K.G.等人。尽可能便宜：定价时间自动机的高效成本最优可达性。 在 第十三届计算机辅助验证国际会议记录（CAV’01） ，《计算机科学讲义2102》，斯普林格出版社，2001年，第493--505页。 谷歌学者 数字图书馆 Mader，A.、Wupper，H.简单可编程逻辑控制器的时间自动机模型。 在 第十一届欧洲实时系统会议记录（ECRTS’99） IEEE计算机学会，1999年，106-113。 谷歌学者 交叉引用 Schuts，M.等人。在Chess gMAC WSN协议中建模时钟同步。 CoRR公司 ，abs/0912.19012009。 谷歌学者 Tripakis，S.，Altisen，K.离散和稠密系统的控制器综合。 在 世界计算系统开发形式方法大会会议记录（FM'99） 《计算机科学讲义》1708，Springer，233--2521999年。 谷歌学者 数字图书馆 Tripakis，S.、Yovine，S.使用TAXYS对车辆控制软件进行计时分析和代码生成。 电子。 注释Theor。 计算。 科学。 55 ，2（2001），277-286。 谷歌学者 交叉引用 Waszniowski，L.，Hanzálek，Z.基于时间自动机模型的多任务应用程序的形式化验证。 实时系统。 38 , 1 (2008), 39--65. 谷歌学者 数字图书馆
索引术语
基于定价时间自动机的实时系统定量分析
建议
秘密定价概率时间自动机 CONCUR 2009：第20届并行理论国际会议记录 介绍了概率时间自动机的一种扩展——秘密定价概率时间自自动机。 本文考虑了凹定价概率时间自动机的期望可达性、折扣和平均价格问题。。。
