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....