Developing a Scheduling Tool for Machining Centers Using Real-time Model Checking

Abstract

Although many factories adopt machining centers for fully-automated processing, humans still need arrange works to be processed on pallets with appropriate attachments, in which humans' operations have large effects for efficient plans. Such problems can be regarded as variants of job-shop scheduling problems. It is not easy to obtain efficient schedules for such problems since we need consider combination of attachments, human's operation time, and so on. In this study, we propose a method to obtain schedules for machining centers using real-time model checking. We also do experiments in an actual factory to show the usefulness of our method.