基于时间博弈自动机的道岔自动控制系统

• 作者: 余兴超 孙栋栋 董荣胜 邵梅
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 时间博弈自动机 形式化综合 道岔自动控制系统 控制策略 完全信息博弈 软件密集型系统
• 年，卷（期）: 2012,（10）
• 所属期刊栏目: 工程应用技术与实现
• 页码范围: 221-223
• 分类号: TP272
• 字数: 2990字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2012.10.068

摘要

为提高道岔自动控制系统的运行效率,引入时间博弈自动机理论,建立列车、控制器、道岔和故障检测器的时间博弈自动机网络模型,使用TCTL公式描述获胜条件,应用策略综合工具Uppaal-Tiga输出获胜策略并生成控制代码.仿真结果表明,该控制策略可以有效提高列车的行车效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董荣胜	桂林电子科技大学计算机科学与工程学院	115	1521	13.0	37.0
2	余兴超	桂林电子科技大学计算机科学与工程学院	6	8	2.0	2.0
3	孙栋栋	桂林电子科技大学计算机科学与工程学院	4	5	1.0	2.0
4	邵梅	桂林电子科技大学计算机科学与工程学院	4	5	1.0	2.0