混合系统的形式化验证

被引：1

作者：

高建平

陈宗基

机构：

[1] 北京航空航天大学自动控制系

来源：

关键词：

混合控制；形式语言；飞行控制系统；时段演算;

D O I：

10.13700/j.bh.1001-5965.1999.02.006

中图分类号：

V249 [飞行控制系统与导航];

学科分类号：

081105 ;

摘要：

结合混合系统的研究对余度管理系统进行了形式化的分析和验证．采用的手段是时段演算技术及其扩展．首先进行形式化的需求分析，需求及其假设用时段演算表示，其次严格化地描述算法和参数的选取．在验证过程中，首先应用程序逻辑验证算法，算法的不变量以时段演算表示，最后在时段演算中验证整个系统的行为满足给定的需求．

引用

页码：26 / 30

页数：5