| 基于微分动态逻辑的铁路道口控制分析 |
| |
| 引用本文： | 钱磊,郁文生.基于微分动态逻辑的铁路道口控制分析[J].计算机科学,2013,40(10):231-234. |
| |
| 作者姓名： | 钱磊 郁文生 |
| |
| 作者单位： | 华东师范大学上海高可信计算重点实验室 上海200062 |
| |
| 基金项目： | 本文受国家自然科学基金项目(61070048),国家自然科学基金委员会创新研究群体科学基金项目(61021004),国家“863”计划项目(2011AA010101),国家“973”计划项目(2011CB302802),上海市重点学科建设项目(B412),上海市教育委员会科研创新项目(11ZZ37)资助 |
| |
| 摘 要： | 利用微分动态逻辑对铁路道口控制进行形式化分析与建模.在火车从发送接近信号到进入道口的运动过程中,根据火车到达道口时间上的要求,将火车速度控制问题抽象成一个混成系统的安全性性质,用微分动态逻辑来描述,并使用混成系统证明工具KeYmaera对系统的安全性进行验证,以实现对火车进入道口前速度的正确控制.
|
| 关 键 词： | 微分动态逻辑 铁路道口控制 混成系统 形式化验证 |
| 收稿时间： | 2012/12/8 0:00:00 |
| 修稿时间： | 2013/3/11 0:00:00 |
Modeling and Analysis of Railway Crossing Based on Differential Dynamic Logic |
| |
| QIAN Lei and YU Wen-sheng.Modeling and Analysis of Railway Crossing Based on Differential Dynamic Logic[J].Computer Science,2013,40(10):231-234. |
| |
| Authors: | QIAN Lei and YU Wen-sheng |
| |
| Affiliation: | Shanghai Key Laboratory of Trustworthy Computing,East China Normal University,Shanghai 200062,China;Shanghai Key Laboratory of Trustworthy Computing,East China Normal University,Shanghai 200062,China |
| |
| Abstract: | |
| |
| Keywords: | Differential dynamic logic Railway crossing control Hybrid system Formal verification |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
