Withdraw
Loading…
PROGRAMMING ABSTRACTIONS FOR SIMULATION AND TESTING ON SMART MANUFACTURING SYSTEMS
Wu, Daniel
Loading…
Permalink
https://hdl.handle.net/2142/124869
Description
- Title
- PROGRAMMING ABSTRACTIONS FOR SIMULATION AND TESTING ON SMART MANUFACTURING SYSTEMS
- Author(s)
- Wu, Daniel
- Issue Date
- 2022-05-01
- Keyword(s)
- smart manufacturing, virtual commissioning, simulation
- Abstract
- A smart manufacturing system is a complex cyber-physical system consisting of a collection of component machines and a floorplan layout defining the spatial relationship between components. Each component may have its own defining physical behavior and control software. Simulation and testing on smart manufacturing systems requires a software infrastructure that can orchestrate the execution of heterogenous, cyber-physical components besides modeling physical machines in respect to floorplan layouts. Automated simulation, as a result, is challenging and error prone. Recent strides in formal modeling of cyber-physical systems and programming languages offer some new techniques for addressing this challenge. In this paper, we present a compositional automata-based modeling formalism and programming abstractions to design coordination logic between heterogeneous robots in different layouts. Our formalism allows us to automatically simulate and compare performance metrics for different floorplan layouts. We implement our proof-of-concept prototype with the challenging simulation environment for the 2021 Agile Robotics for Industrial Automation Competition. Our experiment results demonstrate how our simulation can be used to evaluate and compare performance under different layouts and applicable for reconfiguration and virtual commissioning.
- Type of Resource
- text
- Language
- eng
Owning Collections
Senior Theses - Electrical and Computer Engineering PRIMARY
The best of ECE undergraduate researchManage Files
Loading…
Edit Collection Membership
Loading…
Edit Metadata
Loading…
Edit Properties
Loading…
Embargoes
Loading…