首页> 外文期刊>Discrete Event Dynamic Systems >Time-Optimal Coordination of Flexible Manufacturing Systems Using Deterministic Finite Automata and Mixed Integer Linear Programming
【24h】

Time-Optimal Coordination of Flexible Manufacturing Systems Using Deterministic Finite Automata and Mixed Integer Linear Programming

机译:使用确定性有限自动机和混合整数线性规划的柔性制造系统的时间最优协调

获取原文
获取原文并翻译 | 示例

摘要

Automation and flexibility are often mentioned as key concepts in modern production industry. To increase the level of flexibility, deterministic finite automata (DFA) can be used to model, specify and verify the production systems. Often, it is also desirable to optimize some production criteria, such as for example the cycle time of a manufacturing cell. In this paper, a method for automatic conversion from DFA to a mixed integer linear programming (MILP) formulation is first presented. This conversion is developed for a number of DFA structures that have shown to be useful in practical applications. Special attention is paid to reducing the search region explored by the MILP solver. Second, a conversion from the MILP solution to a DFA supervisor is described. This allows to combine the advantages of DFA modeling with the efficiency of MILP and supervisory control theory to automatically generate time-optimal, collision-free and non-blocking working schedules for flexible manufacturing systems.
机译:自动化和灵活性经常被提及为现代生产行业中的关键概念。为了提高灵活性,可以使用确定性有限自动机(DFA)来建模,指定和验证生产系统。通常,还希望优化一些生产标准,例如制造单元的循环时间。本文首先提出了一种从DFA自动转换为混合整数线性规划(MILP)公式的方法。此转换是针对许多DFA结构开发的,这些结构已显示在实际应用中很有用。特别注意减少由MILP求解器探索的搜索区域。其次,描述了从MILP解决方案到DFA主管的转换。这允许将DFA建模的优势与MILP的效率和监督控制理论相结合,从而为柔性制造系统自动生成时间最优,无冲突且无阻塞的工作计划。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号