[发明专利]用于生成工业设施中的切换序列的方法和设备

权利要求书

1.一种用于在工业设施中生成切换序列的方法，所述切换序列用于将整个设施转换到节能状态，所述工业设施由多个单独的部件(K1、K2、K3、K4)构成，

所述方法使用所述设施的与所述部件和信息相关的状态模型(2)，所述信息涉及与所述部件相关的任务专用的、模型相关的先决条件-效果-描述的形式的动作模式(1)，其中，

在第一步骤中，为所述状态模型(2)补充具有切换相关的变量的任务专用的所述动作模式(1)以变成扩展的状态模型，并且在第二步骤中，从所述设施的期望目标状态出发反算(calc)出在所述扩展的状态模型中的初始状态，以便在第三步骤中产生从初始状态到目标状态的切换序列(SEQ)。

2.根据权利要求1所述的方法，其特征在于，设施模型考虑到机组(A1、A2)，其中，所述机组由至少一个部件(K1、K2、K3、K4)构成，并且任务专用的动作模式存在于机组层面上。

3.根据权利要求1或2所述的方法，其特征在于，对于确定所述扩展的状态模型(2)来说，仅观察在所述设施中实际存在的关联。

4.根据权利要求2所述的方法，其特征在于，对于确定机组状态(SA1、SA2)来说，了解所述机组的一个部件的至少一个状态(SK1、SK2、SK3、SK4)就足够。

5.根据权利要求3所述的方法，其特征在于，对于确定机组状态(SA1、SA2)来说，了解所述机组的一个部件的至少一个状态(SK1、SK2、SK3、SK4)就足够。

6.根据权利要求1或2所述的方法，其特征在于，所述状态模型或动作模式的变化或补充引起所述切换序列的重新计算。

7.根据权利要求5所述的方法，其特征在于，所述状态模型或动作模式的变化或补充引起所述切换序列的重新计算。

8.根据权利要求1或2所述的方法，其特征在于，借助于所生成的所述切换序列能够对设施行为进行模拟。

9.根据权利要求7所述的方法，其特征在于，借助于所生成的所述切换序列能够对设施行为进行模拟。

10.根据权利要求1或2所述的方法，其特征在于，在切换路径上出现切换错误时，为用户提供错误分析。

11.根据权利要求9所述的方法，其特征在于，在切换路径上出现切换错误时，为用户提供错误分析。

12.根据权利要求1或2所述的方法，其特征在于，在所述扩展的状态模型中考虑对于实施任务来说不是强制需要的其他方面。

13.根据权利要求11所述的方法，其特征在于，在所述扩展的状态模型中考虑对于实施任务来说不是强制需要的其他方面。

14.一种适合于执行根据权利要求1至13中任一项所述的方法的设备。