Process Plan Controllers for Non-Deterministic Manufacturing Systems

Felli, Paolo; De Silva, Lavindra; Logan, Brian; Ratchev, Svetan

Abstract

Determining the most appropriate means of producing a given product, i.e., which manufacturing and assembly tasks need to be performed in which order and how, is termed process planning. In process planning, abstract manufacturing tasks in a process recipe are matched to available manufacturing resources, e.g., CNC machines and robots, to give an executable process plan. A process plan controller then delegates each operation in the plan to specific manufacturing resources. In this paper we present an approach to the automated computation of process plans and process plan controllers. We extend previous work to support both nondeterministic (i.e., partially controllable) resources, and to allow operations to be performed in parallel on the same part. We show how implicit fairness assumptions can be captured in this setting, and how this impacts the definition of process plans.

Citation

Felli, P., De Silva, L., Logan, B., & Ratchev, S. (2017). Process Plan Controllers for Non-Deterministic Manufacturing Systems. In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (1023-1030). https://doi.org/10.24963/ijcai.2017/142

• Conference Name: Twenty-Sixth International Joint Conference on Artificial Intelligence
• Conference Location: Melbourne, Australia
• Start Date: Aug 19, 2017
• End Date: Aug 25, 2017
• Acceptance Date: Apr 24, 2017
• Online Publication Date: Aug 19, 2017
• Publication Date: 2017-08
• Deposit Date: Jul 20, 2017
• Publicly Available Date: Aug 19, 2017
• Publisher: International Joint Conferences on Artificial Intelligence
• Volume: 2017-August
• Pages: 1023-1030
• Series Title: International Joint Conference on Artificial Intelligence. Proceedings
• Series ISSN: 1045-0823
• Book Title: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
• DOI: https://doi.org/10.24963/ijcai.2017/142
• Keywords: Knowledge Representation, Reasoning, and Logic: Action, Change and Causality Agent-based and Multi-agent Systems: Formal verification, validation and synthesis
• Public URL: https://nottingham-repository.worktribe.com/output/878310
• Publisher URL: https://www.ijcai.org/proceedings/2017/142
• Related Public URLs: https://www.ijcai.org/Proceedings/2017/