摘要： 为提高道岔自动控制系统的运行效率，引入时间博弈自动机理论，建立列车、控制器、道岔和故障检测器的时间博弈自动机网络模型，使用TCTL公式描述获胜条件，应用策略综合工具Uppaal-Tiga输出获胜策略并生成控制代码。仿真结果表明，该控制策略可以有效提高列车的行车效率。
关键词:
时间博弈自动机,
形式化综合,
道岔自动控制系统,
控制策略,
完全信息博弈,
软件密集型系统
Abstract: 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.
Key words:
time game automata,
formal synthesis,
automatic turnout control system,
control strategy,
game of complete information,
software-intensive system
中图分类号:
余兴超, 董荣胜, 孙栋栋, 邵梅. 基于时间博弈自动机的道岔自动控制系统[J]. 计算机工程, 2012, 38(10): 221-223.
TU Xin-Chao, DONG Rong-Qing, SUN Dong-Dong, SHAO Mei. Automatic Turnout Control System Based on Time Game Automata[J]. Computer Engineering, 2012, 38(10): 221-223.