《计算机学报》文章摘要 全文下载 | |
文章题目 | 混合系统的形式化开发--故障检测与隔离算法的严格化设计 |
作者 | 高建平1) 徐启文2) 陈宗基1) |
作者单位 | 1)(北京航空航天大学自动控制系 北京 100083) 2)(联合国大学软件技术研究所 澳门) |
发表年份 | 1999 |
发表月份 | 3期 (页码:225—234) |
文章摘要 | 本文对飞行余度管理系统中的故障检测和隔离算法进行严格化开发,包含对并发行为的处理方法、需求的形式化描述和参数的形式化设计、算法的形式化描述以及最后的形式化验证.该算法是飞行控制系统中常用的余度管理算法.整个系统可建模成有多个元件并行构成网络的混合系统,其中系统的需求可由时段演算来表示.文中采用传统的程序逻辑,并作了适当的扩展,来验证离散控制器的一些性质,最后由这些性质出发可以证明系统满足给定的需求. 关键词 混合系统,形式化方法,时段演算,飞行余度管理系统. |