手机知网 App
24小时专家级知识服务
打 开
手机知网|搜索

可生存性控制系统的有限状态机的设计

黄燕芳;张玉清

  文章提出一种基于布尔表达式的可生存性控制系统的有限状态机的设计方法。基于系统服务、节点功能和故障元素之间的布尔函数关系,给出可生存性控制系统的有限状态机的形式化规范,并自动满足受控系统的可生存性。……