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

摘要：

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

关键词：时间博弈自动机、形式化综合、道岔自动控制系统、控制策略、完全信息博弈、软件密集型系统

所属期刊栏目：38

分类号：TP272(自动化技术及设备)

资助基金：广西自然科学基金资助项目桂科自0991242

在线出版日期：2012-07-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：221-223