混合系统的形式化验证
| 外文标题 | Formal Verification of Hybrid System |
| 文献类型 | 期刊 |
| 作者 | Gao, Jianping[1];Chen, Zongji[2] |
| 机构 | [1]Beijing Univ of Aeronautics and, Astronautics, Beijing, China [2]Beijing Univ of Aeronautics and, Astronautics, Beijing, China ↓ |
| 通讯作者 | Gao, Jianping |
| 来源信息 | 年:1999卷:25期:2页码范围:146-150 |
| 期刊信息 | 北京航空航天大学学报ISSN:1001-5965 |
| 关键词 | 混合控制;形式语言;飞行控制系统;时段演算 |
| 摘要 | 结合混合系统的研究对余度管理系统进行了形式化的分析和验证.采用的手段是时段演算技术及其扩展.首先进行形式化的需求分析,需求及其假设用时段演算表示,其次严格化地描述算法和参数的选取.在验证过程中,首先应用程序逻辑验证算法,算法的不变量以时段演算表示,最后在时段演算中验证整个系统的行为满足给定的需求. |
| 收录情况 | EI(1999414768265) |
| 链接地址 | http://d.g.wanfangdata.com.cn/Periodical_bjhkhtdxxb199902006.aspx |
| DOI | 10.3969/j.issn.1001-5965.1999.02.006 |
| 人气指数 | 3 |
| 浏览次数 | 3 |
| 基金 | 国家高技术研究发展计划(863计划) |
影响因子：
dc:title:混合系统的形式化验证
dc:creator:高建平;陈宗基
dc:date: publishDate:1999-04-30
dc:type:期刊
dc:format: Media：北京航空航天大学学报
dc:identifier: LnterrelatedLiterature：北京航空航天大学学报.1999,25(2),146-150.
dc:identifier:DOI：10.3969/j.issn.1001-5965.1999.02.006
dc: identifier:ISBN:1001-5965
