| 混合系统的形式化验证 |
| |
| 引用本文： | 高建平,陈宗基.混合系统的形式化验证[J].北京航空航天大学学报,1999,25(2):146-150. |
| |
| 作者姓名： | 高建平 陈宗基 |
| |
| 作者单位： | 北京航空航天大学 自动控制系 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 结合混合系统的研究对余度管理系统进行了形式化的分析和验证.采用的手段是时段演算技术及其扩展.首先进行形式化的需求分析,需求及其假设用时段演算表示,其次严格化地描述算法和参数的选取.在验证过程中,首先应用程序逻辑验证算法,算法的不变量以时段演算表示,最后在时段演算中验证整个系统的行为满足给定的需求.
|
| 关 键 词： | 混合控制 形式语言 飞行控制系统 时段演算 |
| 收稿时间： | 1997-11-07 |
Formal Verification of Hybrid System |
| |
| Gao Jianping,Chen Zongji.Formal Verification of Hybrid System[J].Journal of Beijing University of Aeronautics and Astronautics,1999,25(2):146-150. |
| |
| Authors: | Gao Jianping Chen Zongji |
| |
| Institution: | Beijing University of Aeronautics and Astronautics,Dept. of Automatic Control |
| |
| Abstract: | |
| |
| Keywords: | hybrid control formal languages redundance flight control system duration calculi |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《北京航空航天大学学报》浏览原始摘要信息 |
| 点击此处可从《北京航空航天大学学报》下载免费的PDF全文 |
