SDCworks: a formal framework for software defined control of smart manufacturing systems.

Matthew Potok Chien-Ying Chen Sayan Mitra Sibin Mohan

Published in: ICCPS (2018)

Keyphrases

manufacturing systems
flexible manufacturing systems
control structure
software architecture
manufacturing environment
control system
source code
software development
petri net
design patterns
formal model
meta level
manufacturing processes
real time
software engineering
shop floor