一种用于从基于块的仿真模型中的被仿真的技术组件以计算机实施的方式生成状态机的方法

    公开(公告)号:CN114402329A

    公开(公告)日:2022-04-26

    申请号:CN201980100509.4

    申请日:2019-09-17

    发明人: 马丁·威特

    IPC分类号: G06F30/20

    摘要: 本发明涉及一种用于从基于块的仿真模型(SM)中的被仿真的技术组件(CO)以计算机实施的方式生成状态机的方法,其中,被仿真的技术组件(CO)包括多个变量(SP、TR、CU、VO、HF、TE),每个变量(SP、TR、CU、VO、HF、TE)都具有可变值的值范围,可变值能够被分配给相应的变量(SP、TR、CU、VO、HF、TE)。该方法包括以下步骤:a)从多个变量(SP、TR、CU、VO、HF、TE)中选择一个或多个变量(SP、TR、VO);b)为每个选定的变量(SP,TR,VO)生成多个离散状态(S0,S1,V0,V1,T0,T1);c)为每个选定的变量(SP,VO,TR)生成自动机(A1,A2,A3);d)从所有选定的变量(SP,TR,VO)的自动机(A1,A2,A3)中生成第一产品自动机(PA);e)基于应用于仿真模型(SM)的预限定规则(RU),从第一产品自动机(PA)中移除多余的向量转换(VT'),其中,不包含被移除的多余的向量转换(VT')的第一产品自动机(PA)是第二产品自动机(PA'),该第二产品自动机是生成的状态机。

    在工业控制器上调度一或多个控制应用的方法及配置工具

    公开(公告)号:CN112578744A

    公开(公告)日:2021-03-30

    申请号:CN202011018335.8

    申请日:2020-09-24

    IPC分类号: G05B19/418

    摘要: 本公开涉及在工业控制器上调度一或多个控制应用的方法及配置工具。该方法包括:通过基于每个功能块的采样时间对循环控制应用的多个功能块进行聚类来限定多个功能块簇;从多个功能块簇创建多个组织块,每个组织块包括来自功能块簇的一个或多个功能块以及组织块记录,该组织块记录包括与对应的组织块相关联的采样时间值和下一截止时间值;以及基于采样时间值和下一截止时间值中的至少一个来调度多个组织块以在控制器上执行,其中组织块的采样时间值基于对应的组织块的一个或多个功能块的一个或多个采样时间。

    用于工业系统的自动化向导交互工作流

    公开(公告)号:CN118647945A

    公开(公告)日:2024-09-13

    申请号:CN202380016985.4

    申请日:2023-01-12

    IPC分类号: G05B15/02 G06Q10/06

    摘要: 在各种软件应用程序中,向导可帮助用户导航通过所选择的预定义的工作流,以使一些重复的交互模式自动化。然而,本发明认识到,这样的常规向导一般限于在给定向导的实现方式中硬连线的少数使用情况,使得用户仍然需要掌握相应工具的复杂性。在一个示例方面,自动化系统内的计算系统可确定与目标应用程序相关联的目的状态。系统可从目标应用程序中提取初始状态。基于系统获得的知识,系统可生成多个规划。这些规划可定义用于从初始状态达到目的状态的相应动作序列。系统可在目标应用程序的用户界面上呈现选项。基于选项,系统接收与动作序列相关的选择,以定义所选择的动作。系统可执行所选择的动作直到达到目的状态为止。

    在工业控制器上调度一或多个控制应用的方法及配置工具

    公开(公告)号:CN112578744B

    公开(公告)日:2024-03-15

    申请号:CN202011018335.8

    申请日:2020-09-24

    IPC分类号: G05B19/418

    摘要: 本公开涉及在工业控制器上调度一或多个控制应用的方法及配置工具。该方法包括:通过基于每个功能块的采样时间对循环控制应用的多个功能块进行聚类来限定多个功能块簇;从多个功能块簇创建多个组织块,每个组织块包括来自功能块簇的一个或多个功能块以及组织块记录,该组织块记录包括与对应的组织块相关联的采样时间值和下一截止时间值;以及基于采样时间值和下一截止时间值中的至少一个来调度多个组织块以在控制器上执行,其中组织块的采样时间值基于对应的组织块的一个或多个功能块的一个或多个采样时间。