Developing a drag-and-play system frontend for the automatic synthesis of optimal and correct-by-construction schedules for flexible production systems
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....
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Final Year Project |
| Language: | English |
| Published: |
Nanyang Technological University
2022
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/10356/157584 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Nanyang Technological University |
| Language: | English |
| Summary: | 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. |
|---|