MOSAIK: A Formal Model for Self-Organizing Manufacturing Systems.
Victor CharpenayDaniel SchraudnerThomas SeidelmannTorsten SpieldennerJens WeiseRené SchubotzSanaz MostaghimAndreas HarthPublished in: IEEE Pervasive Comput. (2021)
Keyphrases
- formal model
- manufacturing systems
- manufacturing environment
- neural network
- flexible manufacturing systems
- quality control
- petri net
- manufacturing processes
- complex systems
- shop floor
- formal models
- holonic manufacturing systems
- security properties
- production cost
- manufacturing cell
- security patterns
- manufacturing process
- control structure
- knowledge representation