SDCWorks: A Formal Framework for Software Defined Control of Smart Manufacturing Systems

Keyphrases

• Availability Performance 33%
• Baseline Controller 33%
• Complex Cyber-physical Systems 33%
• Control Architecture 33%
• Control Strategy 33%
• Discrete Event Simulator 33%
• Discrete Production System 33%
• Discrete Transition Systems 33%
• Expressive Power 33%
• Formal Framework 100%
• Formal Verification 33%
• Impact on Economy 33%
• Latency 33%
• Manufacturing Systems 66%
• Modeling Framework 33%
• Open-source Implementation 33%
• Resilient 33%
• Semantic Structure 33%
• Simulation Framework 33%
• Smart Manufacturing 33%
• Smart Manufacturing Systems 100%
• Software Control 100%
• University of Michigan 33%

Computer Science

• Creating Model 50%
• Cyber Physical Systems 50%
• Data Source 50%
• Discrete Manufacturing 50%
• Discrete Transition 50%
• Expressive Power 50%
• Formal Framework 100%
• Formal Verification 50%
• Modeling and Simulation 50%
• Open Source 100%
• Testbed 50%
• Transition System 50%