[发明专利]一种稳定控制装置动作逻辑的有限状态机建模方法、装置及存储介质

权利要求书

1.稳定控制装置动作逻辑的有限状态机建模方法，其特征在于，所述方法包括如下步骤：

建立稳定控制装置动作逻辑与有限状态机之间的映射关系；

依据稳定控制装置的动作过程对稳定控制装置的状态进行归纳；

依据所建立的映射关系及所归纳的稳定控制装置的状态配置有限状态机的状态迁移逻辑及执行动作。

2.根据权利要求1所述的稳定控制装置动作逻辑的有限状态机建模方法，其特征在于，所述有限状态机由五元组M＝(Q,Σ,δ,q₀,Λ)组成；

其中，Q＝{q₀,q₁,…,q_n}表示有限状态的集合，q_n表示有限状态机在第n种状态下状态变量集合；

Σ＝{σ₁,σ₂,…,σ_n}表示可输入的变量及其取值；σ_n表示有限状态机在第n种状态下输入变量集合；

δ:Q×Σ→Q表示状态转移函数；

q₀∈Q表示初始状态；

Λ表示输出函数。

3.根据权利要求2所述的稳定控制装置动作逻辑的有限状态机建模方法，其特征在于，所建立的映射关系如下表所示：

4.根据权利要求1所述的稳定控制装置动作逻辑的有限状态机建模方法，其特征在于，所述稳定控制装置的状态包括正常运行状态、启动状态和决策状态。

5.根据权利要求4所述的稳定控制装置动作逻辑的有限状态机建模方法，其特征在于，所述有限状态机的状态迁移逻辑配置如下：

当稳定控制装置上电完成时，将稳定控制装置由初始状态迁移至正常运行状态；

在正常运行状态中，若检测到启动信号，则将稳定控制装置由正常运行状态迁移至启动状态；

在启动状态中，若检测到故障信号，则将稳定控制装置由启动状态迁移至决策状态；若检测到启动返回信号，则将稳定控制装置由启动状态返回启动状态；

在决策状态中，所输出的控制措施执行完毕后，若检测到新的故障，则再次进入决策状态；否则，返回启动状态。

6.根据权利要求5所述的稳定控制装置动作逻辑的有限状态机建模方法，其特征在于，所述有限状态机对应各状态的执行动作配置如下：

在正常运行状态中，执行动作包括确定运行方式、启动检查及保存运行变量；

在启动状态中，执行动作包括保存测值表信息、确定启动前200ms电力系统运行状态、启动返回检查及故障检查；

在决策状态中，执行动作包括控制措施搜索、控制措施执行。

7.根据权利要求5所述的稳定控制装置动作逻辑的有限状态机建模方法，其特征在于，所述启动信号由元件电气信息、开入信息、远方信息及时间t构成的系列驱动函数生成。

8.根据权利要求5所述的稳定控制装置动作逻辑的有限状态机建模方法，其特征在于，所述故障信号由故障集与时间t构成的系列驱动函数生成。

9.根据权利要求5所述的稳定控制装置动作逻辑的有限状态机建模方法，其特征在于，所述启动返回信号由启动信号、元件电气信息、开入信息、远方信息及时间t构成的系列驱动函数生成。

10.根据权利要求4所述的稳定控制装置动作逻辑的有限状态机建模方法，其特征在于，所述决策状态为复合状态，包括方式检查子状态、故障检查子状态、潮流检查子状态和执行检查子状态。