| 基于时间博弈自动机的道岔自动控制系统 |
| |
| 引用本文： | 余兴超,董荣胜,孙栋栋,邵梅.基于时间博弈自动机的道岔自动控制系统[J].计算机工程,2012,38(10):221-223. |
| |
| 作者姓名： | 余兴超 董荣胜 孙栋栋 邵梅 |
| |
| 作者单位： | 桂林电子科技大学计算机科学与工程学院,广西 桂林,541004 |
| |
| 基金项目： | 广西自然科学基金资助项目(桂科自0991242) |
| |
| 摘 要： | 为提高道岔自动控制系统的运行效率，引入时间博弈自动机理论，建立列车、控制器、道岔和故障检测器的时间博弈自动机网络模型，使用TCTL公式描述获胜条件，应用策略综合工具Uppaal-Tiga输出获胜策略并生成控制代码。仿真结果表明，该控制策略可以有效提高列车的行车效率。
|
| 关 键 词： | 时间博弈自动机 形式化综合 道岔自动控制系统 控制策略 完全信息博弈 软件密集型系统 |
| 收稿时间： | 2011-07-04 |
Automatic Turnout Control System Based on Time Game Automata |
| |
| YU Xing-chao
,
DONG Rong-sheng
,
SUN Dong-dong
,
SHAO Mei.Automatic Turnout Control System Based on Time Game Automata[J].Computer Engineering,2012,38(10):221-223. |
| |
| Authors: | YU Xing-chao DONG Rong-sheng SUN Dong-dong SHAO Mei |
| |
| Affiliation: | (School of Computer Science and Engineering,Guilin University of Electronic Technology,Guilin 541004,China) |
| |
| 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. |
| |
| Keywords: | time game automata formal synthesis automatic turnout control system control strategy game of complete information software-intensive system |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
