Developing a drag-and-play system frontend for the automatic synthesis of optimal and correct-by-construction schedules for flexible production systems

Abstract

Smart manufacturing for industry 4.0 is gaining more popularity in recent years and has attracted huge interests from the industry. The automatic synthesis of optimal and correct-by-construction schedules for flexible production systems is challenging due to both safety and performance requirements. Smart manufacturing (SM) is a technology-driven approach that utilizes Internet-connected machinery to monitor the production process. Intelligent manufacturing can accurately predict requirements, identify defects, and make innovation and manufacturing processes more manageable. This is a process that combines a variety of technologies and solutions into a traditional manufacturing process. In this thesis, we study, analyze and improve the optimal and correct-by-construction schedules for flexible production systems.