Research Article

Design and Implementation of Runtime Verification Framework for Cyber-Physical Production Systems

Figure 3

Dynamical models in cyber-physical production systems.