[发明专利]一种潜在不安全控制动作的生成方法

权利要求书

1.一种潜在不安全控制动作的生成方法(后续简写为“一种PUCA生成方法”)，其特征在于，包括以下步骤：

S1、构建系统模型，

S2、确定控制动作，控制动作是指被控过程接收到的控制动作(CA-PR：ControlAction-Process Received)，

S3、确定语境变量，语境变量分为两类，一类是“非时间语境”变量，用于描述“非时间语境”，“非时间语境”是时间状态之外的状态，另一类是“时间语境”变量，用于描述“时间语境”，“时间语境”是通过事件发生时刻构建的时间区间，时间区间可以被认为是时间状态，

S4、通过“非时间语境”变量确定“非时间语境”，

S5、确定CA-PR与“非时间语境”的组合，每个这样的组合被称为一个CA-NC(combination of CA-PR and Non-temporal Context)，

S6、确定CA-NC涉及的“时间语境”，完成PUCA生成。

2.根据权利要求1所述的一种PUCA生成方法，其特征在于，所述S1步骤，使用有限状态机描述系统行为。

3.根据权利要求2所述的一种PUCA生成方法，其特征在于，所述S1步骤，所述有限状态机的系统状态包括状态变量、变量可取值、迁移条件、迁移动作等信息。

4.根据权利要求1所述的一种PUCA生成方法，其特征在于，所述S1步骤，系统模型包括控制器、作动器、传感器、被控过程、环境等类型的部件，其中环境包括物理环境、人或其他系统。

5.根据权利要求4所述的一种PUCA生成方法，其特征在于，所述S1步骤，各种类型的部件可以嵌套，一个类型的大部件可以包括多个类型的小部件。

6.根据权利要求1所述的一种PUCA生成方法，其特征在于，所述S2步骤，当被控过程与控制器直接连接，并且这种连接被认为不存在任何因素的干扰时，那么控制器发出的控制动作可以认为就是被控过程接收到的控制动作，此时可将控制器发出的控制动作作为S2步骤所需要确定的控制动作。

7.根据权利要求1所述的一种PUCA生成方法，其特征在于，所述S3步骤中，语境变量包括系统状态变量和环境状态变量。

8.根据权利要求1所述的一种PUCA生成方法，其特征在于，所述S3步骤中，时间变量是一个语境变量。

9.根据权利要求1所述的一种PUCA生成方法，其特征在于，所述S4步骤中，“非时间语境”的开始或结束可以作为用于构造“时间语境”所需要的事件。

10.根据权利要求1所述的一种PUCA生成方法，其特征在于，所述S6步骤中，一个CA-NC和一个“时间语境”就构成一个PUCA。

11.根据权利要求1所述的一种PUCA生成方法，其特征在于，所述S6步骤，利用“非时间语境”下发生事件的时间构造“时间语境”。

12.根据权利要求1所述的一种PUCA生成方法，其特征在于，所述S6步骤，面向各种类型UCA生成的PUCA具有统一的形式，是语境和CA-PR的组合，表示在语境下提供CA-PR，其中语境包括“非时间语境”和“时间语境”。