期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于时间博弈自动机的道岔自动控制系统 被引量：1

Automatic Turnout Control System Based on Time Game Automata
在线阅读 下载PDF
导出
摘要 为提高道岔自动控制系统的运行效率,引入时间博弈自动机理论,建立列车、控制器、道岔和故障检测器的时间博弈自动机网络模型,使用TCTL公式描述获胜条件,应用策略综合工具Uppaal-Tiga输出获胜策略并生成控制代码。仿真结果表明,该控制策略可以有效提高列车的行车效率。 In order to enhance the efficiency of automatic turnout control system,this paper introduces the theory of time game automata,builds the networks of time games automata models of train,controller,turnout,fault detector,gives the winning condition specified by TCTL formula,outputs the winning strategy synthesized by tool Uppaal-Tiga and generates the control code.Simulation results indicate that the control strategy enhances the efficiency of trains.
作者 余兴超 董荣胜 孙栋栋 邵梅
机构地区 桂林电子科技大学计算机科学与工程学院
出处 《计算机工程》 CAS CSCD 2012年第10期221-223,共3页 Computer Engineering
基金 广西自然科学基金资助项目(桂科自0991242)
关键词 时间博弈自动机 形式化综合 道岔自动控制系统 控制策略 完全信息博弈 软件密集型系统 time game automata formal synthesis automatic turnout control system control strategy game of complete information software-intensive system
分类号 TP272 [自动化与计算机技术—检测技术与自动化装置]
  • 相关文献

参考文献8

  • 1王俊峰,王化深,张勇,汪希时.采用无线机车信号实现机车信号主体化的研究[J].铁道学报,2006,28(2):104-108. 被引量：6
  • 2Greenyer J. Synthesizing Modal Sequence Diagram Specifications with Uppaal-Tiga[Tech.Rep.:tr-ri-10-310][R].North Rhine-Westphalia,Germany:University of Paderborn,2010.
  • 3Marcano R,Colin S,Mariano G. A Formal Framework for UML Modeling with Timed Constraints:Application to Railway Control Systems[A].Lisbonne,Portugal,2004.
  • 4Ortmeier F,Reif W,Schellhorn G. Formal Safety Analysis of a Radio-based Railroad Crossing Using Deductive Cause-consequence Analysis[A].Budapest,Hungary,2005.
  • 5周清雷,姬莉霞.基于时间自动机的道岔自动控制研究[J].控制工程,2004,11(S2):146-149. 被引量：2
  • 6吴剑,徐中伟,喻钢,李弋强.基于改进DFTA的安全苛求系统可靠性分析[J].计算机工程,2009,35(15):117-120. 被引量：2
  • 7Maler O,Pnueli A,Sifakis J. On the Synthesis of Discrete Controllers for Timed Systems[A].Munich,Germany,1995.
  • 8Cassez F,David A,Fleury E. Efficient On-the-fly Algorithms for the Analysis of Timed Games[A].San Francisco,CA,USA,2005.

二级参考文献16

  • 1Dugan J B,Coppit D.Developing a Low-cost High-quality Software Tool for Dynamic Fault-tree Analysis[J].IEEE Transactions onReliability,2000,49(1):49-59.
  • 2Dugan J B,Bavuso S,Boyd M.Dynamic Fault Tree Models for Fault Tolerant Computer Systems[Jl.IEEE Transactions on Reliability,1992,41(3):263-377.
  • 3Dugan J B,Bavuso S J.Fault Trees and Markov Models for Reliability Analysis of Fault-tolerant Digital System[J].Reliability Engineering and System Safety,1993,39(1):291-307.
  • 4Amari S,Dill G,Howald E.A New Approach to Solve Dynamic Fault Tree[C]//Proc.of Annual Reliability and Maintainability Symposium.Tampa,Florida,USA:IEEE Press,2003.
  • 5Marko C,Mavko B.A Dynamic Fault Tree[J].Reliability Engieering and System Safety,2002,75(1):83-91.
  • 6Blanks H S.Quality and Reliability Research into the Next Century[J],Quality and Reliability Engineering International,1994,10(3):179-184.
  • 7Wang Junfeng,Zhang Yong,Wang Xishi,Wang Huashen.Analysis of the Safety of the Train Control System of Qinghai-Tibet Railway[A].Proceedings of The World Congress on Railway Research (WCRR 2003)[C].Edinburgh,Scotland,UK:28 September-1 October 2003.62-66.
  • 8Wang Junfeng,Zhang Yong,Wang Huashen,Wang Xishi.Study on the methods of shortening the response time of the radio based cab signaling system[A].Proceedings of Computer Aided Design,Manufacture and Operation in the Railway and Other Advanced Transit Systems(COMPRAIL2004)[C].Dresden,Germany:2004.May.17-19,517-525.
  • 9Wang Junfeng,Zhang Yong,Wang Huashen,Wang Xishi.Analysis of the Architecture and Reliability of Data Transmission Network Used for Radio Based Cab Signalling System[A].1st International Conference on Information in Control,Automation and Robotics[C].Setubal Portugal.:2004,August.25-28.
  • 10Zohar Manna,Amir Pnueli. Models for reactivity[J] 1993,Acta Informatica(7):609～678

共引文献7

同被引文献12

引证文献1

计算机工程
2012年 第10期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部