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

• Main Author: Muhammad Azhari Asgar
• Other Authors: Su Rong
• Format: Final Year Project
• Language: English
• Published: Nanyang Technological University 2022
• Subjects: Engineering::Electrical and electronic engineering
• Online Access: https://hdl.handle.net/10356/157584
• Institution: Nanyang Technological University

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.