-
1.发明申请公开(公告)号：US20100010657A1
公开(公告)日：2010-01-14
申请号：US12364006
申请日：2009-02-02
IPC分类号： G06F19/00
CPC分类号： G06Q10/06 , Y02P90/86 , Y10S706/906 , Y10S706/912 , Y10S706/914
摘要： A control systems and methods are presented for controlling a production system, in which a model-based planner includes a formulation, such as a SAT formulation representing possible actions in the production, with a solver being used to provide a solution to the formulation based at least partially on production and diagnostic goals and the current plant condition, and a translation component translates the solution into a plan for execution in the plant.
摘要翻译： 提出了一种用于控制生产系统的控制系统和方法，其中基于模型的计划者包括诸如表示生产中的可能动作的SAT公式的配方，其中使用求解器来提供基于 至少部分地关于生产和诊断目标以及当前工厂条件，翻译组件将解决方案转化为工厂执行计划。
-
2.发明授权公开(公告)号：US08145334B2
公开(公告)日：2012-03-27
申请号：US12364006
申请日：2009-02-02
CPC分类号： G06Q10/06 , Y02P90/86 , Y10S706/906 , Y10S706/912 , Y10S706/914
摘要： A control systems and methods are presented for controlling a production system, in which a model-based planner includes a formulation, such as a SAT formulation representing possible actions in the production, with a solver being used to provide a solution to the formulation based at least partially on production and diagnostic goals and the current plant condition, and a translation component translates the solution into a plan for execution in the plant.
摘要翻译： 提出了一种用于控制生产系统的控制系统和方法，其中基于模型的计划者包括诸如表示生产中的可能动作的SAT公式的配方，其中使用求解器来提供基于 至少部分地关于生产和诊断目标以及当前工厂条件，翻译组件将解决方案转化为工厂执行计划。
-
搜索结果
2 条记录 (耗时 0.026 秒)
