A design approach of finite state machine for survivability control system based on Boolean expression (BoolSFSM) is proposed.

• 文章提出一种基于布尔表达式的可生存性控制系统的有限状态机的设计方法。