混合系统的形式化开发--故障检测与隔离算法的严格化设计
外文标题 | FORMAL DEVELOPMENT OF A HYBRID SYSTEM:RIGOROUS DESIGN OF A FDI ALGORITHM |
文献类型 | 期刊 |
作者 | 高建平[1];徐启文[2];陈宗基[3] |
机构 | [1]北京航空航天大学自动控制系,北京,100083 [2]联合国大学软件技术研究所,澳门 [3]北京航空航天大学自动控制系,北京,100083 ↓ |
来源信息 | 年:1999卷:22期:3页码范围:225-234 |
期刊信息 | 计算机学报ISSN:0254-4164 |
关键词 | 混合系统;形式化方法;时段演算;飞行余度管理系统 |
摘要 | 本文对飞行余度管理系统中的故障检测和隔离算法进行严格化开发,包含对并发行为的处理方法、需求的形式化描述和参数的形式化设计、算法的形式化描述以及最后的形式化验证.该算法是飞行控制系统中常用的余度管理算法.整个系统可建模成有多个元件并行构成网络的混合系统,其中系统的需求可由时段演算来表示.文中采用传统的程序逻辑,并作了适当的扩展,来验证离散控制器的一些性质,最后由这些性质出发可以证明系统满足给定的需求. |
收录情况 | PKU |
所属部门 | 自动化科学与电气工程学院 |
链接地址 | http://d.g.wanfangdata.com.cn/Periodical_jsjxb199903001.aspx |
DOI | 10.3321/j.issn:0254-4164.1999.03.001 |
基金 | 国家高技术研究发展计划(863计划) |
全文
影响因子:
dc:title:混合系统的形式化开发--故障检测与隔离算法的严格化设计
dc:creator:高建平;徐启文;陈宗基
dc:date: publishDate:1753-01-01
dc:type:期刊
dc:format: Media:计算机学报
dc:identifier: LnterrelatedLiterature:计算机学报.1999,22(3),225-234.
dc:identifier:DOI:10.3321/j.issn:0254-4164.1999.03.001
dc: identifier:ISBN:0254-4164